comonad-transformers-0.6.5: Haskell 98 comonad transformers
Control.Monad.Trans.Cont.Comonadic
type Cont r = ContW r IdentitySource
cont :: ((a -> r) -> r) -> Cont r aSource
runCont :: Cont r a -> (a -> r) -> rSource
newtype ContW r w a Source
Constructors
Fields
Instances
callCC :: Comonad w => ((a -> ContW r w b) -> ContW r w a) -> ContW r w aSource