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

Continuation passing style

type Cont r = ContsT r Identity Identity

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

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

Multiple-continuation passing style

type Conts r w = ContsT r w Identity

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

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

Multiple-continuation passing style transformer

newtype ContsT r w m a

Constructors

ContsT

Fields

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

Instances

Comonad w => MonadTrans (ContsT r w)

Methods

lift :: Monad m => m a -> ContsT r w m a

Comonad w => Monad (ContsT r w m)

Methods

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

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

return :: a -> ContsT r w m a

fail :: String -> ContsT r w m a

Functor w => Functor (ContsT r w m)

Methods

fmap :: (a -> b) -> ContsT r w m a -> ContsT r w m b

(<$) :: a -> ContsT r w m b -> ContsT r w m a

Comonad w => Applicative (ContsT r w m)

Methods

pure :: a -> ContsT r w m a

(<*>) :: ContsT r w m (a -> b) -> ContsT r w m a -> ContsT r w m b

liftA2 :: (a -> b -> c) -> ContsT r w m a -> ContsT r w m b -> ContsT r w m c

(*>) :: ContsT r w m a -> ContsT r w m b -> ContsT r w m b

(<*) :: ContsT r w m a -> ContsT r w m b -> ContsT r w m a

Comonad w => Apply (ContsT r w m)

Methods

(<.>) :: ContsT r w m (a -> b) -> ContsT r w m a -> ContsT r w m b

(.>) :: ContsT r w m a -> ContsT r w m b -> ContsT r w m b

(<.) :: ContsT r w m a -> ContsT r w m b -> ContsT r w m a

liftF2 :: (a -> b -> c) -> ContsT r w m a -> ContsT r w m b -> ContsT r w m c

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