Effectful.Zoo.Lazy.Dynamic

Documentation

data Lazy i :: Effect where

Constructors

LazyAsk :: Lazy i m i

Instances

type DispatchOf (Lazy i)

Defined in Effectful.Zoo.Lazy.Dynamic

type DispatchOf (Lazy i) = 'Dynamic

runLazy :: forall i a r. r <: Concurrent => Eff r i -> Eff (Lazy i : r) a -> Eff r a

lazyAsk :: r <: Lazy i => Eff r i