Control.Monad.Continuation

Reexports

Definitions

record ContT : ty -> (ty -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkContT : ((a -> m r) -> m r) -> ContT r m a

Projection: 

.contT : ContT r m a -> (a -> m r) -> m r

Hints:

Applicative (ContT r m)

Functor (ContT r m)

HasIO m => HasIO (ContT r m)

Monad (ContT r m)

MonadTrans (ContT r)

.contT : ContT r m a -> (a -> m r) -> m r

Visibility: public export

contT : ContT r m a -> (a -> m r) -> m r

Visibility: public export

runCont : Applicative m => ContT () m () -> m ()

Visibility: export

Cont : Type -> Type -> Type

Visibility: public export