Index - N
| Name | |
| 1 (Type/Class) | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| NameA | |
| 1 (Data Constructor) | Examples.Lang.ArithBlocks |
| 2 (Data Constructor) | Examples.Lang.SExp |
| 3 (Data Constructor) | Examples.Lang.Arith |
| NameCBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nameCBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NameCWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nameCWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nameMark | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| nameMarkL | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| nameName | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| nameNameL | UVMHS.Lib.Substitution.Name, UVMHS.Lib.Substitution, UVMHS |
| NameTBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nameTBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NameTWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nameTWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| name_NVarL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| name_UVarL | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| name_VarL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| Nat | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| nat | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| nat16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| nat32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| nat64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| nat8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natFrChr | UVMHS.Core.Data.Char, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| natO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natO16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natO32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natO64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natO8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| Natural | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| NaturalCBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| naturalCBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NaturalCWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| naturalCWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NaturalTBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| naturalTBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NaturalTWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| naturalTWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| natΩ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natΩ16 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natΩ32 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natΩ64 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| natΩ8 | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| nbindsSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| nbindSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| neg | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| negate | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| NegateE | |
| 1 (Data Constructor) | Examples.Lang.ArithBlocks |
| 2 (Data Constructor) | Examples.Lang.Arith |
| negateEL | |
| 1 (Function) | Examples.Lang.ArithBlocks |
| 2 (Function) | Examples.Lang.Arith |
| nest𝑇A | UVMHS.Lib.TreeNested, UVMHS |
| nest𝑇D | UVMHS.Lib.TreeNested, UVMHS |
| NewlineChunkI | UVMHS.Lib.Pretty.Common, UVMHS.Lib.Pretty, UVMHS |
| NewlineClass | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NewlineCWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| newlineCWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NewlineIC | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| newlineShape | UVMHS.Lib.Pretty.Shape, UVMHS.Lib.Pretty, UVMHS |
| newlineShapeM | UVMHS.Lib.Pretty.Shape, UVMHS.Lib.Pretty, UVMHS |
| NewlineTWSBasic | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| newlineTWSBasicL | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| next | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| nextL | UVMHS.Core.Effects, UVMHS.Core, UVMHS |
| Nil | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| nilL | UVMHS.Core.Data.Lens, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| NilSpine | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| Nil𝕄S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| nintrosSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| nintroSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| nlContext | UVMHS.Lib.Parser.ParserInput, UVMHS.Lib.Parser, UVMHS |
| nlte_UNSAFE | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| nlt_UNSAFE | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| noArg | UVMHS.Lib.Options, UVMHS |
| NOBD | UVMHS.Lib.Pretty.Annotation, UVMHS.Lib.Pretty, UVMHS |
| NOBG | UVMHS.Lib.Pretty.Annotation, UVMHS.Lib.Pretty, UVMHS |
| NoCostID | |
| 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 |
| NOFG | UVMHS.Lib.Pretty.Annotation, UVMHS.Lib.Pretty, UVMHS |
| NOIT | UVMHS.Lib.Pretty.Annotation, UVMHS.Lib.Pretty, UVMHS |
| NondetT | |
| 1 (Type/Class) | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Monads, UVMHS.Core, UVMHS |
| None | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| noneL | UVMHS.Core.Data.Lens, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| not | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| NOUL | UVMHS.Lib.Pretty.Annotation, UVMHS.Lib.Pretty, UVMHS |
| now | UVMHS.Core.Time, UVMHS.Core, UVMHS |
| nshiftsSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| nshiftSubst | UVMHS.Lib.Substitution.Subst, UVMHS.Lib.Substitution, UVMHS |
| NTokRA | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| ntokRegex | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| Null | |
| 1 (Type/Class) | UVMHS.Core.Classes.Monoid, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| 2 (Data Constructor) | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| null | UVMHS.Core.Classes.Monoid, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| NullR | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| nullRegex | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| NullS | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| nullS | UVMHS.Core.Static, UVMHS.Core, UVMHS |
| nullSubst | UVMHS.Lib.Substitution.Substy |
| nulls𝕍 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| NullZOM | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| nullZOML | UVMHS.Core.Pointed, UVMHS.Core, UVMHS |
| null𝐷 | UVMHS.Core.Data.Dict, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| null𝐼 | UVMHS.Core.Init, UVMHS.Core, UVMHS |
| null𝑃 | UVMHS.Core.Data.Set, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| null𝑇V | UVMHS.Lib.TreeAnnote, UVMHS |
| null𝕌 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| null𝕌S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| null𝕍 | UVMHS.Core.Vector, UVMHS.Core, UVMHS |
| null𝕍S | UVMHS.Core.VectorStatic, UVMHS.Core, UVMHS |
| num | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| numberBOp | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| numberBOpᴾ | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| NumberClass | UVMHS.Lib.Parser.Regex, UVMHS.Lib.Parser, UVMHS |
| numer | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| numerᴾ | UVMHS.Core.Data.Arithmetic, UVMHS.Core.Data, UVMHS.Core, UVMHS |
| numᴾ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| numᴾO | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| numᴾΩ | UVMHS.Core.Classes.Arithmetic, UVMHS.Core.Classes, UVMHS.Core, UVMHS |
| NVar | |
| 1 (Type/Class) | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| 2 (Data Constructor) | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| nvarIndex | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| nvarIndexL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| NVarInf | |
| 1 (Type/Class) | UVMHS.Lib.Substitution.Var |
| 2 (Data Constructor) | UVMHS.Lib.Substitution.Var |
| nvarInfIndex | UVMHS.Lib.Substitution.Var |
| nvarInfIndexL | UVMHS.Lib.Substitution.Var |
| nvarInfName | UVMHS.Lib.Substitution.Var |
| nvarInfNameL | UVMHS.Lib.Substitution.Var |
| nvarName | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| nvarNameL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| nvar_Name | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| N_FC | UVMHS.Lib.Dataframe, UVMHS |
| n_FCL | UVMHS.Lib.Dataframe, UVMHS |
| N_FG | UVMHS.Lib.Dataframe, UVMHS |
| N_FT | UVMHS.Lib.Dataframe, UVMHS |
| n_FTL | UVMHS.Lib.Dataframe, UVMHS |
| N_FV | UVMHS.Lib.Dataframe, UVMHS |
| n_FVL | UVMHS.Lib.Dataframe, UVMHS |
| N_SGName | UVMHS.Lib.Substitution.Name |
| N_SName | UVMHS.Lib.Substitution.Name |
| N_SVar | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| n_SVarL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| N_UVar | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| n_UVarL | UVMHS.Lib.Substitution.UVar, UVMHS.Lib.Substitution, UVMHS |
| N_Var | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| N_VarInf | UVMHS.Lib.Substitution.Var |
| n_VarInfL | UVMHS.Lib.Substitution.Var |
| n_VarL | UVMHS.Lib.Substitution.Var, UVMHS.Lib.Substitution, UVMHS |
| N𝑇 | UVMHS.Lib.TreeAnnote, UVMHS |