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 x. f x -> g0 x) -> HCont ff g f a -> HCont ff g g0 a Source #
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 #
type OrderOf (HCont ff b) Source #
Instance details Defined in Data.Effect.HFunctor.HCont type OrderOf (HCont ff b) = 'HigherOrder