Contents
Index
category-extras-0.53.5: Various modules and constructs inspired by category theory
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
X
Y
Z
:
&
.
=
>
|
Index - L
lambek
Control.Functor.Lambek
Lan
1 (Type/Class)
Control.Functor.KanExtension
2 (Data Constructor)
Control.Functor.KanExtension
lanToAdjoint
Control.Functor.KanExtension
lanToComposedAdjoint
Control.Functor.KanExtension
lanToCoYoneda
Control.Functor.Yoneda
lanToDensity
Control.Comonad.Density
Left
Control.Monad.Either
leftAdjunct
Control.Functor.Adjunction
leftDomain
Control.Allegory
Lift
1 (Type/Class)
Control.Functor.Combinators.Lift
2 (Data Constructor)
Control.Functor.Combinators.Lift
liftAlgebra
Control.Functor.Algebra
liftCoalgebra
Control.Functor.Algebra
liftCodensity
Control.Monad.Codensity
liftColimit
Control.Functor.Limit
liftComp
Control.Functor.Composition
liftCoYoneda
Control.Functor.Yoneda
liftCtx
Control.Comonad
, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply
liftDensity
Control.Comonad.Density
liftDialgebra
Control.Functor.Algebra
liftFlip
Control.Functor.Combinators.Flip
liftH
Control.Functor.HigherOrder
liftLimit
Control.Functor.Limit
liftOf
Control.Functor.Combinators.Of
liftW
Control.Comonad
, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply
Limit
Control.Functor.Limit
limit
Control.Functor.Limit
lowerCodensity
Control.Monad.Codensity
lowerDensity
Control.Comonad.Density
LowerH
1 (Type/Class)
Control.Functor.HigherOrder
2 (Data Constructor)
Control.Functor.HigherOrder
lowerYoneda
Control.Functor.Yoneda