Index - L
| L | OAlg.Data.Symbol |
| Label | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| lcAggr | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcs | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSclFilter | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcsmf | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSort | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| LDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| LDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Leaf | OAlg.Data.Tree |
| Left | OAlg.Data.Either |
| Left2 | OAlg.Data.Either |
| LeftSide | OAlg.Data.Dualisable, OAlg.Prelude |
| LeftToRight | OAlg.Data.Dualisable, OAlg.Prelude |
| lemma1 | OAlg.Entity.Natural |
| lemmaAdd1 | OAlg.Entity.Natural |
| lemmaAdd2 | OAlg.Entity.Natural |
| lemmaMlt1 | OAlg.Entity.Natural |
| LengthN | OAlg.Data.Number, OAlg.Prelude |
| lengthN | OAlg.Data.Number, OAlg.Prelude |
| Limes | OAlg.Limes.Definition |
| limes | OAlg.Limes.Limits |
| LimesDuality | |
| 1 (Type/Class) | OAlg.Limes.Definition |
| 2 (Data Constructor) | OAlg.Limes.Definition |
| LimesException | OAlg.Limes.Definition |
| LimesFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| limesFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| LimesInjective | OAlg.Limes.Definition |
| LimesProjective | OAlg.Limes.Definition |
| LimesSlicedTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| Limits | |
| 1 (Type/Class) | OAlg.Limes.Limits |
| 2 (Data Constructor) | OAlg.Limes.Limits |
| LimitsDuality | |
| 1 (Type/Class) | OAlg.Limes.Limits |
| 2 (Data Constructor) | OAlg.Limes.Limits |
| LinearCombination | |
| 1 (Type/Class) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| 2 (Data Constructor) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| list | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listN | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listToMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| lmDiagramTypeRefl | OAlg.Limes.Definition |
| lmFromInjOrnt | OAlg.Limes.Definition |
| lmFromOp | OAlg.Limes.Definition |
| lmFromOpOp | OAlg.Limes.Definition |
| lmInjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmInjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmMap | OAlg.Limes.Definition |
| lmPrjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmPrjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmsFromInjOrnt | OAlg.Limes.Limits |
| lmsFromOp | OAlg.Limes.Limits |
| lmsFromOpOp | OAlg.Limes.Limits |
| lmsMap | OAlg.Limes.Limits |
| lmsToOp | OAlg.Limes.Limits |
| lmsToPrjOrnt | OAlg.Limes.Limits |
| lmToOp | OAlg.Limes.Definition |
| lmToPrjOrnt | OAlg.Limes.Definition |
| Log2 | OAlg.Data.TypeLits |
| lookup | OAlg.Data.Tree |
| Low | OAlg.Control.Verbose |
| lstLimes | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| LT | OAlg.Data.Ord, OAlg.Prelude |
| LTI | OAlg.Data.TypeLits |