Control.Monad.Aff.AVar

data AVAR :: Effect

type AffAVar e a = Aff (avar :: AVAR | e) a

makeVar :: forall a e. AffAVar e (AVar a)

Makes a new asynchronous avar.

makeVar' :: forall a e. a -> AffAVar e (AVar a)

Makes a avar and sets it to some value.

takeVar :: forall a e. AVar a -> AffAVar e a

Takes the next value from the asynchronous avar.

peekVar :: forall a e. AVar a -> AffAVar e a

Reads a value from the asynchronous var but does not consume it.

putVar :: forall a e. AVar a -> a -> AffAVar e Unit

Puts a new value into the asynchronous avar. If the avar has been killed, this will result in an error.

modifyVar :: forall a e. (a -> a) -> AVar a -> AffAVar e Unit

Modifies the value at the head of the avar (will suspend until one is available).

killVar :: forall a e. AVar a -> Error -> AffAVar e Unit

Kills an asynchronous avar.

data AVar :: Type -> Type