Lan | |
1 (Type/Class) | Control.Functor.KanExtension, Control.Functor.Limit |
2 (Data Constructor) | Control.Functor.KanExtension, Control.Functor.Limit |
lanToAdjoint | Control.Functor.KanExtension, Control.Functor.Limit |
lanToComposedAdjoint | Control.Functor.KanExtension, Control.Functor.Limit |
Left | Control.Monad.Either |
leftAdjunct | Control.Functor.Adjunction |
Lift | |
1 (Type/Class) | Control.Functor.Combinators.Lift |
2 (Data Constructor) | Control.Functor.Combinators.Lift |
liftAlgebra | Control.Functor.Algebra |
liftCoalgebra | Control.Functor.Algebra |
liftComp | Control.Functor.Composition |
liftCtx | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
liftDialgebra | Control.Functor.Algebra |
liftFlip | Control.Functor.Combinators.Flip |
liftH | Control.Functor.HigherOrder |
liftLan | Control.Functor.KanExtension, Control.Functor.Limit |
liftOf | Control.Functor.Combinators.Of |
liftRan | Control.Functor.KanExtension, Control.Functor.Limit |
liftW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
Lim | Control.Functor.Limit |
LowerH | |
1 (Type/Class) | Control.Functor.HigherOrder |
2 (Data Constructor) | Control.Functor.HigherOrder |
lowerLan | Control.Functor.KanExtension, Control.Functor.Limit |
lowerRan | Control.Functor.KanExtension, Control.Functor.Limit |