functor-monad-0.1.1.1: FFunctor: functors on (the usual) Functors
Safe HaskellSafe-Inferred
LanguageHaskell2010

FMonad.Cont.Exp

Synopsis

Documentation

newtype Cont k f a Source #

"Continuation monad" using Exp1.

Constructors

Cont 

Fields

Instances

Instances details
FFunctor (Cont k) Source # 
Instance details

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 #

FMonad (Cont k) Source # 
Instance details

Defined in FMonad.Cont.Exp

Methods

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 #

Functor (Cont k f) Source # 
Instance details

Defined in FMonad.Cont.Exp

Methods

fmap :: (a -> b) -> Cont k f a -> Cont k f b #

(<$) :: a -> Cont k f b -> Cont k f a #