Control.Monad.Trans.Conts

Contents

• Continuation passing style
• Multiple-continuation passing style
• Multiple-continuation passing style transformer

Description

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

Synopsis

• type Cont r = ContsT r Identity Identity
• cont :: ((a -> r) -> r) -> Cont r a
• runCont :: Cont r a -> (a -> r) -> r
• 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
• newtype ContsT r w m a = ContsT {
  • runContsT :: w (a -> m r) -> m r
  }
• callCC :: Comonad w => ((a -> ContsT r w m b) -> ContsT r w m a) -> ContsT r w m a

Continuation passing style

Multiple-continuation passing style

Multiple-continuation passing style transformer