Index - M
| Macro | FreeC.Backend.Agda.Syntax |
| MacroDef | FreeC.Backend.Agda.Syntax |
| makeInstance | FreeC.Backend.Agda.Syntax |
| makeInstance' | FreeC.Backend.Agda.Syntax |
| makeModuleAvailable | FreeC.Environment |
| makePi | FreeC.Backend.Agda.Syntax |
| mapArgInfo | FreeC.Backend.Agda.Syntax |
| mapChildrenWithDepthMaps | FreeC.Backend.Coq.Analysis.DecreasingArguments |
| mapCohesion | FreeC.Backend.Agda.Syntax |
| mapCohesionMod | FreeC.Backend.Agda.Syntax |
| mapComponent | FreeC.IR.DependencyGraph |
| mapComponentM | FreeC.IR.DependencyGraph |
| mapComponentM_ | FreeC.IR.DependencyGraph |
| mapFreeVariables | FreeC.Backend.Agda.Syntax |
| mapFreeVariablesArgInfo | FreeC.Backend.Agda.Syntax |
| mapHiding | FreeC.Backend.Agda.Syntax |
| mapHidingArgInfo | FreeC.Backend.Agda.Syntax |
| mapInScope | FreeC.Backend.Agda.Syntax |
| mapModality | FreeC.Backend.Agda.Syntax |
| mapModalityArgInfo | FreeC.Backend.Agda.Syntax |
| mapNameOf | FreeC.Backend.Agda.Syntax |
| mapOrigin | FreeC.Backend.Agda.Syntax |
| mapOriginArgInfo | FreeC.Backend.Agda.Syntax |
| mapQuantity | FreeC.Backend.Agda.Syntax |
| mapQuantityMod | FreeC.Backend.Agda.Syntax |
| mapRelevance | FreeC.Backend.Agda.Syntax |
| mapRelevanceMod | FreeC.Backend.Agda.Syntax |
| mapSubterms | FreeC.IR.Subterm |
| mapSubtermsM | FreeC.IR.Subterm |
| mapUsing | FreeC.Backend.Agda.Syntax |
| Match | FreeC.Backend.Coq.Syntax |
| match | FreeC.Backend.Coq.Syntax |
| MatchItem | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| MaybePlaceholder | FreeC.Backend.Agda.Syntax |
| MdFileType | FreeC.Backend.Agda.Syntax |
| MeasureOrder | FreeC.Backend.Coq.Syntax |
| mergeHiding | FreeC.Backend.Agda.Syntax |
| Message | |
| 1 (Type/Class) | FreeC.Monad.Reporter |
| 2 (Data Constructor) | FreeC.Monad.Reporter |
| messages | FreeC.Monad.Reporter |
| MetaId | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| metaId | FreeC.Backend.Agda.Syntax |
| Middle | FreeC.Backend.Agda.Syntax |
| mkBinder | FreeC.Backend.Agda.Syntax |
| mkBinder_ | FreeC.Backend.Agda.Syntax |
| mkBoundName | FreeC.Backend.Agda.Syntax |
| mkBoundName_ | FreeC.Backend.Agda.Syntax |
| mkIdentToken | FreeC.Frontend.IR.Token |
| mkSrcFile | FreeC.IR.SrcSpan |
| mkSrcFileMap | FreeC.IR.SrcSpan |
| mkSymbolToken | FreeC.Frontend.IR.Token |
| mkTypeVarSubst | FreeC.IR.Subst |
| mkVarSubst | FreeC.IR.Subst |
| Modality | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| modCohesion | FreeC.Backend.Agda.Syntax |
| modContents | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modFuncDecls | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modifyEntryIdent | FreeC.Environment |
| modifyEnv | FreeC.Monad.Converter |
| modifyEnv' | FreeC.Monad.Converter |
| modImports | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| ModName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| modName | |
| 1 (Function) | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| 2 (Function) | FreeC.IR.Base.Prelude |
| modPragmas | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modQuantity | FreeC.Backend.Agda.Syntax |
| modRelevance | FreeC.Backend.Agda.Syntax |
| modSrcSpan | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modTypeDecls | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modTypeSigs | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| MODULE | FreeC.Frontend.IR.Token |
| Module | |
| 1 (Type/Class) | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| 3 (Type/Class) | FreeC.Backend.Agda.Syntax |
| ModuleApplication | FreeC.Backend.Agda.Syntax |
| ModuleAssignment | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 3 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| moduleDecl | FreeC.Backend.Agda.Syntax |
| moduleDependencyGraph | FreeC.IR.DependencyGraph |
| moduleEnv | FreeC.Monad.Converter |
| moduleExport | FreeC.Backend.Coq.Syntax |
| ModuleIdent | FreeC.Backend.Coq.Syntax |
| ModuleImport | FreeC.Backend.Coq.Syntax |
| moduleImport | FreeC.Backend.Coq.Syntax |
| ModuleInterface | |
| 1 (Type/Class) | FreeC.Environment.ModuleInterface |
| 2 (Data Constructor) | FreeC.Environment.ModuleInterface |
| ModuleMacro | FreeC.Backend.Agda.Syntax |
| moduleNameParts | FreeC.Backend.Agda.Syntax |
| moduleNameRange | FreeC.Backend.Agda.Syntax |
| moduleNameToFileName | FreeC.Backend.Agda.Syntax |
| ModuleOf | |
| 1 (Type/Class) | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| ModuleSentence | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| modWithContents | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modWithFuncDecls | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modWithTypeDecls | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| modWithTypeSigs | FreeC.IR.Syntax.Module, FreeC.IR.Syntax |
| MonadConverter | FreeC.Monad.Converter |
| MonadReporter | FreeC.Monad.Reporter |
| moreCohesion | FreeC.Backend.Agda.Syntax |
| moreQuantity | FreeC.Backend.Agda.Syntax |
| moreRelevant | FreeC.Backend.Agda.Syntax |
| moreUsableModality | FreeC.Backend.Agda.Syntax |
| movePos | FreeC.Backend.Agda.Syntax |
| movePosByString | FreeC.Backend.Agda.Syntax |
| MultPattern | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| mustRenameIdent | FreeC.Environment.Renamer |
| Mutual | FreeC.Backend.Agda.Syntax |