adjunctions-0.4.0: Adjunctions
Control.Monad.Contra.Cont
Description
ContT r ~ AdjointT (Op r) (Op r)
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
Fields
Instances
callCC :: Comonad w => ((a -> ContT r w b) -> ContT r w a) -> ContT r w aSource