proarrow-0: Category theory with a central role for profunctors

Index - L

L 
1 (Type/Class)Proarrow.Category.Instance.List
2 (Data Constructor)Proarrow.Category.Instance.Coproduct
3 (Type/Class)Proarrow.Category.Instance.Linear
L2RProarrow.Promonad.Collage
Lan 
1 (Data Constructor)Proarrow.Category.Bicategory.Kan
2 (Type/Class)Proarrow.Category.Bicategory.Kan
lanProarrow.Category.Bicategory.Kan
lanUnivProarrow.Category.Bicategory.Kan
LCatProarrow.Category.Monoidal.Optic
leftProarrow.Object.BinaryCoproduct
leftActionProarrow.Category.Bicategory
leftAdjunctProarrow.Adjunction, Proarrow
LeftKanExtensionProarrow.Category.Bicategory.Kan
LeftKanLiftProarrow.Category.Bicategory.Kan
leftUnitor 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitorInv 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitorProdProarrow.Object.BinaryProduct
leftUnitorProdInvProarrow.Object.BinaryProduct
LensProarrow.Category.Monoidal.Optic
lftProarrow.Object.BinaryCoproduct
lft'Proarrow.Object.BinaryCoproduct
LiftProarrow.Category.Bicategory.Kan
liftProarrow.Category.Bicategory.Kan
lift0Proarrow.Category.Monoidal
lift2Proarrow.Category.Monoidal
liftA2Proarrow.Category.Monoidal.Applicative
liftUnivProarrow.Category.Bicategory.Kan
LimitProarrow.Category.Limit
limitProarrow.Category.Limit
limitInvProarrow.Category.Limit
LINEARProarrow.Category.Instance.Linear
Linear 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
LISTProarrow.Category.Instance.List
List 
1 (Type/Class)Proarrow.Category.Instance.List
2 (Type/Class)Proarrow.Profunctor.Forget
3 (Data Constructor)Proarrow.Profunctor.Forget
ListFProarrow.Profunctor.Fix
listIdProarrow.Category.Instance.List
lmapProarrow.Core, Proarrow.Profunctor, Proarrow