Index - M
| makeBindFromBinder | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| makeDataDefAbs | DDC.Type.DataDef |
| makeDataDefAlg | DDC.Type.DataDef |
| makeRuns | DDC.Core.Exp.Annot |
| makeTApps | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTExists | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTForall | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTForalls | DDC.Type.Exp.Generic.Compounds |
| makeTFun | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTFuns | DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic |
| makeTFuns' | DDC.Type.Exp.Generic.Compounds |
| makeTUnions | DDC.Type.Exp.Generic.Compounds |
| makeXAbs | DDC.Core.Exp.Generic |
| makeXApps | DDC.Core.Exp.Generic |
| makeXAppsWithAnnots | DDC.Core.Exp.Annot |
| makeXLamFlags | DDC.Core.Exp.Annot |
| makeXLAMs | DDC.Core.Exp.Generic |
| makeXLams | DDC.Core.Exp.Generic |
| many | DDC.Control.Parser |
| many1 | DDC.Control.Parser |
| manyAccum | DDC.Control.Parser |
| manyTill | DDC.Control.Parser |
| mapAnnotOfExp | DDC.Core.Exp.Annot |
| mapBoundAtDepthT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| mapBoundAtDepthX | DDC.Core.Transform.BoundX |
| MapBoundT | DDC.Type.Transform.BoundT, DDC.Core.Transform.BoundT |
| MapBoundX | DDC.Core.Transform.BoundX |
| mapFeaturesOfProfile | DDC.Core.Fragment |
| mapKindOfImportType | DDC.Core.Module |
| mapProfileOfFragment | DDC.Core.Fragment |
| mapT | DDC.Core.Transform.MapT |
| mapTopBinds | DDC.Core.Module |
| mapTypeOfExportSource | DDC.Core.Module |
| mapTypeOfImportCap | DDC.Core.Module |
| mapTypeOfImportValue | DDC.Core.Module |
| member | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Data.Env |
| 3 (Function) | DDC.Core.Env.EnvT |
| memberBind | |
| 1 (Function) | DDC.Type.Env |
| 2 (Function) | DDC.Core.Env.EnvT |
| memberBindX | DDC.Core.Env.EnvX |
| memberX | DDC.Core.Env.EnvX |
| mergeErrorReply | DDC.Control.Parser |
| mkPT | DDC.Control.Parser |
| Mode | DDC.Core.Check, DDC.Core.Load |
| modeAltExp | DDC.Core.Pretty |
| modeExpAlt | DDC.Core.Pretty |
| modeExpConTypes | DDC.Core.Pretty |
| modeExpLets | DDC.Core.Pretty |
| modeExpUseLetCase | DDC.Core.Pretty |
| modeExpVarTypes | DDC.Core.Pretty |
| modeLetsExp | DDC.Core.Pretty |
| modeLetsSuppressTypes | DDC.Core.Pretty |
| modeModuleLets | DDC.Core.Pretty |
| modeModuleSuppressExports | DDC.Core.Pretty |
| modeModuleSuppressImports | DDC.Core.Pretty |
| modifyState | DDC.Control.Parser |
| Module | DDC.Core.Module |
| moduleBody | DDC.Core.Module |
| ModuleCore | DDC.Core.Module |
| moduleDataDefs | DDC.Core.Module |
| moduleDataDefsLocal | DDC.Core.Module |
| moduleEnvT | DDC.Core.Module |
| moduleEnvX | DDC.Core.Module |
| moduleExportTypes | DDC.Core.Module |
| moduleExportValues | DDC.Core.Module |
| moduleImportCaps | DDC.Core.Module |
| moduleImportDataDefs | DDC.Core.Module |
| moduleImportTypeDefs | DDC.Core.Module |
| moduleImportTypes | DDC.Core.Module |
| moduleImportValues | DDC.Core.Module |
| moduleIsHeader | DDC.Core.Module |
| moduleKindEnv | DDC.Core.Module |
| ModuleMap | DDC.Core.Module |
| ModuleName | |
| 1 (Type/Class) | DDC.Core.Module |
| 2 (Data Constructor) | DDC.Core.Module |
| moduleName | DDC.Core.Module |
| moduleNameMatchesPath | DDC.Core.Module |
| modulesEnvT | DDC.Core.Module |
| modulesEnvX | DDC.Core.Module |
| modulesExportTypes | DDC.Core.Module |
| modulesExportValues | DDC.Core.Module |
| moduleTopBinds | DDC.Core.Module |
| moduleTopBindTypes | DDC.Core.Module |
| moduleTypeDefs | DDC.Core.Module |
| moduleTypeDefsLocal | DDC.Core.Module |
| moduleTypeEnv | DDC.Core.Module |