FMonad.Cont.Curried

Documentation

newtype Cont k f a

"Continuation monad" using Curried.

Constructors

Cont

Fields

• runCont :: ((f `Curried` k) `Curried` k) a

Instances

FFunctor (Cont k)

Defined in FMonad.Cont.Curried

Methods

ffmap :: forall (g :: Type -> Type) (h :: Type -> Type) x. (Functor g, Functor h) => (g ~> h) -> Cont k g x -> Cont k h x

FMonad (Cont k)

Defined in FMonad.Cont.Curried

Methods

fpure :: forall (g :: Type -> Type). Functor g => g ~> Cont k g

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

Functor f => Functor (Cont k f)

Defined in FMonad.Cont.Curried

Methods

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

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