A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
\
^
|
-
~
All

Index - L

L
1 (Type/Class)	Proarrow.Profunctor.List
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Data Constructor)	Proarrow.Category.Instance.Linear
4 (Type/Class)	Proarrow.Category.Instance.Coproduct
L2R	Proarrow.Category.Instance.Collage
lam	Proarrow.Helper.CCC
Lan
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Data Constructor)	Proarrow.Category.Instance.Nat
lan	Proarrow.Category.Bicategory.Kan
lanAlongCompanion	Proarrow.Category.Bicategory.Kan
lanAlongCompanionInv	Proarrow.Category.Bicategory.Kan
lanComonadDelta	Proarrow.Category.Bicategory.Kan
lanComonadEpsilon	Proarrow.Category.Bicategory.Kan
lanUniv	Proarrow.Category.Bicategory.Kan
Laws	Proarrow.Category.Instance.Free
laws	Proarrow.Category.Instance.Free
laxComp	Proarrow.Category.Bicategory.Prof
laxId	Proarrow.Category.Bicategory.Prof
LaxProfunctor	Proarrow.Category.Bicategory.Prof
left	Proarrow.Object.BinaryCoproduct
left'	Proarrow.Object.BinaryCoproduct
leftAction	Proarrow.Category.Bicategory
leftAdjointPreservesColimits
1 (Function)	Proarrow.Category.Colimit
2 (Function)	Proarrow.Squares.Limit
leftAdjointPreservesColimitsInv
1 (Function)	Proarrow.Category.Colimit
2 (Function)	Proarrow.Squares.Limit
leftAdjunct
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Adjunction, Proarrow
3 (Function)	Proarrow.Squares.Relative
LeftKanExtension	Proarrow.Category.Bicategory.Kan
LeftKanLift	Proarrow.Category.Bicategory.Kan
LeftUnitor	Proarrow.Category.Instance.Free
leftUnitor
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
leftUnitor'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
LeftUnitorInv	Proarrow.Category.Instance.Free
leftUnitorInv
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
leftUnitorInv'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
leftUnitorInvWith
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
leftUnitorProd	Proarrow.Object.BinaryProduct
leftUnitorProdInv	Proarrow.Object.BinaryProduct
leftUnitorWith
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
Lens
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
Lft
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Data Constructor)	Proarrow.Helper.CCC
3 (Data Constructor)	Proarrow.Category.Instance.Free
lft	Proarrow.Object.BinaryCoproduct
lft'	Proarrow.Object.BinaryCoproduct
LftCat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
lftObj	Proarrow.Category.Equipment.Limit
Lift
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Free
lift
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Helper.CCC
3 (Function)	Proarrow.Profunctor.Free
lift'	Proarrow.Profunctor.Free
LiftA2	Proarrow.Profunctor.Free
liftA2	Proarrow.Category.Monoidal.Applicative
liftAlongConjoint	Proarrow.Category.Bicategory.Kan
liftAlongConjointInv	Proarrow.Category.Bicategory.Kan
liftComonadDelta	Proarrow.Category.Bicategory.Kan
liftComonadEpsilon	Proarrow.Category.Bicategory.Kan
LIFTEDF	Proarrow.Category.Instance.Kleisli
LiftF	Proarrow.Category.Instance.Kleisli
liftK	Proarrow.Profunctor.Free
liftUniv	Proarrow.Category.Bicategory.Kan
Limit
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Limit
limit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
3 (Function)	Proarrow.Squares.Limit
limitUniv
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
3 (Function)	Proarrow.Squares.Limit
linDist	Proarrow.Object.Dual
linDistInv	Proarrow.Object.Dual
LINEAR	Proarrow.Category.Instance.Linear
Linear
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
LIST	Proarrow.Profunctor.List
List	Proarrow.Profunctor.List
ListF	Proarrow.Profunctor.Fix
lmap	Proarrow.Core, Proarrow.Profunctor, Proarrow
Lookup
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Data Constructor)	Proarrow.Category.Instance.Free
Lower	Proarrow.Category.Instance.Free
lower
1 (Function)	Proarrow.Object.Exponential
2 (Function)	Proarrow.Profunctor.Cofree
lower'	Proarrow.Profunctor.Cofree
lrId
1 (Function)	Proarrow.Category.Instance.Collage
2 (Function)	Proarrow.Category.Instance.Coproduct
LTE	Proarrow.Category.Instance.Fin
lte	Proarrow.Category.Instance.Fin