Moduleadjunctions-4.4.3Haskell2010

Control.Monad.Trans.Conts

Cont r ~ Contravariant.Adjoint (Op r) (Op r)
Conts r ~ Contravariant.AdjointT (Op r) (Op r)
ContsT r w m ~ Contravariant.AdjointT (Op (m r)) (Op (m r)) w

3 types
5 values

Packageadjunctions-4.4.3
Exports8
LanguageHaskell2010
LicenceBSD-2-Clause
SourceConts.hs

Continuation passing style

3 declarations

typetype Cont r = ContsT r Identity Identity

valuecont :: ((a -> r) -> r) -> Cont r a

valuerunCont :: Cont r a -> (a -> r) -> r

Multiple-continuation passing style

3 declarations

typetype Conts r (w :: Type -> Type) = ContsT r w Identity

valuerunConts :: Functor w => Conts r w a -> w (a -> r) -> r

valueconts :: Functor w => (w (a -> r) -> r) -> Conts r w a

Multiple-continuation passing style transformer

2 declarations

newtypenewtype ContsT r (w :: Type -> Type) (m :: Type -> Type) a

Constructors

ContsT
- runContsT :: w (a -> m r) -> m r

Instances5MonadTrans, Monad, Functor, Applicative, Apply

Comonad w => MonadTrans (ContsT r w)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Conts
Comonad w => Monad (ContsT r w m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Conts
Functor w => Functor (ContsT r w m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Conts
Comonad w => Applicative (ContsT r w m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Conts
Comonad w => Apply (ContsT r w m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Conts

valuecallCC

:: Comonad w
=> (a -> ContsT r w m b) -> ContsT r w m a
-> ContsT r w m a