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 (Type/Class)	Proarrow.Category.Bicategory.Adj
5 (Data Constructor)	Proarrow.Category.Instance.Linear
6 (Type/Class)	Proarrow.Universal, Proarrow, Proarrow
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
lanAlongLeftAdjoint	Proarrow.Category.Bicategory.Kan
lanAlongLeftAdjointInv	Proarrow.Category.Bicategory.Kan
lanComonadDelta	Proarrow.Category.Bicategory.Kan
lanComonadEpsilon	Proarrow.Category.Bicategory.Kan
lanUniv	Proarrow.Category.Bicategory.Kan
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	Proarrow.Adjunction
leftAdjointPreservesColimitsInv	Proarrow.Adjunction
leftAdjunct
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Relative
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
len	Proarrow.Tools.Diagrams.Dot
Lens
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
Lft
1 (Data Constructor)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Tools.CCC
lft	Proarrow.Object.BinaryCoproduct
lft'	Proarrow.Object.BinaryCoproduct
LftCat	Proarrow.Category.Instance.Fam
Lift
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Free
lift
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Profunctor.Free
3 (Function)	Proarrow.Tools.CCC
lift'	Proarrow.Profunctor.Free
LiftA2	Proarrow.Profunctor.Free
liftA2	Proarrow.Category.Monoidal.Applicative
liftAlongRightAdjoint	Proarrow.Category.Bicategory.Kan
liftAlongRightAdjointInv	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
LimitAdj
1 (Type/Class)	Proarrow.Adjunction
2 (Data Constructor)	Proarrow.Adjunction
limitFromLimitAdj	Proarrow.Category.Equipment.Limit
limitToLimitAdj	Proarrow.Category.Equipment.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
line	Proarrow.Tools.Diagrams.Dot
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	Proarrow.Category.Instance.Collage
LTE	Proarrow.Category.Instance.Fin
lte	Proarrow.Category.Instance.Fin
lteTrans	Proarrow.Category.Instance.Cost