Index - T
| t2StateCol | UVMHS.Lib.Pretty.RenderUndertags, UVMHS.Lib.Pretty, UVMHS |
| t2StateColL | UVMHS.Lib.Pretty.RenderUndertags, UVMHS.Lib.Pretty, UVMHS |
| t2StateUnders | UVMHS.Lib.Pretty.RenderUndertags, UVMHS.Lib.Pretty, UVMHS |
| t2StateUndersL | UVMHS.Lib.Pretty.RenderUndertags, UVMHS.Lib.Pretty, UVMHS |
| t2State₀ | UVMHS.Lib.Pretty.RenderUndertags, UVMHS.Lib.Pretty, UVMHS |
| takeWhile | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| teal | UVMHS.Lib.Pretty.Color, UVMHS.Lib.Pretty, UVMHS |
| TealLight | UVMHS.Lib.Pretty.Color, UVMHS.Lib.Pretty, UVMHS |
| tealLight | UVMHS.Lib.Pretty.Color, UVMHS.Lib.Pretty, UVMHS |
| tell | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| tellL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| tellSgrFormat | UVMHS.Lib.Pretty.RenderANSI, UVMHS.Lib.Pretty, UVMHS |
| tellStateL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Test | |
| 1 (Type/Class) | UVMHS.Lib.Testing, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Testing, UVMHS |
| test | UVMHSMain |
| testModules | UVMHS.Lib.Testing, UVMHS |
| testParserFailure | Examples.Lang.ArithBlocks |
| testParserFailure1 | Examples.Lang.Arith |
| testParserFailure2 | Examples.Lang.Arith |
| testParserSuccess | |
| 1 (Function) | Examples.Lang.ArithBlocks |
| 2 (Function) | Examples.Lang.Arith |
| testParsingBranching | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingErrorEof | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingErrorNewline | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingGreedy | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingGreedyAmbiguity | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingMultiline | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingSmall | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testParsingSuccess | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testResult | UVMHS.Lib.Testing, UVMHS |
| testSExpParserFailure1 | Examples.Lang.SExp |
| testSExpParserFailure2 | Examples.Lang.SExp |
| testSExpParserFailure3 | Examples.Lang.SExp |
| testSExpParserSuccess | Examples.Lang.SExp |
| testSExpTokenizerFailure1 | Examples.Lang.SExp |
| testSExpTokenizerFailure2 | Examples.Lang.SExp |
| testSExpTokenizerSuccess | Examples.Lang.SExp |
| TestsOut | |
| 1 (Type/Class) | UVMHS.Lib.Testing, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Testing, UVMHS |
| testsOutFailure | UVMHS.Lib.Testing, UVMHS |
| testsOutFailures | UVMHS.Lib.Testing, UVMHS |
| testsOutMetricFail | UVMHS.Lib.Testing, UVMHS |
| testsOutMetricPass | UVMHS.Lib.Testing, UVMHS |
| testsOutMetrics | UVMHS.Lib.Testing, UVMHS |
| testSrcLoc | UVMHS.Lib.Testing, UVMHS |
| testTokenize | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testTokenizeFailure1 | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testTokenizeFailure2 | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| testTokenizerSuccess | |
| 1 (Function) | Examples.Lang.ArithBlocks |
| 2 (Function) | Examples.Lang.Arith |
| testTokenizeSimple | UVMHS.Lib.Parser.Examples, UVMHS.Lib.Parser, UVMHS |
| thConNames | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thDataDL | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thdec | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thExp | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| THLift | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thLoc | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thLoc𝕊 | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thmut | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thNewtypeDL | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thRecCL | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| throw | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| throwEff | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| throwIO | UVMHS.Core.IO, UVMHS.Core, UVMHS |
| throwObs | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| throw𝑂 | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| thSingleClause | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thSingleMatch | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thString | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thTyConIL | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thTyVarBndrName | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thViewADT | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thViewSimpleCon | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| thViewSingleConADT | UVMHS.Core.TH, UVMHS.Core, UVMHS |
| Time | UVMHS.Core.Time, UVMHS.Core, UVMHS |
| time | UVMHS.Core.IO, UVMHS.Core, UVMHS |
| TimeD | UVMHS.Core.Time, UVMHS.Core, UVMHS |
| timeIO | UVMHS.Core.IO, UVMHS.Core, UVMHS |
| Times | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| timesADB | UVMHS.Lib.AD |
| timesADF | UVMHS.Lib.AD |
| timesADFB | UVMHS.Lib.AD |
| timesADFF | UVMHS.Lib.AD |
| TimesE | |
| 1 (Data Constructor) | Examples.Lang.ArithBlocks |
| 2 (Data Constructor) | Examples.Lang.Arith |
| timesEL | |
| 1 (Function) | Examples.Lang.ArithBlocks |
| 2 (Function) | Examples.Lang.Arith |
| timesMaxs | UVMHS.Lib.MMSP, UVMHS |
| timesMaxsMins | UVMHS.Lib.MMSP, UVMHS |
| timesMins | UVMHS.Lib.MMSP, UVMHS |
| timesMinsSums | UVMHS.Lib.MMSP, UVMHS |
| timesMMSP | UVMHS.Lib.MMSP, UVMHS |
| timesProds | UVMHS.Lib.MMSP, UVMHS |
| timesSums | UVMHS.Lib.MMSP, UVMHS |
| timesSumsProds | UVMHS.Lib.MMSP, UVMHS |
| times𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| times𝑃 | UVMHS.Core.Data.Set, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| toBitsℤ64 | UVMHS.Core.Chunky, UVMHS.Core, UVMHS |
| toBits𝔻 | UVMHS.Core.Chunky, UVMHS.Core, UVMHS |
| toChunk | UVMHS.Core.Chunky, UVMHS.Core, UVMHS |
| toCParser | UVMHS.Lib.Parser.CParser, UVMHS.Lib.Parser, UVMHS |
| todbr | UVMHS.Lib.Substitution.Substy, UVMHS.Lib.Substitution, UVMHS |
| ToDouble | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToDoubleO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToDoubleᴾ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToDoubleᴾO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| tohs | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| tohsChars | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| ToHSM | |
| 1 (Type/Class) | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| tohsMonad | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| tohs𝑂 | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| tohs𝑂F | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| ToInt | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToInt16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToInt32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToInt64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToInt8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIntO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIntO16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIntO32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIntO64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIntO8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| toiso | UVMHS.Core.Classes.Morphism, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| toiso2 | UVMHS.Core.Classes.Morphism, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| toiso3 | UVMHS.Core.Classes.Morphism, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIter | UVMHS.Core.Classes.Collections, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToIterA | UVMHS.Core.Sized, UVMHS.Core, UVMHS |
| ToIterAC | UVMHS.Core.Sized, UVMHS.Core, UVMHS |
| ToIterC | UVMHS.Core.Sized, UVMHS.Core, UVMHS |
| TokenBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| TokenClassBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| TokenClassWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokenize | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokenizeFIO | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokenizeFIOMain | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokenizeIO | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokenizeIOMain | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokens | UVMHS.Lib.Parser.ParserInput, UVMHS.Lib.Parser, UVMHS |
| TokenWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| TokRA | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| tokRegex | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| toLower | UVMHS.Core.Data.Char, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| ToNat | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNat16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNat32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNat64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNat8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNatO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNatO16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNatO32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNatO64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNatO8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| tonmd | UVMHS.Lib.Substitution.Substy, UVMHS.Lib.Substitution, UVMHS |
| ToNumber | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNumberᴾ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToNumberᴾO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| Top | |
| 1 (Type/Class) | UVMHS.Core.Classes.Lattice, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| top | UVMHS.Core.Classes.Lattice, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| TopBT | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| topMMSP | UVMHS.Lib.MMSP, UVMHS |
| topMMSPL | UVMHS.Lib.MMSP, UVMHS |
| ToRational | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToRationalO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToRationalᴾ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| ToRationalᴾO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| toUpper | UVMHS.Core.Data.Char, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| trace | UVMHS.Core.IO, UVMHS.Core, UVMHS |
| traceM | UVMHS.Core.IO, UVMHS.Core, UVMHS |
| Transformer | UVMHS.Core.Classes.Functors, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| Transitive | UVMHS.Core.Classes.Morphism, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| TreeI | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| treeIO | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| TreeO | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| tries | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Trm_SSE | UVMHS.Lib.Substitution.SubstElem |
| True | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| truncate | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| truncateᴾ | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| truncate𝕊 | UVMHS.Core.Data.Iter, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| trℕ8 | UVMHS.Core.Chunky, UVMHS.Core, UVMHS |
| Tup | UVMHS.Core.Classes.DSL, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| tup | UVMHS.Core.Classes.DSL, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| TV | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| twoOrMoreSplitNT | UVMHS.Core.Effects, UVMHS.Core, UVMHS |