| ## | Ermine.Syntax |
| :-> | Ermine.Syntax.Kind |
| <$$> | Ermine.Pretty |
| <+> | Ermine.Pretty |
| <//> | Ermine.Pretty |
| </> | Ermine.Pretty |
| ==> | Ermine.Syntax.Type |
| abstractAll | Ermine.Syntax.Type |
| abstractKinds | Ermine.Syntax.Type |
| add | Ermine.Monitor.Combinators, Ermine.Monitor |
| addLongg | Ermine.Builtin.Global |
| Address | Ermine.Interpreter |
| align | Ermine.Pretty |
| allConstraints | Ermine.Syntax.Type |
| allocGlobal | Ermine.Interpreter |
| allocPrimOp | Ermine.Interpreter |
| Alt | |
| 1 (Type/Class) | Ermine.Syntax.Pattern |
| 2 (Data Constructor) | Ermine.Syntax.Pattern |
| alt | Ermine.Builtin.Pattern |
| alts | Ermine.Console.Command |
| And | Ermine.Syntax.Type |
| angles | Ermine.Pretty |
| Ann | Ermine.Parser.Type |
| Annot | |
| 1 (Type/Class) | Ermine.Syntax.Type |
| 2 (Data Constructor) | Ermine.Syntax.Type |
| annot | Ermine.Syntax.Type |
| annotation | Ermine.Parser.Type |
| anyType | Ermine.Builtin.Type |
| App | |
| 1 (Type/Class) | Ermine.Syntax |
| 2 (Data Constructor) | Ermine.Syntax.Type |
| 3 (Data Constructor) | Ermine.Syntax.Core |
| 4 (Data Constructor) | Ermine.Syntax.G |
| 5 (Data Constructor) | Ermine.Syntax.Term |
| AppDict | Ermine.Syntax |
| appDicts | Ermine.Syntax |
| AppHash | Ermine.Syntax |
| appHashes | Ermine.Syntax |
| apps | Ermine.Syntax |
| arg | Ermine.Console.Command |
| ArgPP | Ermine.Syntax.Pattern |
| argPP | Ermine.Syntax.Pattern |
| Arrow | Ermine.Syntax.Type |
| arrow | Ermine.Syntax.Type |
| AsConvention | Ermine.Syntax.Convention |
| AsDecl | Ermine.Syntax.Term |
| AsDiagnostic | Ermine.Diagnostic |
| AsGlobal | Ermine.Syntax.Global |
| AsHardCore | Ermine.Syntax.Core |
| AsId | Ermine.Syntax.Id |
| askConstraint | Ermine.Constraint.Env |
| askMeta | Ermine.Unification.Meta |
| askPattern | Ermine.Pattern.Env |
| AsP | Ermine.Syntax.Pattern |
| asp | Ermine.Builtin.Pattern |
| assign | Ermine.Monitor.Combinators, Ermine.Monitor |
| Assoc | Ermine.Syntax.Global |
| B | Ermine.Syntax.Sort |
| backslash | Ermine.Pretty |
| bimemoverse | Ermine.Syntax.Type |
| Binder | |
| 1 (Type/Class) | Ermine.Builtin.Pattern |
| 2 (Data Constructor) | Ermine.Builtin.Pattern |
| Binding | |
| 1 (Type/Class) | Ermine.Syntax.Term |
| 2 (Data Constructor) | Ermine.Syntax.Term |
| binding | Ermine.Syntax.Term |
| bindingBodies | Ermine.Syntax.Term |
| bindingLoc | Ermine.Syntax.Term |
| bindings | Ermine.Builtin.Term |
| BindingType | Ermine.Syntax.Term |
| bindingType | Ermine.Syntax.Term |
| bindTerm | Ermine.Syntax.Term |
| bindTK | Ermine.Syntax.Type |
| bindType | Ermine.Syntax.Type |
| bitraverseAlt | Ermine.Syntax.Pattern |
| bitraverseScope | Ermine.Syntax.Scope |
| bitraverseScopeTK | Ermine.Syntax.Type |
| black | Ermine.Pretty |
| BlackHole | Ermine.Interpreter |
| block | Ermine.Pretty |
| blue | Ermine.Pretty |
| bodies | Ermine.Pattern.Matrix |
| Body | |
| 1 (Type/Class) | Ermine.Syntax.Term |
| 2 (Data Constructor) | Ermine.Syntax.Term |
| body | |
| 1 (Function) | Ermine.Syntax.G |
| 2 (Function) | Ermine.Builtin.Term |
| 3 (Function) | Ermine.Console.Command |
| BodyBound | Ermine.Syntax.Term |
| BodyDecl | Ermine.Syntax.Term |
| bodyDecls | Ermine.Syntax.Term |
| bodyGuarded | Ermine.Syntax.Term |
| BodyPat | Ermine.Syntax.Term |
| bodyPatterns | Ermine.Syntax.Term |
| BodyWhere | Ermine.Syntax.Term |
| bodyWhere | Ermine.Syntax.Term |
| bold | Ermine.Pretty |
| bool | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| bound | Ermine.Syntax.G |
| BoundBy | Ermine.Syntax.Scope |
| boundBy | Ermine.Syntax.Scope |
| braces | Ermine.Pretty |
| brackets | Ermine.Pretty |
| Branch | Ermine.Interpreter |
| Builtin | Ermine.Builtin.Type |
| builtin | Ermine.Builtin.Type |
| builtin_ | Ermine.Builtin.Type |
| bumpRank | Ermine.Unification.Meta |
| byInstance | Ermine.Constraint.Simplification |
| bySuper | Ermine.Constraint.Simplification |
| bySupers | Ermine.Constraint.Simplification |
| Byte | Ermine.Syntax.Literal |
| byte | Ermine.Builtin.Type |
| C | Ermine.Syntax.Convention |
| cAddLong | Ermine.Builtin.Core |
| Case | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.G |
| 3 (Data Constructor) | Ermine.Syntax.Term |
| CaseLit | Ermine.Syntax.G |
| case_ | Ermine.Syntax.Core |
| cat | Ermine.Pretty |
| cFromIntegerToInt | Ermine.Builtin.Core |
| cFromIntegerToLong | Ermine.Builtin.Core |
| Char | Ermine.Syntax.Literal |
| char | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| checkConstructorKind | Ermine.Inference.Kind |
| checkCore | Ermine.Core.Lint |
| checkDataTypeGroup | Ermine.Inference.Kind |
| checkDataTypeKind | Ermine.Inference.Kind |
| checkDataTypeKinds | Ermine.Inference.Kind |
| checkDistinct | Ermine.Unification.Meta |
| checkEscapes | Ermine.Unification.Meta |
| checkKind | Ermine.Inference.Kind |
| checkSkolems | Ermine.Unification.Meta |
| chooseNames | Ermine.Pretty |
| Class | |
| 1 (Type/Class) | Ermine.Syntax.Class |
| 2 (Data Constructor) | Ermine.Syntax.Class |
| class | Ermine.Syntax.Class |
| classes | Ermine.Constraint.Env |
| Claused | Ermine.Pattern.Matrix |
| closedType | Ermine.Syntax.Type |
| Closure | |
| 1 (Type/Class) | Ermine.Interpreter |
| 2 (Data Constructor) | Ermine.Interpreter |
| closureCode | Ermine.Interpreter |
| closureEnv | Ermine.Interpreter |
| CM | |
| 1 (Type/Class) | Ermine.Constraint.Env |
| 2 (Data Constructor) | Ermine.Constraint.Env |
| cmdName | Ermine.Console.Command |
| colCores | Ermine.Pattern.Matching |
| colon | Ermine.Pretty |
| colPaths | Ermine.Pattern.Matching |
| cols | Ermine.Pattern.Matrix |
| column | Ermine.Pretty |
| columns | Ermine.Pretty |
| comma | Ermine.Pretty |
| Command | |
| 1 (Type/Class) | Ermine.Console.Command |
| 2 (Data Constructor) | Ermine.Console.Command |
| command | Ermine.Console.Command |
| commands | Ermine.Console.Command |
| compile | |
| 1 (Function) | Ermine.Core.Compiler |
| 2 (Function) | Ermine.Pattern.Matching |
| compileBinding | |
| 1 (Function) | Ermine.Core.Compiler |
| 2 (Function) | Ermine.Pattern.Matching |
| compileBranches | Ermine.Core.Compiler |
| compileCase | Ermine.Pattern.Matching |
| compileHardCore | Ermine.Core.Compiler |
| compileLambda | Ermine.Pattern.Matching |
| Con | |
| 1 (Data Constructor) | Ermine.Syntax.Type |
| 2 (Data Constructor) | Ermine.Syntax.G |
| con | Ermine.Syntax.Type |
| ConcreteRho | Ermine.Syntax.Type |
| concreteRho | Ermine.Syntax.Type |
| ConH | Ermine.Syntax.Pattern |
| ConP | Ermine.Syntax.Pattern |
| conp | Ermine.Builtin.Pattern |
| cons | Ermine.Builtin.Core |
| consg | Ermine.Builtin.Global |
| Console | Ermine.Console.State |
| consoleIds | Ermine.Console.State |
| ConsoleState | |
| 1 (Type/Class) | Ermine.Console.State |
| 2 (Data Constructor) | Ermine.Console.State |
| consoleState | Ermine.Console.State |
| constr | Ermine.Parser.Data |
| Constraint | Ermine.Syntax.Kind |
| constraint | Ermine.Syntax.Kind |
| ConstraintEnv | |
| 1 (Type/Class) | Ermine.Constraint.Env |
| 2 (Data Constructor) | Ermine.Constraint.Env |
| constraintEnv | Ermine.Constraint.Env |
| constrs | Ermine.Syntax.Data |
| Constructor | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Type/Class) | Ermine.Syntax.Constructor |
| 3 (Data Constructor) | Ermine.Syntax.Constructor |
| constructorGlobal | Ermine.Pattern.Env |
| constructors | Ermine.Syntax.Data |
| constructorTag | Ermine.Pattern.Env |
| context | Ermine.Syntax.Class |
| Continuation | |
| 1 (Type/Class) | Ermine.Syntax.G |
| 2 (Data Constructor) | Ermine.Syntax.G |
| conv | Ermine.Syntax.Convention |
| Convention | Ermine.Syntax.Convention |
| Conventional | |
| 1 (Type/Class) | Ermine.Syntax.Convention |
| 2 (Data Constructor) | Ermine.Syntax.Convention |
| conventions | Ermine.Syntax.Pattern |
| Core | Ermine.Syntax.Core |
| core | Ermine.Syntax.Core |
| Cored | Ermine.Syntax.Core |
| Counter | |
| 1 (Type/Class) | Ermine.Monitor |
| 2 (Data Constructor) | Ermine.Monitor |
| counter | Ermine.Monitor |
| counterM | Ermine.Monitor |
| cPutStrLn | Ermine.Builtin.Core |
| cShowInt | Ermine.Builtin.Core |
| cShowLong | Ermine.Builtin.Core |
| cShowLongHash | Ermine.Builtin.Core |
| Cv | Ermine.Constraint.Env |
| cyan | Ermine.Pretty |
| 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 |
| ee | Ermine.Builtin.Type |
| eg | Ermine.Builtin.Global |
| ekinds | Ermine.Syntax.Constructor |
| empty | Ermine.Pretty |
| enclose | Ermine.Pretty |
| encloseSep | Ermine.Pretty |
| entails | Ermine.Constraint.Simplification |
| Env | |
| 1 (Type/Class) | Ermine.Interpreter |
| 2 (Data Constructor) | Ermine.Interpreter |
| equality | Ermine.Builtin.Type |
| equals | Ermine.Pretty |
| Err | |
| 1 (Data Constructor) | Ermine.Diagnostic |
| 2 (Type/Class) | Ermine.Diagnostic |
| err | Ermine.Diagnostic |
| Error | Ermine.Syntax.Core |
| etypes | Ermine.Syntax.Constructor |
| eval | Ermine.Interpreter |
| executeCommand | Ermine.Console.Command |
| Exists | Ermine.Syntax.Type |
| exists | Ermine.Syntax.Type |
| expected | Ermine.Diagnostic |
| Explicit | Ermine.Syntax.Term |
| explicit | Ermine.Builtin.Term |
| falseg | Ermine.Builtin.Global |
| FieldName | Ermine.Syntax.Type |
| FieldPP | Ermine.Syntax.Pattern |
| fieldPP | Ermine.Syntax.Pattern |
| fields | Ermine.Syntax.Constructor |
| files | Ermine.Console.Options |
| fill | Ermine.Pretty |
| fillBreak | Ermine.Pretty |
| fillCat | Ermine.Pretty |
| fillSep | Ermine.Pretty |
| finalizeBinding | Ermine.Builtin.Term |
| finalizeBindings | Ermine.Builtin.Term |
| finalizeBody | Ermine.Builtin.Term |
| Fixity | Ermine.Syntax.Global |
| fixity | Ermine.Syntax.Global |
| flatAlt | Ermine.Pretty |
| Float | Ermine.Syntax.Literal |
| float | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| footnotes | Ermine.Diagnostic |
| Forall | Ermine.Syntax.Type |
| forall | Ermine.Syntax.Type |
| forces | Ermine.Syntax.Pattern |
| Foreign | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Type/Class) | Ermine.Syntax.Core |
| foreignCxt | Ermine.Core.Lint |
| forkServer | Ermine.Monitor |
| Frame | Ermine.Interpreter |
| free | Ermine.Syntax.G |
| fresh | Ermine.Unification.Meta |
| fromInteg | Ermine.Builtin.Type |
| fromIntegerToIntg | Ermine.Builtin.Global |
| fromIntegerToLongg | Ermine.Builtin.Global |
| Fun | Ermine.Syntax |
| Func | Ermine.Syntax.G |
| functor | Ermine.Builtin.Type |
| G | Ermine.Syntax.G |
| Gauge | |
| 1 (Type/Class) | Ermine.Monitor |
| 2 (Data Constructor) | Ermine.Monitor |
| gauge | Ermine.Monitor |
| Gauged | Ermine.Monitor.Combinators, Ermine.Monitor |
| gaugeM | Ermine.Monitor |
| gbody | Ermine.Builtin.Term |
| general | Ermine.Syntax.Kind |
| generalize | Ermine.Unification.Kind |
| generalizeType | Ermine.Inference.Type |
| glob | Ermine.Syntax.Global |
| Global | |
| 1 (Type/Class) | Ermine.Syntax.Global |
| 2 (Data Constructor) | Ermine.Syntax.Global |
| 3 (Data Constructor) | Ermine.Syntax.G |
| global | Ermine.Syntax.Global |
| globalCxt | Ermine.Core.Lint |
| GlobalId | Ermine.Syntax.Id |
| globalIdent | Ermine.Parser.Global |
| green | Ermine.Pretty |
| group | Ermine.Pretty |
| Guarded | |
| 1 (Type/Class) | Ermine.Syntax.Pattern |
| 2 (Data Constructor) | Ermine.Syntax.Pattern |
| hang | Ermine.Pretty |
| HardCore | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Type/Class) | Ermine.Syntax.Core |
| hardCore | Ermine.Syntax.Core |
| HardKind | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Type/Class) | Ermine.Syntax.Kind |
| hardKind | Ermine.Syntax.Kind |
| hardline | Ermine.Pretty |
| HardTerm | |
| 1 (Data Constructor) | Ermine.Syntax.Term |
| 2 (Type/Class) | Ermine.Syntax.Term |
| hardTerm | Ermine.Syntax.Term |
| HardType | |
| 1 (Data Constructor) | Ermine.Syntax.Type |
| 2 (Type/Class) | Ermine.Syntax.Type |
| hardType | Ermine.Syntax.Type |
| HasBinding | Ermine.Syntax.Term |
| HasClass | Ermine.Syntax.Class |
| HasCommand | Ermine.Console.Command |
| HasConsoleState | Ermine.Console.State |
| HasConstraintEnv | Ermine.Constraint.Env |
| HasDiagnostic | Ermine.Diagnostic |
| HasErr | Ermine.Diagnostic |
| HasGlobal | Ermine.Syntax.Global |
| HasHead | Ermine.Syntax.Head |
| HasInstance | Ermine.Syntax.Instance |
| HasKindVars | Ermine.Syntax.Kind |
| HasMatching | Ermine.Pattern.Matching |
| HasMetaEnv | Ermine.Unification.Meta |
| HasModuleName | Ermine.Syntax.ModuleName |
| HasMonitor | Ermine.Monitor |
| HasMonitorOptions | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| HasName | Ermine.Syntax.Name |
| HasOptions | Ermine.Console.Options |
| HasPatternMatrix | Ermine.Pattern.Matrix |
| HasRendering | Ermine.Diagnostic |
| hasSkolems | Ermine.Unification.Meta |
| HasTypeVars | Ermine.Syntax.Type |
| HasWitness | Ermine.Inference.Witness |
| hcat | Ermine.Pretty |
| Head | |
| 1 (Type/Class) | Ermine.Syntax.Head |
| 2 (Data Constructor) | Ermine.Syntax.Head |
| headBoundKinds | Ermine.Syntax.Head |
| headBoundTypes | Ermine.Syntax.Head |
| headClass | Ermine.Syntax.Head |
| headKindArgs | Ermine.Syntax.Head |
| headName | Ermine.Syntax.Pattern |
| headTypeArgs | Ermine.Syntax.Head |
| head_ | Ermine.Syntax.Head |
| hfromIntegerI | Ermine.Builtin.Head |
| hfromIntegerL | Ermine.Builtin.Head |
| Hint | Ermine.Syntax.Hint |
| hlameI | Ermine.Builtin.Head |
| hlameL | Ermine.Builtin.Head |
| hoistClaused | Ermine.Pattern.Matrix |
| hoistScope | Ermine.Syntax.Scope |
| Hole | Ermine.Syntax.Term |
| hole | Ermine.Syntax.Term |
| hPutDoc | Ermine.Pretty |
| hsep | Ermine.Pretty |
| hyph | Ermine.Pretty |
| Id | |
| 1 (Type/Class) | Ermine.Syntax.Id |
| 2 (Data Constructor) | Ermine.Syntax.Core |
| Idfix | Ermine.Syntax.Global |
| Implicit | Ermine.Syntax.Term |
| implicit | Ermine.Builtin.Term |
| inc | Ermine.Monitor.Combinators, Ermine.Monitor |
| Incremental | Ermine.Monitor.Combinators, Ermine.Monitor |
| indent | Ermine.Pretty |
| inferAnnotKind | Ermine.Inference.Kind |
| inferCore | Ermine.Core.Lint |
| inferKind | Ermine.Inference.Kind |
| inferPatternType | Ermine.Inference.Type |
| inferType | Ermine.Inference.Type |
| Infix | Ermine.Syntax.Global |
| inScope | Ermine.Syntax.Scope |
| Instance | |
| 1 (Type/Class) | Ermine.Syntax.Instance |
| 2 (Data Constructor) | Ermine.Syntax.Instance |
| instanceBody | Ermine.Syntax.Instance |
| instanceContext | Ermine.Syntax.Instance |
| instanceHead | Ermine.Syntax.Instance |
| InstanceId | Ermine.Syntax.Id |
| instances | |
| 1 (Function) | Ermine.Syntax.Module |
| 2 (Function) | Ermine.Constraint.Env |
| instance_ | Ermine.Syntax.Instance |
| instantiateKinds | Ermine.Syntax.Type |
| instantiateKindVars | Ermine.Syntax.Type |
| instantiateVars | Ermine.Syntax.Scope |
| Int | Ermine.Syntax.Literal |
| int | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| Integer | Ermine.Syntax.Literal |
| integer | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| integerhg | Ermine.Builtin.Global |
| inth | |
| 1 (Function) | Ermine.Builtin.Type |
| 2 (Function) | Ermine.Builtin.Core |
| inthg | Ermine.Builtin.Global |
| io | Ermine.Builtin.Type |
| ioM | Ermine.Unification.Meta |
| irrefutable | Ermine.Syntax.Pattern |
| isRowConstraint | Ermine.Syntax.Type |
| isSignature | Ermine.Pattern.Env |
| isTrivialConstraint | Ermine.Syntax.Type |
| item | Ermine.Builtin.Pattern |
| JavaLike | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Type/Class) | Ermine.Syntax.Core |
| just | Ermine.Builtin.Core |
| justg | Ermine.Builtin.Global |
| keywords | Ermine.Parser.Keywords |
| Kind | Ermine.Syntax.Kind |
| kind | Ermine.Parser.Kind |
| kindArgs | Ermine.Syntax.Class |
| kindIdent | Ermine.Parser.Style |
| kindIdentifier | Ermine.Parser.Style |
| Kindly | Ermine.Syntax.Kind |
| KindM | Ermine.Unification.Meta |
| kindOccurs | Ermine.Unification.Kind |
| kindVars | Ermine.Syntax.Kind |
| kparams | Ermine.Syntax.Data |
| L | Ermine.Syntax.Global |
| Label | |
| 1 (Type/Class) | Ermine.Monitor |
| 2 (Data Constructor) | Ermine.Monitor |
| label | Ermine.Monitor |
| labelM | Ermine.Monitor |
| Lam | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.Term |
| lam | |
| 1 (Function) | Ermine.Syntax.Core |
| 2 (Function) | Ermine.Builtin.Term |
| lambda | Ermine.Syntax.Core |
| LambdaForm | |
| 1 (Type/Class) | Ermine.Syntax.G |
| 2 (Data Constructor) | Ermine.Syntax.G |
| lambdaPatterns | Ermine.Pretty.Pattern |
| lame | Ermine.Builtin.Type |
| langle | Ermine.Pretty |
| LazyP | Ermine.Syntax.Pattern |
| lazyp | Ermine.Builtin.Pattern |
| lbrace | Ermine.Pretty |
| lbracket | Ermine.Pretty |
| LeafPP | Ermine.Syntax.Pattern |
| leafPP | Ermine.Syntax.Pattern |
| Let | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.G |
| 3 (Data Constructor) | Ermine.Syntax.Term |
| letBlock | Ermine.Parser.Term |
| LetRec | Ermine.Syntax.G |
| letrec | Ermine.Syntax.Core |
| let_ | |
| 1 (Function) | Ermine.Syntax.Core |
| 2 (Function) | Ermine.Builtin.Term |
| libdir | Ermine.Console.Options |
| line | Ermine.Pretty |
| linebreak | Ermine.Pretty |
| Lint | |
| 1 (Type/Class) | Ermine.Core.Lint |
| 2 (Data Constructor) | Ermine.Core.Lint |
| LintEnv | |
| 1 (Type/Class) | Ermine.Core.Lint |
| 2 (Data Constructor) | Ermine.Core.Lint |
| list | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| Lit | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.G |
| 3 (Data Constructor) | Ermine.Syntax.Term |
| 4 (Type/Class) | Ermine.Builtin.Core |
| lit | Ermine.Builtin.Core |
| Literal | Ermine.Syntax.Literal |
| literal | Ermine.Parser.Literal |
| literalg | Ermine.Builtin.Global |
| LitH | Ermine.Syntax.Pattern |
| LitP | Ermine.Syntax.Pattern |
| litp | Ermine.Builtin.Pattern |
| lits | Ermine.Builtin.Core |
| litTerm | Ermine.Syntax.Term |
| Loc | |
| 1 (Data Constructor) | Ermine.Syntax.Type |
| 2 (Data Constructor) | Ermine.Syntax.Term |
| Local | Ermine.Syntax.G |
| localConstraint | Ermine.Constraint.Env |
| Localized | Ermine.Pattern.Matrix |
| localMeta | Ermine.Unification.Meta |
| logo | Ermine.Version |
| Long | Ermine.Syntax.Literal |
| long | Ermine.Builtin.Type |
| longh | |
| 1 (Function) | Ermine.Builtin.Type |
| 2 (Function) | Ermine.Builtin.Core |
| longhg | Ermine.Builtin.Global |
| lparen | Ermine.Pretty |
| M | Ermine.Unification.Meta |
| MachineState | |
| 1 (Type/Class) | Ermine.Interpreter |
| 2 (Data Constructor) | Ermine.Interpreter |
| magenta | Ermine.Pretty |
| manyPaths | Ermine.Syntax.Pattern |
| Match | |
| 1 (Type/Class) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.Core |
| matchArgs | Ermine.Syntax.Core |
| matchBody | Ermine.Syntax.Core |
| matchFunType | Ermine.Inference.Type |
| matchGlobal | Ermine.Syntax.Core |
| Matching | |
| 1 (Type/Class) | Ermine.Pattern.Matching |
| 2 (Data Constructor) | Ermine.Pattern.Matching |
| matching | Ermine.Pattern.Matching |
| maybe_ | Ermine.Builtin.Type |
| memoverse | Ermine.Syntax.Type |
| mergeConstraints | Ermine.Syntax.Type |
| mergeScope | Ermine.Syntax.Scope |
| Meta | |
| 1 (Type/Class) | Ermine.Unification.Meta |
| 2 (Data Constructor) | Ermine.Unification.Meta |
| metaDepth | Ermine.Unification.Meta |
| MetaEnv | Ermine.Unification.Meta |
| metaEnv | Ermine.Unification.Meta |
| metaFresh | Ermine.Unification.Meta |
| metaHint | Ermine.Unification.Meta |
| metaId | Ermine.Unification.Meta |
| MetaK | Ermine.Unification.Meta |
| metaMemory | Ermine.Unification.Meta |
| metaRank | Ermine.Unification.Meta |
| metaRef | Ermine.Unification.Meta |
| metaRendering | Ermine.Unification.Meta |
| MetaT | Ermine.Unification.Meta |
| metaValue | Ermine.Unification.Meta |
| Method | Ermine.Syntax.Core |
| mkHead | Ermine.Syntax.Head |
| mkModuleName | Ermine.Syntax.ModuleName |
| mkModuleName_ | Ermine.Syntax.ModuleName |
| Module | |
| 1 (Type/Class) | Ermine.Syntax.Module |
| 2 (Data Constructor) | Ermine.Syntax.Module |
| ModuleName | |
| 1 (Type/Class) | Ermine.Syntax.ModuleName |
| 2 (Data Constructor) | Ermine.Syntax.ModuleName |
| module_ | Ermine.Syntax.ModuleName |
| MonadConstraint | Ermine.Constraint.Env |
| MonadMeta | Ermine.Unification.Meta |
| MonadPattern | Ermine.Pattern.Env |
| Monitor | |
| 1 (Type/Class) | Ermine.Monitor |
| 2 (Data Constructor) | Ermine.Monitor |
| monitor | Ermine.Monitor |
| monitorEnabled | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| monitorHost | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| monitorOpen | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| MonitorOptions | |
| 1 (Type/Class) | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| 2 (Data Constructor) | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| monitorOptions | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| monitorPort | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| monitorServer | Ermine.Monitor |
| monitorUri | Ermine.Monitor.Options, Ermine.Monitor |
| N | |
| 1 (Data Constructor) | Ermine.Syntax.Sort |
| 2 (Data Constructor) | Ermine.Syntax.Global |
| 3 (Data Constructor) | Ermine.Syntax.Convention |
| name | Ermine.Syntax.Name |
| names | Ermine.Pretty |
| Native | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Data Constructor) | Ermine.Syntax.G |
| 3 (Type/Class) | Ermine.Syntax.G |
| native | Ermine.Syntax.Kind |
| nest | Ermine.Pretty |
| nesting | Ermine.Pretty |
| newMeta | Ermine.Unification.Meta |
| newShallowMeta | Ermine.Unification.Meta |
| nil | Ermine.Builtin.Core |
| nilg | Ermine.Builtin.Global |
| note | Ermine.Builtin.Pattern |
| noted | Ermine.Builtin.Pattern |
| nothing | Ermine.Builtin.Core |
| nothingg | Ermine.Builtin.Global |
| noUpdate | Ermine.Syntax.G |
| onblack | Ermine.Pretty |
| onblue | Ermine.Pretty |
| oncyan | Ermine.Pretty |
| ondullblack | Ermine.Pretty |
| ondullblue | Ermine.Pretty |
| ondullcyan | Ermine.Pretty |
| ondullgreen | Ermine.Pretty |
| ondullmagenta | Ermine.Pretty |
| ondullred | Ermine.Pretty |
| ondullwhite | Ermine.Pretty |
| ondullyellow | Ermine.Pretty |
| ongreen | Ermine.Pretty |
| onmagenta | Ermine.Pretty |
| onred | Ermine.Pretty |
| onwhite | Ermine.Pretty |
| onyellow | Ermine.Pretty |
| op | Ermine.Parser.Style |
| operator | Ermine.Parser.Style |
| optimize | Ermine.Core.Optimizer |
| Options | |
| 1 (Type/Class) | Ermine.Console.Options |
| 2 (Data Constructor) | Ermine.Console.Options |
| options | Ermine.Console.Options |
| optionsMonitorOptions | Ermine.Console.Options |
| otherKeywords | Ermine.Parser.Keywords |
| P | Ermine.Builtin.Pattern |
| package | Ermine.Syntax.ModuleName |
| packFixity | Ermine.Syntax.Global |
| papArity | Ermine.Interpreter |
| parens | Ermine.Pretty |
| parensIf | Ermine.Pretty |
| parseMonitorOptions | Ermine.Monitor.Options, Ermine.Monitor |
| parseOptions | Ermine.Console.Options |
| PartialApplication | Ermine.Interpreter |
| pathMap | Ermine.Pattern.Matching |
| paths | Ermine.Syntax.Pattern |
| Pattern | Ermine.Syntax.Pattern |
| pattern | Ermine.Parser.Pattern |
| pattern0 | Ermine.Parser.Pattern |
| pattern1 | Ermine.Parser.Pattern |
| PatternEnv | |
| 1 (Type/Class) | Ermine.Pattern.Env |
| 2 (Data Constructor) | Ermine.Pattern.Env |
| PatternHead | Ermine.Syntax.Pattern |
| patternHead | Ermine.Syntax.Pattern |
| PatternMatrix | |
| 1 (Type/Class) | Ermine.Pattern.Matrix |
| 2 (Data Constructor) | Ermine.Pattern.Matrix |
| patternMatrix | Ermine.Pattern.Matrix |
| PatternPath | Ermine.Syntax.Pattern |
| PatternPaths | Ermine.Syntax.Pattern |
| Phi | Ermine.Syntax.Kind |
| phi | Ermine.Syntax.Kind |
| plain | Ermine.Pretty |
| plam | Ermine.Pattern.Matching |
| Postfix | Ermine.Syntax.Global |
| PP | Ermine.Parser.Pattern |
| PreBinding | |
| 1 (Type/Class) | Ermine.Builtin.Term |
| 2 (Data Constructor) | Ermine.Builtin.Term |
| PreBody | |
| 1 (Type/Class) | Ermine.Builtin.Term |
| 2 (Data Constructor) | Ermine.Builtin.Term |
| PreClosure | |
| 1 (Type/Class) | Ermine.Syntax.G |
| 2 (Data Constructor) | Ermine.Syntax.G |
| Prefix | Ermine.Syntax.Global |
| prePunctuate | Ermine.Pretty |
| prePunctuate' | Ermine.Pretty |
| Pretty | Ermine.Pretty |
| pretty | Ermine.Pretty |
| prettyAlt | Ermine.Pretty.Pattern |
| prettyCore | Ermine.Pretty.Core |
| prettyG | Ermine.Pretty.G |
| prettyGlobal | Ermine.Pretty.Global |
| prettyGuarded | Ermine.Pretty.Pattern |
| prettyHardCore | Ermine.Pretty.Core |
| prettyHardKind | Ermine.Pretty.Kind |
| prettyHardTerm | Ermine.Pretty.Term |
| prettyHardType | Ermine.Pretty.Type |
| prettyId | Ermine.Pretty.Core |
| prettyKind | Ermine.Pretty.Kind |
| prettyList | Ermine.Pretty |
| prettyLiteral | Ermine.Pretty.Literal |
| prettyPattern | Ermine.Pretty.Pattern |
| prettySchema | Ermine.Pretty.Kind |
| prettyTerm | Ermine.Pretty.Term |
| prettyType | Ermine.Pretty.Type |
| prettyTypeSchema | Ermine.Pretty.Type |
| Prim | Ermine.Syntax.Core |
| prim | Ermine.Syntax.Core |
| PrimClosure | Ermine.Interpreter |
| primOpNN | Ermine.Interpreter |
| primOpNNN | Ermine.Interpreter |
| primOpNU | Ermine.Interpreter |
| primOpNZ | Ermine.Interpreter |
| primOpUN | Ermine.Interpreter |
| primOpUUU | Ermine.Interpreter |
| prune | Ermine.Syntax.Pattern |
| punctuate | Ermine.Pretty |
| putDoc | Ermine.Pretty |
| putStrLng | Ermine.Builtin.Global |
| quantBindings | Ermine.Parser.Type |
| quantifier | Ermine.Parser.Type |
| R | Ermine.Syntax.Global |
| rangle | Ermine.Pretty |
| Rank | Ermine.Unification.Meta |
| rational | Ermine.Pretty |
| Raw | Ermine.Pattern.Matrix |
| rbrace | Ermine.Pretty |
| rbracket | Ermine.Pretty |
| readMeta | Ermine.Unification.Meta |
| reason | Ermine.Diagnostic |
| rebind | Ermine.Syntax.Scope |
| red | Ermine.Pretty |
| Ref | |
| 1 (Type/Class) | Ermine.Syntax.G |
| 2 (Data Constructor) | Ermine.Syntax.G |
| Remember | Ermine.Syntax.Term |
| remember | Ermine.Unification.Meta |
| renderCompact | Ermine.Pretty |
| Rendering | Ermine.Diagnostic |
| rendering | Ermine.Diagnostic |
| renderingDelta | Ermine.Diagnostic |
| renderingLine | Ermine.Diagnostic |
| renderingLineBytes | Ermine.Diagnostic |
| renderingLineLen | Ermine.Diagnostic |
| renderingOverlays | Ermine.Diagnostic |
| renderPretty | Ermine.Pretty |
| renderSmart | Ermine.Pretty |
| rewriteCore | Ermine.Core.Optimizer |
| rewriteCoreDown | Ermine.Core.Optimizer |
| Rho | Ermine.Syntax.Kind |
| rho | Ermine.Syntax.Kind |
| rparen | Ermine.Pretty |
| runCM | Ermine.Constraint.Env |
| runCounter | Ermine.Monitor |
| runGauge | Ermine.Monitor |
| runLabel | Ermine.Monitor |
| runLint | Ermine.Core.Lint |
| runM | Ermine.Unification.Meta |
| runM_ | Ermine.Unification.Meta |
| runSharing | Ermine.Unification.Sharing |
| say | Ermine.Pretty |
| sayLn | Ermine.Pretty |
| SChar | Ermine.Pretty |
| Schema | |
| 1 (Type/Class) | Ermine.Syntax.Kind |
| 2 (Data Constructor) | Ermine.Syntax.Kind |
| schema | Ermine.Syntax.Kind |
| semi | Ermine.Pretty |
| semiBraces | Ermine.Pretty |
| semiprune | Ermine.Unification.Meta |
| SEmpty | Ermine.Pretty |
| sep | Ermine.Pretty |
| serializeAlt3 | Ermine.Syntax.Pattern |
| serializeScope3 | Ermine.Syntax.Scope |
| serializeTK | Ermine.Syntax.Type |
| Server | Ermine.Monitor |
| Setting | Ermine.Monitor.Combinators, Ermine.Monitor |
| settings | Ermine.Console.Completion |
| SFail | Ermine.Pretty |
| shapely | Ermine.Builtin.Term |
| Shared | |
| 1 (Type/Class) | Ermine.Unification.Sharing |
| 2 (Data Constructor) | Ermine.Unification.Sharing |
| sharing | Ermine.Unification.Sharing |
| SharingT | |
| 1 (Type/Class) | Ermine.Unification.Sharing |
| 2 (Data Constructor) | Ermine.Unification.Sharing |
| Short | Ermine.Syntax.Literal |
| short | Ermine.Builtin.Type |
| showIntg | Ermine.Builtin.Global |
| showLongg | Ermine.Builtin.Global |
| ShutdownMonitor | |
| 1 (Type/Class) | Ermine.Monitor.Exception |
| 2 (Data Constructor) | Ermine.Monitor.Exception |
| Sig | Ermine.Syntax.Term |
| signatures | Ermine.Pattern.Env |
| SigP | Ermine.Syntax.Pattern |
| sigp | Ermine.Builtin.Pattern |
| SimpleDoc | Ermine.Pretty |
| simplifyVia | Ermine.Constraint.Simplification |
| SLine | Ermine.Pretty |
| Slot | |
| 1 (Data Constructor) | Ermine.Syntax.Core |
| 2 (Data Constructor) | Ermine.Syntax.G |
| slot | Ermine.Syntax.Core |
| slots | Ermine.Syntax.Core |
| softbreak | Ermine.Pretty |
| softline | Ermine.Pretty |
| someTypVarBindings | Ermine.Parser.Type |
| Sort | Ermine.Syntax.Sort |
| sort | Ermine.Syntax.Sort |
| Sorted | |
| 1 (Type/Class) | Ermine.Syntax.Sort |
| 2 (Data Constructor) | Ermine.Syntax.Sort |
| SortRef | |
| 1 (Type/Class) | Ermine.Core.Compiler |
| 2 (Data Constructor) | Ermine.Core.Compiler |
| space | Ermine.Pretty |
| splitOn | Ermine.Pattern.Matrix |
| splitScope | Ermine.Syntax.Scope |
| squote | Ermine.Pretty |
| squotes | Ermine.Pretty |
| SSGR | Ermine.Pretty |
| Stack | Ermine.Syntax.G |
| standardConstructor | Ermine.Syntax.G |
| Star | Ermine.Syntax.Kind |
| star | Ermine.Syntax.Kind |
| startingKeywords | Ermine.Parser.Keywords |
| SText | Ermine.Pretty |
| strict | Ermine.Syntax.Convention |
| StrictP | Ermine.Syntax.Pattern |
| strictp | Ermine.Builtin.Pattern |
| String | Ermine.Syntax.Literal |
| string | |
| 1 (Function) | Ermine.Pretty |
| 2 (Function) | Ermine.Builtin.Type |
| stringg | Ermine.Builtin.Global |
| stringh | |
| 1 (Function) | Ermine.Builtin.Type |
| 2 (Function) | Ermine.Builtin.Core |
| stringhg | Ermine.Builtin.Global |
| sub | Ermine.Monitor.Combinators, Ermine.Monitor |
| Super | Ermine.Syntax.Core |
| super | Ermine.Syntax.Core |
| superclasses | Ermine.Constraint.Env |
| supers | Ermine.Syntax.Core |
| tabbed | Ermine.Console.Command |
| Tag | Ermine.Syntax.G |
| Term | Ermine.Syntax.Term |
| term | Ermine.Parser.Term |
| termCon | Ermine.Parser.Style |
| termExports | Ermine.Syntax.Module |
| termIdent | Ermine.Parser.Style |
| termIdentifier | Ermine.Parser.Style |
| Terminal | Ermine.Syntax.Term |
| terms | Ermine.Parser.Term |
| text | Ermine.Pretty |
| throwM | Ermine.Unification.Meta |
| TK | Ermine.Syntax.Type |
| tparams | Ermine.Syntax.Data |
| trace | Ermine.Interpreter |
| transverseScope | Ermine.Syntax.Scope |
| traverseHead | Ermine.Syntax.Pattern |
| triverseMatch | Ermine.Syntax.Core |
| trueg | Ermine.Builtin.Global |
| Tup | Ermine.Syntax |
| tup | Ermine.Syntax |
| tup' | Ermine.Syntax |
| TupH | Ermine.Syntax.Pattern |
| Tuple | |
| 1 (Data Constructor) | Ermine.Syntax.Type |
| 2 (Data Constructor) | Ermine.Syntax.Term |
| tuple | Ermine.Syntax.Type |
| tupled | Ermine.Pretty |
| tupleg | Ermine.Builtin.Global |
| TupP | Ermine.Syntax.Pattern |
| Typ | Ermine.Parser.Type |
| typ | Ermine.Parser.Type |
| typ0 | Ermine.Parser.Type |
| Type | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Type/Class) | Ermine.Syntax.Type |
| typeArgs | Ermine.Syntax.Class |
| typeCon | Ermine.Parser.Style |
| typeIdent | Ermine.Parser.Style |
| typeIdentifier | Ermine.Parser.Style |
| TypeM | Ermine.Unification.Meta |
| typeParameters | Ermine.Syntax.Data |
| types | Ermine.Syntax.Module |
| typeVars | Ermine.Syntax.Type |
| Typical | Ermine.Syntax.Type |
| typVarBinding | Ermine.Parser.Type |
| typVarBindings | Ermine.Parser.Type |
| U | |
| 1 (Data Constructor) | Ermine.Syntax.Sort |
| 2 (Data Constructor) | Ermine.Syntax.Convention |
| Unboxed | Ermine.Syntax.Kind |
| unboxed | Ermine.Syntax.Kind |
| uncaring | Ermine.Unification.Sharing |
| underline | Ermine.Pretty |
| Unguarded | Ermine.Syntax.Pattern |
| unifyKind | Ermine.Unification.Kind |
| unifyKindVar | Ermine.Unification.Kind |
| unifyType | Ermine.Unification.Type |
| Unknown | Ermine.Syntax.Core |
| unpackFixity | Ermine.Syntax.Global |
| unsharingT | Ermine.Unification.Sharing |
| Update | Ermine.Interpreter |
| update | |
| 1 (Function) | Ermine.Monitor.Combinators, Ermine.Monitor |
| 2 (Function) | Ermine.Syntax.G |
| Updating | Ermine.Monitor.Combinators, Ermine.Monitor |
| validate | Ermine.Parser.Pattern |
| Value | Ermine.Syntax.Core |
| Var | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Data Constructor) | Ermine.Syntax.Type |
| 3 (Data Constructor) | Ermine.Syntax.Core |
| 4 (Data Constructor) | Ermine.Syntax.Term |
| Variable | Ermine.Syntax |
| variables | Ermine.Core.Lint |
| varp | Ermine.Builtin.Pattern |
| vars | Ermine.Builtin.Pattern |
| vcat | Ermine.Pretty |
| version | Ermine.Version |
| viewConstraint | Ermine.Constraint.Env |
| viewMeta | Ermine.Unification.Meta |
| vsep | Ermine.Pretty |
| wfb | Ermine.Syntax.Kind |
| wfk | Ermine.Syntax.Kind |
| WhereBound | Ermine.Syntax.Term |
| WhereDecl | Ermine.Syntax.Term |
| WherePat | Ermine.Syntax.Term |
| white | Ermine.Pretty |
| width | Ermine.Pretty |
| WildcardP | Ermine.Syntax.Pattern |
| with | Ermine.Core.Lint |
| withMonitor | Ermine.Monitor |
| withServer | Ermine.Monitor |
| withSharing | Ermine.Unification.Sharing |
| withUnicode | Ermine.Console.Unicode |
| Witness | |
| 1 (Type/Class) | Ermine.Inference.Witness |
| 2 (Data Constructor) | Ermine.Inference.Witness |
| witness | Ermine.Inference.Witness |
| witnessCore | Ermine.Inference.Witness |
| witnessRowConstraints | Ermine.Inference.Witness |
| witnessType | Ermine.Inference.Witness |
| writeMeta | Ermine.Unification.Meta |
| yellow | Ermine.Pretty |
| zonk | Ermine.Unification.Meta |
| zonkConstructor | Ermine.Unification.Data |
| zonkDataType | Ermine.Unification.Data |
| zonkKindsAndTypes | Ermine.Unification.Type |
| zonkKindsAndTypesWith | Ermine.Unification.Type |
| zonkScope | Ermine.Unification.Meta |
| zonkScope_ | Ermine.Unification.Meta |
| zonkWith | Ermine.Unification.Meta |
| zonk_ | Ermine.Unification.Meta |
| _alts | Ermine.Console.Command |
| _App | Ermine.Syntax |
| _AppDict | Ermine.Syntax |
| _AppHash | Ermine.Syntax |
| _arg | Ermine.Console.Command |
| _AsP | Ermine.Syntax.Pattern |
| _bindingBodies | Ermine.Syntax.Term |
| _bindingLoc | Ermine.Syntax.Term |
| _bindingType | Ermine.Syntax.Term |
| _bodies | Ermine.Pattern.Matrix |
| _body | Ermine.Console.Command |
| _bodyGuarded | Ermine.Syntax.Term |
| _bodyPatterns | Ermine.Syntax.Term |
| _bodyWhere | Ermine.Syntax.Term |
| _classes | Ermine.Constraint.Env |
| _closureCode | Ermine.Interpreter |
| _closureEnv | Ermine.Interpreter |
| _cmdName | Ermine.Console.Command |
| _colCores | Ermine.Pattern.Matching |
| _colPaths | Ermine.Pattern.Matching |
| _cols | Ermine.Pattern.Matrix |
| _ConH | Ermine.Syntax.Pattern |
| _ConP | Ermine.Syntax.Pattern |
| _ConP' | Ermine.Syntax.Pattern |
| _consoleIds | Ermine.Console.State |
| _Convention | Ermine.Syntax.Convention |
| _Decl | Ermine.Syntax.Term |
| _desc | Ermine.Console.Command |
| _Diagnostic | Ermine.Diagnostic |
| _envB | Ermine.Interpreter |
| _envN | Ermine.Interpreter |
| _envU | Ermine.Interpreter |
| _Error | Ermine.Syntax.Core |
| _Explicit | Ermine.Syntax.Term |
| _files | Ermine.Console.Options |
| _Fixity | Ermine.Syntax.Global |
| _Foreign | Ermine.Syntax.Core |
| _foreignCxt | Ermine.Core.Lint |
| _fp | Ermine.Interpreter |
| _Fun | Ermine.Syntax |
| _genv | Ermine.Interpreter |
| _Global | |
| 1 (Function) | Ermine.Syntax.Global |
| 2 (Function) | Ermine.Syntax.G |
| _globalCxt | Ermine.Core.Lint |
| _HardCore | Ermine.Syntax.Core |
| _hash | Ermine.Syntax.Head |
| _headBoundKinds | Ermine.Syntax.Head |
| _headBoundTypes | Ermine.Syntax.Head |
| _headClass | Ermine.Syntax.Head |
| _headDigest | Ermine.Syntax.Head |
| _headKindArgs | Ermine.Syntax.Head |
| _headTypeArgs | Ermine.Syntax.Head |
| _Id | Ermine.Syntax.Id |
| _Implicit | Ermine.Syntax.Term |
| _instanceBody | Ermine.Syntax.Instance |
| _instanceContext | Ermine.Syntax.Instance |
| _instanceHead | Ermine.Syntax.Instance |
| _InstanceId | Ermine.Syntax.Id |
| _instances | Ermine.Constraint.Env |
| _LazyP | Ermine.Syntax.Pattern |
| _libdir | Ermine.Console.Options |
| _Lit | |
| 1 (Function) | Ermine.Syntax.Core |
| 2 (Function) | Ermine.Syntax.G |
| _LitP | Ermine.Syntax.Pattern |
| _LitP' | Ermine.Syntax.Pattern |
| _Local | Ermine.Syntax.G |
| _matchArgs | Ermine.Syntax.Core |
| _matchBody | Ermine.Syntax.Core |
| _matchGlobal | Ermine.Syntax.Core |
| _monitorEnabled | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| _monitorHost | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| _monitorOpen | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| _monitorOptions | Ermine.Monitor |
| _monitorPort | Ermine.Monitor.Options, Ermine.Monitor, Ermine.Console.Options |
| _monitorServer | Ermine.Monitor |
| _Native | Ermine.Syntax.G |
| _optionsMonitorOptions | Ermine.Console.Options |
| _p | Ermine.Builtin.Pattern |
| _papArity | Ermine.Interpreter |
| _pathMap | Ermine.Pattern.Matching |
| _Ref | Ermine.Syntax.G |
| _Scope | Ermine.Syntax.Scope |
| _SigP | Ermine.Syntax.Pattern |
| _Slot | Ermine.Syntax.Core |
| _sp | Ermine.Interpreter |
| _Stack | Ermine.Syntax.G |
| _stackB | Ermine.Interpreter |
| _stackF | Ermine.Interpreter |
| _stackN | Ermine.Interpreter |
| _stackU | Ermine.Interpreter |
| _StrictP | Ermine.Syntax.Pattern |
| _Super | Ermine.Syntax.Core |
| _tabbed | Ermine.Console.Command |
| _trace | Ermine.Interpreter |
| _Tup | Ermine.Syntax |
| _TupH | Ermine.Syntax.Pattern |
| _TupP | Ermine.Syntax.Pattern |
| _UnsafeNative | Ermine.Syntax.G |
| _Var | Ermine.Syntax |
| _variables | Ermine.Core.Lint |
| _WildcardP | Ermine.Syntax.Pattern |
| __monitorOptions | Ermine.Monitor |
| ~> | Ermine.Syntax |
| ~~> | Ermine.Syntax.Type |