| 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 |