Modulelinear-base-0.8.1

Control.Functor.Linear.Internal.Kan

Synopsis

valueliftCurriedYonedaC

valuelowerCurriedC :: Applicative f => Curried f g a %1 -> g a

valuelowerYoneda :: Yoneda f a %1 -> f a

valueyap :: Applicative f => Yoneda f (a %1 -> b) %1 -> f a %1 -> Yoneda f b

newtypenewtype Curried (g :: Type -> Type) (h :: Type -> Type) a

Instances4Functor, Applicative

(Functor g, g ~ h) => Applicative (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor g => Functor (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor g => Functor (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
(Functor g, g ~ h) => Applicative (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan

newtypenewtype Yoneda (f :: Type -> Type) a

Instances4Functor, Applicative

Applicative f => Applicative (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Applicative f => Applicative (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan