Module Documentation

Module Control.Monad.Task

Types

type PureTask a = forall e. Task e a

data RealWorld  where

data Task :: # ! -> * -> *

Type Class Instances

instance taskApplicative :: Applicative (Task e)

instance taskApply :: Apply (Task e)

instance taskBind :: Bind (Task e)

instance taskFunctor :: Functor (Task e)

instance taskMonad :: Monad (Task e)

Values

runTask :: forall e a. Task e a -> Eff e {  }

task :: forall e a. (RealWorld -> Trampoline (Tuple RealWorld a)) -> Task e a

traceTask :: forall r. Prim.String -> Task (trace :: Trace | r) {  }

unsafePerformTask :: forall e a. Task e a -> a