Index - L
| Lam_ULC | UVMHS.Lang.ULC, UVMHS |
| lam_ULCL | UVMHS.Lang.ULC, UVMHS |
| last | UVMHS.Core.Data.Option, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| Lattice | UVMHS.Core.Classes.Lattice, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| Lazy | |
| 1 (Type/Class) | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| lazyList | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lazyList𝐼 | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| lBlocksWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lComment | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLBody | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLBodyClose | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLBodyOpen | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLOpen | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lCommentMLWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lDbl | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| length64𝕊 | UVMHS.Core.Data.String, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| length𝕊 | UVMHS.Core.Data.String, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| Lens | UVMHS.Core.Data.Lens, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lens | UVMHS.Core.Data.Lens, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lepsRegex | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| LetterClass | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| LexDFAState | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexDFAStateContext | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexDFAStateInput | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexDFAStatePrefix | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexDFAStateTokens | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| Lexer | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexer | |
| 1 (Function) | Examples.Lang.ArithBlocks |
| 2 (Function) | Examples.Lang.SExp |
| 3 (Function) | Examples.Lang.Arith |
| lexerBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| LexerBasicSyntax | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxKeys | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxKeysL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxOprs | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxOprsL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxPrms | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxPrmsL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxPuns | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerBasicSyntaxPunsL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerDFA | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerInitState | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerMkToken | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| LexerWSBasicSyntax | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerWSBasicSyntaxBase | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerWSBasicSyntaxBaseL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerWSBasicSyntaxBlocks | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexerWSBasicSyntaxBlocksL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lexULCExp | UVMHS.Lang.ULC, UVMHS |
| lfp | UVMHS.Core.Data.Lattice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lfpN | UVMHS.Core.Data.Lattice, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| LH | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| lift | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| liftAbort | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftAskL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftCallCC | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftCatch | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftCont | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftDelay | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftDelay | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftError | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftFail | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftGet | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftHijack | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftIO | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftIO | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftLocalL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftMplus | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftMtop | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftMzero | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftNondet | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftPut | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftReader | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftState | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftTell | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftThrow | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftTop | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftTry | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftUCallCC | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftUCont | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftUWithC | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| liftWithC | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| LiftWriter | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| lineNumberFormat | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| lineNumberFormatL | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| lInt | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lIntPre | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| list | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| ListE | Examples.Lang.SExp |
| list𝐼 | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| Lit | |
| 1 (Type/Class) | Examples.Lang.ArithBlocks |
| 2 (Type/Class) | Examples.Lang.SExp |
| 3 (Type/Class) | Examples.Lang.Arith |
| LitA | |
| 1 (Data Constructor) | Examples.Lang.ArithBlocks |
| 2 (Data Constructor) | Examples.Lang.SExp |
| 3 (Data Constructor) | Examples.Lang.Arith |
| literalFormat | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| literalFormatL | UVMHS.Lib.Pretty.Doc, UVMHS.Lib.Pretty, UVMHS |
| litMMSP | UVMHS.Lib.MMSP, UVMHS |
| litMMSPL | UVMHS.Lib.MMSP, UVMHS |
| littMMSPL | UVMHS.Lib.MMSP, UVMHS |
| lName | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lNat | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lNatCoded | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lNatPre | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lNl | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| Loc | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| local | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localFormat | UVMHS.Lib.Pretty.RenderANSI, UVMHS.Lib.Pretty, UVMHS |
| localize | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localizeL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localMapStateL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localState | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localStateEffectsL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| localStateL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| locCol | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locColL | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locPos | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locPosL | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| LocRange | |
| 1 (Type/Class) | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRangeBegin | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRangeBeginL | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRangeEnd | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRangeEndL | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRange₀ | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRow | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| locRowL | UVMHS.Lib.Parser.Loc, UVMHS.Lib.Parser, UVMHS |
| Log | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| log | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| Log2 | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| LogDepth | |
| 1 (Type/Class) | UVMHS.Lib.Logging, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Logging, UVMHS |
| LogLevel | |
| 1 (Type/Class) | UVMHS.Lib.Logging, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Logging, UVMHS |
| LogOptions | |
| 1 (Type/Class) | UVMHS.Lib.Logging, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Logging, UVMHS |
| logOptionsDepth | UVMHS.Lib.Logging, UVMHS |
| logOptionsDepthL | UVMHS.Lib.Logging, UVMHS |
| logOptionsLevel | UVMHS.Lib.Logging, UVMHS |
| logOptionsLevelL | UVMHS.Lib.Logging, UVMHS |
| logOptionsShowLevel | UVMHS.Lib.Logging, UVMHS |
| logOptionsShowLevelL | UVMHS.Lib.Logging, UVMHS |
| logOptions₀ | UVMHS.Lib.Logging, UVMHS |
| Lookup | UVMHS.Core.Classes.Collections, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| lookupSubstScoped | UVMHS.Lib.Substitution.SubstScoped |
| lookup𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lookup𝐼 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lookup𝐿 | UVMHS.Core.Data.List, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lookup𝑉 | UVMHS.Core.VectorSparse, UVMHS.Core, UVMHS |
| lower𝕊 | UVMHS.Core.Data.String, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| lSpace | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lSpaceOrNl | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lString | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lSyntaxBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| LT | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| lTokenBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lTokenWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| lup | UVMHS.Core.Classes.Collections, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| lupΩ | UVMHS.Core.Classes.Collections, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| lWord | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| L𝑇 | UVMHS.Lib.TreeAnnote, UVMHS |