FMonad.Cont.Exp
newtype Cont k f a Source #
"Continuation monad" using Exp1.
Exp1
Constructors
Fields
Defined in FMonad.Cont.Exp
Methods
ffmap :: forall (g :: Type -> Type) (h :: Type -> Type) x. (Functor g, Functor h) => (g ~> h) -> Cont k g x -> Cont k h x Source #
fpure :: forall (g :: Type -> Type). Functor g => g ~> Cont k g Source #
fbind :: forall (g :: Type -> Type) (h :: Type -> Type) a. (Functor g, Functor h) => (g ~> Cont k h) -> Cont k g a -> Cont k h a Source #
fmap :: (a -> b) -> Cont k f a -> Cont k f b #
(<$) :: a -> Cont k f b -> Cont k f a #