Data.Effect.HFunctor.HCont

Documentation

newtype HCont (ff :: (Type -> Type) -> Type -> Type) (b :: Type -> Type) (f :: Type -> Type) a

This represents that the effect ff is finally interpreted as the base carrier b.

Constructors

HCont

Fields

• unHCont :: (f ~> b) -> ff b a

Instances

HFunctor (HCont ff g)

Defined in Data.Effect.HFunctor.HCont

Methods

hfmap :: forall (f :: Type -> Type) (g0 :: Type -> Type). (f :-> g0) -> HCont ff g f :-> HCont ff g g0

Functor (ff b) => Functor (HCont ff b f)

Defined in Data.Effect.HFunctor.HCont

Methods

fmap :: (a -> b0) -> HCont ff b f a -> HCont ff b f b0

(<$) :: a -> HCont ff b f b0 -> HCont ff b f a