Control.Monad.Trans.Cont.Comonadic

Documentation

type Cont r = ContW r Identity

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

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

newtype ContW r w a

Constructors

ContW

Fields

runContW :: w (a -> r) -> r

Instances

Comonad w => Monad (ContW r w)

Functor w => Functor (ContW r w)

Comonad w => Applicative (ContW r w)

Comonad w => FunctorApply (ContW r w)

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