Index - M
| makeAssumptionExplicit | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| mapNameMap | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| markUnresolved | Language.Rzk.Foil.Names |
| Match | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| MatchArm | Language.Rzk.Foil.Syntax |
| MatchArmF | Language.Rzk.Foil.Syntax |
| matchArms | Language.Rzk.Foil.Print |
| MatchArmT | Language.Rzk.Foil.Syntax |
| MatchBranch | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| MatchBranch' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| matchBranchNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| matchesDataApplied | Rzk.TypeCheck.Decl.Data |
| MatchF | Language.Rzk.Foil.Syntax |
| matchHoleOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| MatchInd | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| MatchInto | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| MatchPlan | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| MatchRec | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| MatchT | Language.Rzk.Foil.Syntax |
| Matrix3D | |
| 1 (Type/Class) | Rzk.Render.Geometry |
| 2 (Data Constructor) | Rzk.Render.Geometry |
| matrix3Dto4D | Rzk.Render.Geometry |
| Matrix4D | |
| 1 (Type/Class) | Rzk.Render.Geometry |
| 2 (Data Constructor) | Rzk.Render.Geometry |
| matrixVectorMult4D | Rzk.Render.Geometry |
| maxActionStackDepth | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| maxDiagnosticCount | Language.Rzk.VSCode.Lsp |
| maxEliminationDepth | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| maxRenderDim | Rzk.TypeCheck.Render |
| memoizeWHNF | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| memoWHNF | Rzk.TypeCheck.BinderTypes, Rzk.TypeCheck |
| mergeTokens | Language.Rzk.VSCode.Tokenize |
| MetaPrefixBoth | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| metaPrefixOf | Rzk.TypeCheck.MetaPrefix |
| MetaPrefixOff | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| MetaPrefixRule | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| MetaPrefixSensitivity | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| MetaPrefixStrict | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| MetaPrefixStrictOnly | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| MetaPrefixStructural | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| MetaPrefixWarning | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| mkEsc | Language.Rzk.Syntax.Print |
| mkHole | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| mkNamedHole | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| mkPosToken | Language.Rzk.Syntax.Lex |
| mkToken | Language.Rzk.VSCode.Tokenize |
| ModalColon | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModalColon' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModalColonFlat | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModalColonId | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| modalColonModality | Language.Rzk.Foil.Names |
| ModalColonOp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModalColonSharp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| modalColonToTModality | Language.Rzk.Foil.Names |
| modalFieldError | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| Modality | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Modality' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| modalityOfVar | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| ModalTope | |
| 1 (Type/Class) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ModApp | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| ModAppF | Language.Rzk.Foil.Syntax |
| ModAppT | Language.Rzk.Foil.Syntax |
| modAppT | Language.Rzk.Foil.Syntax |
| ModComp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModComp' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ModeTheory | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ModExtract | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| ModExtractF | Language.Rzk.Foil.Syntax |
| ModExtractT | Language.Rzk.Foil.Syntax |
| modExtractT | Language.Rzk.Foil.Syntax |
| modifyLog | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| ModType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Module | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Module' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| motiveFromGoal | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| motiveOf | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| motiveType | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| myLexer | Language.Rzk.Syntax.Par |