Index - M
| mappingExtract | Wingman.Machinery |
| mapTrace | Wingman.Types |
| markRecursion | Wingman.Machinery |
| matching | Wingman.Tactics |
| methodHypothesis | Wingman.Machinery |
| mkApply | Wingman.CodeGen |
| mkArbitraryCall | Wingman.KnownStrategies.QuickCheck |
| mkCon | Wingman.CodeGen.Utils, Wingman.CodeGen |
| mkContext | Wingman.Context |
| mkDerivedConHypothesis | Wingman.LanguageServer |
| mkDerivedRecordHypothesis | Wingman.LanguageServer |
| mkDestructPat | Wingman.CodeGen |
| mkDiagnostic | Wingman.LanguageServer |
| mkEvidence | Wingman.Judgements.Theta |
| mkFakeVar | Wingman.LanguageServer |
| mkFirstAgda | Wingman.CaseSplit |
| mkFirstJudgement | Wingman.Judgements |
| mkFunc | Wingman.CodeGen.Utils, Wingman.CodeGen |
| mkGenerator | Wingman.KnownStrategies.QuickCheck |
| mkGoodName | Wingman.Naming |
| mkIdHypothesis | Wingman.LanguageServer |
| mkJudgementAndContext | Wingman.LanguageServer |
| mkManyGoodNames | Wingman.Naming |
| mkQ1 | Wingman.Judgements.SYB |
| mkShowMessageParams | Wingman.LanguageServer |
| mkTyConName | Wingman.Naming |
| mkTyName | Wingman.Naming |
| mkVal | Wingman.CodeGen.Utils, Wingman.CodeGen |