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.Instance.List
2 (Type/Class)	Proarrow.Category.Bicategory.Adj
3 (Data Constructor)	Proarrow.Category.Instance.Linear
4 (Type/Class)	Proarrow.Category.Instance.Coproduct
5 (Type/Class)	Proarrow.Category.Instance.Collage
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
4 (Type/Class)	Proarrow.Colimit
5 (Data Constructor)	Proarrow.Colimit
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
1 (Function)	Proarrow.Category.Bicategory.LaxFunctor
2 (Function)	Proarrow.Category.Bicategory.Prof
LaxFunctor	Proarrow.Category.Bicategory.LaxFunctor
laxId
1 (Function)	Proarrow.Category.Bicategory.LaxFunctor
2 (Function)	Proarrow.Category.Bicategory.Prof
LaxProfunctor	Proarrow.Category.Bicategory.Prof
left	Proarrow.Colimit.BinaryCoproduct
left'	Proarrow.Category.Monoidal.Strength
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.Instance.Free
leftUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorCoprod	Proarrow.Colimit.BinaryCoproduct
leftUnitorCoprodInv	Proarrow.Colimit.BinaryCoproduct
LeftUnitorInv	Proarrow.Category.Instance.Free
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
leftUnitorIso	Proarrow.Category.Monoidal
leftUnitorProd	Proarrow.Limit.BinaryProduct
leftUnitorProdInv	Proarrow.Limit.BinaryProduct
leftUnitorWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
Leg	Proarrow.Profunctor.Instance.Cone
len	Proarrow.Tools.Diagrams.Dot
Lens
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
Lft
1 (Data Constructor)	Proarrow.Colimit.BinaryCoproduct
2 (Type/Class)	Proarrow.Category.Instance.Coproduct
3 (Data Constructor)	Proarrow.Tools.CCC
lft	Proarrow.Colimit.BinaryCoproduct
lft'	Proarrow.Colimit.BinaryCoproduct
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
LiftA2	Proarrow.Profunctor.Free
liftA2	Proarrow.Category.Monoidal.Applicative
liftA3	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.Limit
limit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.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.Limit
3 (Function)	Proarrow.Squares.Limit
limitUniv'	Proarrow.Squares.Limit
linDist	Proarrow.Category.Monoidal.StarAutonomous
linDistHG	Proarrow.Category.Monoidal.Hypergraph
linDistInv	Proarrow.Category.Monoidal.StarAutonomous
linDistInvHG	Proarrow.Category.Monoidal.Hypergraph
linDistInvS	Proarrow.Category.Monoidal.StarAutonomous
linDistS	Proarrow.Category.Monoidal.StarAutonomous
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.Instance.List
List	Proarrow.Profunctor.Instance.List
listCase	Proarrow.Category.Monoidal.Strictified
listen	Proarrow.Promonad.Writer
ListF	Proarrow.Profunctor.Instance.Fix
lmap
1 (Function)	Proarrow.Core, Proarrow.Profunctor, Proarrow
2 (Function)	Proarrow.Category.Enriched
local	Proarrow.Promonad.Reader
Lower	Proarrow.Category.Instance.Free
lower
1 (Function)	Proarrow.Category.Monoidal.Closed
2 (Function)	Proarrow.Profunctor.Cofree
lowerS	Proarrow.Category.Monoidal.Closed
lrCase	Proarrow.Category.Instance.Coproduct
lrId	Proarrow.Category.Instance.Collage
LTE	Proarrow.Category.Instance.Fin
lte	Proarrow.Category.Instance.Fin
lteTrans	Proarrow.Category.Instance.Cost