adjunctions-0.4.0: Adjunctions

PortabilityMPTCs, fundeps
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Contra.Cont

Description

 ContT r ~ AdjointT (Op r) (Op r)

Documentation

type Cont r = ContT r IdentitySource

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

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

newtype ContT r w a Source

Constructors

ContT 

Fields

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

Instances

Comonad w => Monad (ContT r w) 
Functor w => Functor (ContT r w) 
Comonad w => Applicative (ContT r w) 
Comonad w => FunctorApply (ContT r w) 

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