Data.Effect.HFunctor.HCont

Description

Synopsis

newtype HCont (ff :: (Type -> Type) -> Type -> Type) (b :: Type -> Type) (f :: Type -> Type) a = HCont {
- unHCont :: (f ~> b) -> ff b a
}

Documentation

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

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

Constructors

HCont
Fields unHCont :: (f ~> b) -> ff b a

Instances details

HFunctor (HCont ff g) Source #
Instance details 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) Source #
Instance details 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 #