| 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 |