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.Category.Instance.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Type/Class)	Proarrow.Profunctor.List
4 (Data Constructor)	Proarrow.Category.Instance.Linear
L2R	Proarrow.Category.Instance.Collage
lam	Proarrow.Tools.CCC
Lan
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Category.Instance.Nat
3 (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.Tools.Laws
laws	Proarrow.Tools.Laws
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.Squares.Relative
3 (Function)	Proarrow.Adjunction
LeftKanExtension	Proarrow.Category.Bicategory.Kan
LeftKanLift	Proarrow.Category.Bicategory.Kan
LeftUnitor	Proarrow.Category.Monoidal
leftUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
LeftUnitorInv	Proarrow.Category.Monoidal
leftUnitorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorInvWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorProd	Proarrow.Object.BinaryProduct
leftUnitorProdInv	Proarrow.Object.BinaryProduct
leftUnitorWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
Lens
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares, Proarrow
Lft
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Data Constructor)	Proarrow.Object.BinaryCoproduct
3 (Data Constructor)	Proarrow.Tools.CCC
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.Tools.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
limitUniv'	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
1 (Function)	Proarrow.Core, Proarrow.Profunctor, Proarrow
2 (Function)	Proarrow.Category.Enriched
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.Coproduct
2 (Function)	Proarrow.Category.Instance.Collage
LTE	Proarrow.Category.Instance.Fin
lte	Proarrow.Category.Instance.Fin
lteTrans	Proarrow.Category.Instance.Cost