Data.Effect.HFunctor.HCont

Documentation

newtype HCont ff b f (a :: Type)

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

type (~~>) = HCont infixr 8