proarrow

Index - L

L 
1 (Type/Class)Proarrow.Profunctor.Instance.List
2 (Type/Class)Proarrow.Category.Instance.Coproduct
3 (Type/Class)Proarrow.Category.Instance.Linear
4 (Type/Class)Proarrow.Category.Instance.Collage
L2RProarrow.Category.Instance.Collage
LabelProarrow.Tools.Diagrams.Svg
labelProarrow.Tools.Laws
LabelledProarrow.Tools.Laws
labelRowProarrow.Tools.Diagrams.Svg
lamProarrow.Tools.CCC
Lan 
1 (Type/Class)Proarrow.Category.Instance.Nat
2 (Data Constructor)Proarrow.Category.Instance.Nat
Law 
1 (Type/Class)Proarrow.Tools.Laws
2 (Data Constructor)Proarrow.Tools.Laws
LawBodyProarrow.Tools.Laws
lawNameProarrow.Tools.Laws
lawNodeProarrow.Tools.Diagrams.Svg
LawsProarrow.Tools.Laws
lawsProarrow.Tools.Laws
lawSvgsProarrow.Tools.Diagrams.Svg
lawSvgsWithProarrow.Tools.Diagrams.Svg
lawvereTierneyProarrow.Category.Enriched.Finitary.Sheaf
lawvereTierneyLawsProarrow.Testing.Laws
LaxMonoidalProarrow.Category.Monoidal
LaxMonoidalCorepProarrow.Category.Monoidal
LayoutProarrow.Tools.Diagrams.Svg
layoutProarrow.Tools.Diagrams.Svg
layoutHeightProarrow.Tools.Diagrams.Svg
leastDenseSieveProarrow.Category.Enriched.Finitary.Sheaf
leftProarrow.Colimit.BinaryCoproduct
left'Proarrow.Category.Monoidal.Strength
leftAdjointPreservesColimitsProarrow.Adjunction
leftAdjointPreservesColimitsInvProarrow.Adjunction
leftAdjunctProarrow.Adjunction, Proarrow
LeftFirstProarrow.Tools.Diagrams.Svg
leftInverseProarrow.Tools.Laws
LeftProadjointProarrow.Adjunction
LeftUnitorProarrow.Category.Monoidal
leftUnitor 
1 (Function)Proarrow.Path
2 (Function)Proarrow.Category.Monoidal
leftUnitor'Proarrow.Category.Monoidal
leftUnitorCoprodProarrow.Colimit.BinaryCoproduct
leftUnitorCoprodInvProarrow.Colimit.BinaryCoproduct
LeftUnitorInvProarrow.Category.Monoidal
leftUnitorInv 
1 (Function)Proarrow.Path
2 (Function)Proarrow.Category.Monoidal
leftUnitorInv'Proarrow.Category.Monoidal
leftUnitorInvWithProarrow.Category.Monoidal
leftUnitorIsoProarrow.Category.Monoidal
leftUnitorProdProarrow.Limit.BinaryProduct
leftUnitorProdInvProarrow.Limit.BinaryProduct
leftUnitorWithProarrow.Category.Monoidal
Leg 
1 (Data Constructor)Proarrow.Profunctor.Instance.Cone
2 (Type/Class)Proarrow.Category.Sheaf, Proarrow.Category.Sheaf
legArrowProarrow.Category.Sheaf
legBelowProarrow.Category.Sheaf
legsProarrow.Category.Sheaf
legs2profProarrow.Optic
lenProarrow.Tools.Diagrams.Dot
LengthProarrow.Category.Enriched.Thin
LensProarrow.Optic.Lens, Proarrow.Optics, Proarrow
lensProarrow.Optic.Lens, Proarrow.Optics, Proarrow
Lens'Proarrow.Optic.Lens, Proarrow.Optics, Proarrow
LensFlProarrow.Optic.Lens
LensVLProarrow.Optic.Lens
lensVLProarrow.Optic.Lens
Lft 
1 (Type/Class)Proarrow.Category.Instance.Coproduct
2 (Data Constructor)Proarrow.Colimit.BinaryCoproduct
lft 
1 (Function)Proarrow.Colimit.BinaryCoproduct
2 (Function)Proarrow.Tools.CCC
lft'Proarrow.Colimit.BinaryCoproduct
LiftProarrow.Profunctor.Free
lift 
1 (Function)Proarrow.Tools.CCC
2 (Function)Proarrow.Profunctor.Free
LiftA2Proarrow.Profunctor.Free
liftA2Proarrow.Category.Monoidal.Applicative
liftA3Proarrow.Category.Monoidal.Applicative
LIFTEDFProarrow.Category.Instance.Kleisli
LiftFProarrow.Category.Instance.Kleisli
liftFreeProarrow.Category.Instance.Free
liftKProarrow.Profunctor.Free
LimitProarrow.Limit
limitProarrow.Limit
LimitAdj 
1 (Type/Class)Proarrow.Adjunction
2 (Data Constructor)Proarrow.Adjunction
limitUnivProarrow.Limit
LinDistProarrow.Category.Monoidal.StarAutonomous
linDistProarrow.Category.Monoidal.StarAutonomous
linDistHGProarrow.Category.Monoidal.Hypergraph
LinDistInvProarrow.Category.Monoidal.StarAutonomous
linDistInvProarrow.Category.Monoidal.StarAutonomous
linDistInvHGProarrow.Category.Monoidal.Hypergraph
linDistInvSProarrow.Category.Monoidal.StarAutonomous
linDistSProarrow.Category.Monoidal.StarAutonomous
LineProarrow.Tools.Diagrams.Svg
line 
1 (Function)Proarrow.Tools.Diagrams.Dot
2 (Function)Proarrow.Tools.Diagrams.Svg
LINEARProarrow.Category.Instance.Linear
Linear 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
LISTProarrow.Profunctor.Instance.List
ListProarrow.Profunctor.Instance.List
listCaseProarrow.Category.Monoidal.Strictified
listenProarrow.Promonad.Writer
ListFProarrow.Profunctor.Instance.Fix
lmap 
1 (Function)Proarrow.Core, Proarrow
2 (Function)Proarrow.Category.Enriched
localProarrow.Promonad.Reader
LocallyFiniteProarrow.Category.Enriched.Finitary
LookupProarrow.Category.Enriched.Thin
lookupObProarrow.Category.Enriched.Thin
LoopProarrow.Tools.Diagrams.Svg
loopClearanceProarrow.Tools.Diagrams.Svg
loopGapProarrow.Tools.Diagrams.Svg
loopsProarrow.Tools.Diagrams.Svg
LowerProarrow.Category.Instance.Free
lower 
1 (Function)Proarrow.Category.Monoidal.Closed
2 (Function)Proarrow.Profunctor.Cofree
lowerObProarrow.Category.Instance.Free
lowerSProarrow.Category.Monoidal.Closed
lrCaseProarrow.Category.Instance.Coproduct
lrIdProarrow.Category.Instance.Collage
LTEProarrow.Category.Instance.Ordinal
lteTransProarrow.Category.Instance.Cost