| Magenta | Jikka.Common.Format.Color |
| main | Jikka.Main |
| mainVarName | Jikka.RestrictedPython.Language.Util |
| makeAffineFunctionFromArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| makeEnsureProgram | Jikka.RestrictedPython.Language.Lint |
| makeGlobal | Jikka.RestrictedPython.Evaluate |
| makeIndentFromBraces | Jikka.Common.Format.AutoIndent |
| makeIndentFromMarkers | Jikka.Common.Format.AutoIndent |
| makeInducedDigraph | Jikka.Common.Graph |
| makeMatrix | Jikka.Common.Matrix |
| makeMatrix' | Jikka.Common.Matrix |
| makeReadValueIO | Jikka.Common.IOFormat |
| makeReversedDigraph | Jikka.Common.Graph |
| makeRewriteEnvironmentFromTypeEnv | Jikka.Core.Language.RewriteRules |
| makeRewriteRule | Jikka.Core.Language.RewriteRules, Jikka.Core.Language.QuasiRules |
| makeRightZero | Jikka.Core.Convert.EqualitySolving |
| makeVectorFromArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| makeWriteValueIO | Jikka.Common.IOFormat |
| Map | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Map' | Jikka.Core.Language.BuiltinPatterns |
| mapAndUnzipM | Jikka.Common.Error |
| mapDirectExprAssignExprM | Jikka.CPlusPlus.Language.Util |
| mapDirectExprLeftExprM | Jikka.CPlusPlus.Language.Util |
| mapDirectExprStatementM | Jikka.CPlusPlus.Language.Util |
| mapExcept | Jikka.Common.Error |
| mapExceptT | Jikka.Common.Error |
| mapExprArgumentsM | Jikka.Python.Language.Util |
| mapExprComprehensionM | Jikka.Python.Language.Util |
| mapExprComprehensionsM | Jikka.Python.Language.Util |
| mapExprExceptHanderM | Jikka.Python.Language.Util |
| mapExprKeywordsM | Jikka.Python.Language.Util |
| mapExprM | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| mapExprProgram | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.Python.Language.Util |
| mapExprProgramM | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.Python.Language.Util |
| mapExprStatementAssignExprM | Jikka.CPlusPlus.Language.Util |
| mapExprStatementExpr | Jikka.CPlusPlus.Language.Util |
| mapExprStatementExprM | Jikka.CPlusPlus.Language.Util |
| mapExprStatementLeftExprM | Jikka.CPlusPlus.Language.Util |
| mapExprStatementM | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| mapExprStatementProgram | Jikka.CPlusPlus.Language.Util |
| mapExprStatementProgramM | Jikka.CPlusPlus.Language.Util |
| mapExprStatementsM | Jikka.Python.Language.Util |
| mapExprStatementStatementM | Jikka.CPlusPlus.Language.Util |
| mapExprStatementToplevelStatementM | Jikka.CPlusPlus.Language.Util |
| mapExprTargetM | Jikka.RestrictedPython.Language.Util |
| mapExprToplevelExpr | Jikka.Core.Language.Util |
| mapExprToplevelExprM | Jikka.Core.Language.Util |
| mapFormatTree | Jikka.Common.IOFormat |
| mapFormatTreeM | Jikka.Common.IOFormat |
| mapLargeStatement | Jikka.RestrictedPython.Language.Util |
| mapLargeStatementM | Jikka.RestrictedPython.Language.Util |
| mapLeftExprAssignExpr | Jikka.CPlusPlus.Language.Util |
| mapLeftExprAssignExprM | Jikka.CPlusPlus.Language.Util |
| mapM | Jikka.Common.Error |
| mapM_ | Jikka.Common.Error |
| mapStatement | Jikka.RestrictedPython.Language.Util |
| mapStatementM | Jikka.RestrictedPython.Language.Util |
| mapStatements | Jikka.RestrictedPython.Language.Util |
| mapStatementsM | Jikka.RestrictedPython.Language.Util |
| mapSubExpr | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| mapSubExprM | |
| 1 (Function) | Jikka.CPlusPlus.Language.Util |
| 2 (Function) | Jikka.Core.Language.Util |
| 3 (Function) | Jikka.RestrictedPython.Language.Util |
| mapSubExprM' | Jikka.Core.Language.Util |
| mapSubTypesM | Jikka.Core.Language.Util |
| mapToplevelExprM | Jikka.Core.Language.Util |
| mapToplevelExprM' | Jikka.Core.Language.Util |
| mapToplevelExprProgram | Jikka.Core.Language.Util |
| mapToplevelExprProgramM | Jikka.Core.Language.Util |
| mapToplevelStatementProgramM | Jikka.CPlusPlus.Language.Util |
| mapTypeAttribute | Jikka.RestrictedPython.Language.Builtin |
| mapTypeBuiltin | Jikka.RestrictedPython.Language.Builtin |
| mapTypeExpr | Jikka.Core.Language.Util |
| mapTypeExprM | Jikka.Core.Language.Util |
| mapTypeLiteralM | Jikka.Core.Language.Util |
| mapTypeProgram | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| mapTypeProgramM | Jikka.Core.Language.Util |
| mapTypeToplevelExprM | Jikka.Core.Language.Util |
| mapVarNameExprStatementGenericM | Jikka.CPlusPlus.Language.Util |
| mapVarNameProgramM | Jikka.CPlusPlus.Language.Util |
| mapVarNameStatementM | Jikka.CPlusPlus.Language.Util |
| mapVarNameToplevelStatementM | Jikka.CPlusPlus.Language.Util |
| MatAdd | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matadd | Jikka.Common.Matrix |
| MatAdd' | Jikka.Core.Language.BuiltinPatterns |
| MatAp | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matap | Jikka.Common.Matrix |
| MatAp' | Jikka.Core.Language.BuiltinPatterns |
| matcheck | Jikka.Common.Matrix |
| MatFloorMod | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| MatFloorMod' | Jikka.Core.Language.BuiltinPatterns |
| MatMul | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matmul | Jikka.Common.Matrix |
| MatMul' | Jikka.Core.Language.BuiltinPatterns |
| MatMult | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| MatOne | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matone | Jikka.Common.Matrix |
| MatPow | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matpow | Jikka.Common.Matrix |
| MatPow' | Jikka.Core.Language.BuiltinPatterns |
| Matrix | Jikka.Common.Matrix |
| matrixTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matscalar | Jikka.Common.Matrix |
| matsize | Jikka.Common.Matrix |
| matsize' | Jikka.Common.Matrix |
| MatZero | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| matzero | Jikka.Common.Matrix |
| Max | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Max1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Max1' | Jikka.Core.Language.BuiltinPatterns |
| Max2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Max2' | Jikka.Core.Language.BuiltinPatterns |
| MaxOp | Jikka.Python.Parse.Token |
| maxValue | Jikka.Core.Language.Value |
| maybeToError | Jikka.Common.Error |
| mergeAssertions | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| Method | Jikka.CPlusPlus.Language.Expr |
| MethodSize | Jikka.CPlusPlus.Language.Expr |
| mfilter | Jikka.Common.Error |
| mfix | Jikka.Common.Error |
| Min | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Min1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Min1' | Jikka.Core.Language.BuiltinPatterns |
| Min2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Min2' | Jikka.Core.Language.BuiltinPatterns |
| MinOp | Jikka.Python.Parse.Token |
| Minus | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| Minus' | Jikka.Core.Language.BuiltinPatterns |
| minusArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| minusModuloExpr | Jikka.Core.Language.ModuloExpr |
| MinusOp | Jikka.Python.Parse.Token |
| minValue | Jikka.Core.Language.Value |
| Mod | Jikka.CPlusPlus.Language.Expr |
| ModAssign | Jikka.CPlusPlus.Language.Expr |
| ModInt | Jikka.Common.ModInt |
| ModInv | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| modinv | Jikka.Core.Language.Runtime |
| ModInv' | Jikka.Core.Language.BuiltinPatterns |
| ModMatAdd | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMatAdd' | Jikka.Core.Language.BuiltinPatterns |
| ModMatAp | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMatAp' | Jikka.Core.Language.BuiltinPatterns |
| ModMatMul | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMatMul' | Jikka.Core.Language.BuiltinPatterns |
| ModMatPow | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMatPow' | Jikka.Core.Language.BuiltinPatterns |
| ModMinus | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMinus' | Jikka.Core.Language.BuiltinPatterns |
| ModMult | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModMult' | Jikka.Core.Language.BuiltinPatterns |
| ModNegate | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModNegate' | Jikka.Core.Language.BuiltinPatterns |
| ModPlus | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModPlus' | Jikka.Core.Language.BuiltinPatterns |
| ModPow | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| modpow | Jikka.Core.Language.Runtime |
| ModPow' | Jikka.Core.Language.BuiltinPatterns |
| ModProduct | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModProduct' | Jikka.Core.Language.BuiltinPatterns |
| ModSum | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ModSum' | Jikka.Core.Language.BuiltinPatterns |
| Modulo | |
| 1 (Type/Class) | Jikka.Core.Language.ModuloExpr |
| 2 (Data Constructor) | Jikka.Core.Language.ModuloExpr |
| ModuloExpr | Jikka.Core.Language.ModuloExpr |
| moduloOfModInt | Jikka.Common.ModInt |
| moduloOfModuloExpr | Jikka.Core.Language.ModuloExpr |
| Monad | Jikka.Common.Error |
| MonadAlpha | Jikka.Common.Alpha |
| MonadError | Jikka.Common.Error |
| MonadFail | Jikka.Common.Error |
| MonadFix | Jikka.Common.Error |
| MonadIO | Jikka.Common.Error |
| MonadPlus | Jikka.Common.Error |
| MonadTrans | Jikka.Common.Error |
| Monoid' | Jikka.CPlusPlus.Language.Expr |
| MonoidIntGcd | Jikka.CPlusPlus.Language.Expr |
| MonoidIntLcm | Jikka.CPlusPlus.Language.Expr |
| MonoidIntMax | Jikka.CPlusPlus.Language.Expr |
| MonoidIntMin | Jikka.CPlusPlus.Language.Expr |
| MonoidIntPlus | Jikka.CPlusPlus.Language.Expr |
| moveLiteralToRight | Jikka.Core.Convert.EqualitySolving |
| mplus | Jikka.Common.Error |
| msum | Jikka.Common.Error |
| Mul | Jikka.CPlusPlus.Language.Expr |
| MulAssign | Jikka.CPlusPlus.Language.Expr |
| MulOp | Jikka.Python.Parse.Token |
| Mult | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| 3 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Mult' | Jikka.Core.Language.BuiltinPatterns |
| multArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| multExp | Jikka.RestrictedPython.Language.WithoutLoc |
| MultiChoose | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| multichoose | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| MultiChoose' | Jikka.Core.Language.BuiltinPatterns |
| multModuloExpr | Jikka.Core.Language.ModuloExpr |
| mzero | Jikka.Common.Error |