Specular.Internal.Effect

data Ref :: Type -> Type

newRef :: forall a. a -> Effect (Ref a)

readRef :: forall a. Ref a -> Effect a

writeRef :: forall a. Ref a -> a -> Effect Unit

modifyRef :: forall a. Ref a -> (a -> a) -> Effect Unit

data DelayedEffects :: Type

emptyDelayed :: Effect DelayedEffects

pushDelayed :: DelayedEffects -> Effect Unit -> Effect Unit

unsafeFreezeDelayed :: DelayedEffects -> Effect (Array (Effect Unit))

sequenceEffects :: Array (Effect Unit) -> Effect Unit

data Effect :: Type -> Type

The Effect type constructor is used to represent native effects.

See Handling Native Effects with the Effect Monad for more details.

The type parameter denotes the return type of running the effect.

Instances

• Functor Effect
• Apply Effect
• Applicative Effect
• Bind Effect
• Monad Effect
• (Semigroup a) => Semigroup (Effect a)
• (Monoid a) => Monoid (Effect a)