Index - D
| D | Ermine.Syntax.Convention |
| Data | Ermine.Syntax.Core |
| DataCon | Ermine.Syntax.Term |
| dataCon | |
| 1 (Function) | Ermine.Syntax.Core |
| 2 (Function) | Ermine.Builtin.Term |
| dataDecls | Ermine.Syntax.Module |
| DataType | |
| 1 (Type/Class) | Ermine.Syntax.Data |
| 2 (Data Constructor) | Ermine.Syntax.Data |
| dataType | Ermine.Parser.Data |
| dataTypeSchema | Ermine.Syntax.Data |
| debold | Ermine.Pretty |
| dec | Ermine.Monitor.Combinators, Ermine.Monitor |
| declarations | Ermine.Parser.Term |
| defaultCxt | Ermine.Pretty.G |
| defaultMachineState | Ermine.Interpreter |
| defaultOn | Ermine.Pattern.Matrix |
| definitions | Ermine.Syntax.Module |
| Depth | Ermine.Unification.Meta |
| depthInf | Ermine.Unification.Meta |
| desc | Ermine.Console.Command |
| deserializeAlt3 | Ermine.Syntax.Pattern |
| deserializeScope3 | Ermine.Syntax.Scope |
| deserializeTK | Ermine.Syntax.Type |
| deunderline | Ermine.Pretty |
| Diagnostic | |
| 1 (Type/Class) | Ermine.Diagnostic |
| 2 (Data Constructor) | Ermine.Diagnostic |
| diagnostic | Ermine.Diagnostic |
| diagnosticExpected | Ermine.Diagnostic |
| diagnosticMessage | Ermine.Diagnostic |
| diagnosticNotes | Ermine.Diagnostic |
| diagnosticRendering | Ermine.Diagnostic |
| Dict | Ermine.Syntax.Core |
| dictionary | Ermine.Syntax.G |
| die | Ermine.Diagnostic |
| digest | Ermine.Syntax.Digest |
| digest1 | Ermine.Syntax.Digest |
| Digestable | Ermine.Syntax.Digest |
| Digestable1 | Ermine.Syntax.Digest |
| digestList | Ermine.Syntax.Digest |
| displayIO | Ermine.Pretty |
| displayS | Ermine.Pretty |
| Doc | Ermine.Pretty |
| dot | Ermine.Pretty |
| Double | Ermine.Syntax.Literal |
| double | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| doUpdate | Ermine.Syntax.G |
| dquote | Ermine.Pretty |
| dquotes | Ermine.Pretty |
| dullblack | Ermine.Pretty |
| dullblue | Ermine.Pretty |
| dullcyan | Ermine.Pretty |
| dullgreen | Ermine.Pretty |
| dullmagenta | Ermine.Pretty |
| dullred | Ermine.Pretty |
| dullwhite | Ermine.Pretty |
| dullyellow | Ermine.Pretty |
| dummyConstraintEnv | Ermine.Constraint.Env |
| dummyPatternEnv | Ermine.Pattern.Env |