Polysemy.Conc.Effect.SyncRead

The effect SyncRead is equivalent to Sync without the write actions.

Documentation

data SyncRead (d :: Type) :: Effect where

An interface to a shared variable (MVar) that can only be read.

Constructors

Block :: SyncRead d m d

Read the variable, waiting until a value is available.

Wait :: TimeUnit u => u -> SyncRead d m (Maybe d)

Read the variable, waiting until a value is available or the timeout has expired.

Try :: SyncRead d m (Maybe d)

Read the variable, returning Nothing immmediately if no value was available.

Empty :: SyncRead d m Bool

Indicate whether the variable is empty.