FMonad.Adjoint

Documentation

type Adjoint ff uu = AdjointT ff uu IdentityT

adjoint :: (FFunctor ff, FFunctor uu, Functor x) => uu (ff x) ~> Adjoint ff uu x

runAdjoint :: (FFunctor ff, FFunctor uu, Functor x) => Adjoint ff uu x ~> uu (ff x)

newtype AdjointT ff uu mm g x

Constructors

AdjointT

Fields

• runAdjointT :: uu (mm (ff g)) x

Instances

(FFunctor ff, FFunctor mm, FFunctor uu) => FFunctor (AdjointT ff uu mm)

Defined in FMonad.Adjoint

Methods

ffmap :: forall (g :: Type -> Type) (h :: Type -> Type) x. (Functor g, Functor h) => (g ~> h) -> AdjointT ff uu mm g x -> AdjointT ff uu mm h x

(Adjunction ff uu, FMonad mm) => FMonad (AdjointT ff uu mm)

Defined in FMonad.Adjoint

Methods

fpure :: forall (g :: Type -> Type). Functor g => g ~> AdjointT ff uu mm g

fbind :: forall (g :: Type -> Type) (h :: Type -> Type) a. (Functor g, Functor h) => (g ~> AdjointT ff uu mm h) -> AdjointT ff uu mm g a -> AdjointT ff uu mm h a

(FStrong ff, FStrong mm, FStrong uu) => FStrong (AdjointT ff uu mm)

Defined in FMonad.Adjoint

Methods

fstrength :: forall (g :: Type -> Type) (h :: Type -> Type). Functor g => Day (AdjointT ff uu mm g) h ~> AdjointT ff uu mm (Day g h)

mapCurried :: forall (g :: Type -> Type) (h :: Type -> Type). (Functor g, Functor h) => Curried g h ~> Curried (AdjointT ff uu mm g) (AdjointT ff uu mm h)

(FFunctor ff, FFunctor mm, FFunctor uu, Functor g) => Functor (AdjointT ff uu mm g)

Defined in FMonad.Adjoint

Methods

fmap :: (a -> b) -> AdjointT ff uu mm g a -> AdjointT ff uu mm g b

(<$) :: a -> AdjointT ff uu mm g b -> AdjointT ff uu mm g a

fffmap :: forall mm nn ff uu x. (FFunctor mm, FFunctor nn, FFunctor ff, FFunctor uu, Functor x) => (forall y. Functor y => mm y ~> nn y) -> AdjointT ff uu mm x ~> AdjointT ff uu nn x

generalize :: (FMonad mm, FFunctor ff, FFunctor uu, Functor x) => Adjoint ff uu x ~> AdjointT ff uu mm x