Index - M
| makeBindFromBinder | DDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds |
| makeDataDefAbs | DDC.Type.DataDef |
| makeDataDefAlg | DDC.Type.DataDef |
| makeXAppsWithAnnots | DDC.Core.Compounds.Annot, DDC.Core.Compounds |
| makeXLamFlags | |
| 1 (Function) | DDC.Core.Compounds.Simple |
| 2 (Function) | DDC.Core.Compounds.Annot, DDC.Core.Compounds |
| mapBoundAtDepthT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| mapBoundAtDepthX | DDC.Core.Transform.LiftX |
| MapBoundT | DDC.Type.Transform.LiftT, DDC.Core.Transform.LiftT |
| MapBoundX | DDC.Core.Transform.LiftX |
| mapT | DDC.Core.Transform.MapT |
| mapTypeOfExportSource | DDC.Core.Module |
| mapTypeOfImportSource | DDC.Core.Module |
| member | DDC.Type.Env |
| memberBind | DDC.Type.Env |
| 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 |
| Module | DDC.Core.Module |
| moduleBody | DDC.Core.Module |
| ModuleCore | DDC.Core.Module |
| moduleDataDefsLocal | DDC.Core.Module |
| moduleExportTypes | DDC.Core.Module |
| moduleExportValues | DDC.Core.Module |
| moduleImportTypes | DDC.Core.Module |
| moduleImportValues | 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 |
| modulesExportTypes | DDC.Core.Module |
| modulesExportValues | DDC.Core.Module |
| moduleTopBinds | DDC.Core.Module |
| moduleTopBindTypes | DDC.Core.Module |
| moduleTypeEnv | DDC.Core.Module |