| <$ | Jikka.Common.Error |
| <$!> | Jikka.Common.Error |
| <=< | Jikka.Common.Error |
| =<< | Jikka.Common.Error |
| >=> | Jikka.Common.Error |
| >> | Jikka.Common.Error |
| >>= | Jikka.Common.Error |
| Abs | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Abs' | Jikka.Core.Language.BuiltinPatterns |
| Add | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| AddAssign | Jikka.CPlusPlus.Language.Expr |
| addExp | Jikka.RestrictedPython.Language.WithoutLoc |
| additionalBuiltinNames | Jikka.RestrictedPython.Language.Builtin |
| AdHocNameHint | Jikka.Common.Name |
| Alias | Jikka.Python.Language.Expr |
| All | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| All' | Jikka.Core.Language.BuiltinPatterns |
| AllHint | Jikka.Core.Language.AssertedHint |
| alphaExpr | Jikka.Core.Language.QuasiRules |
| AlphaT | |
| 1 (Type/Class) | Jikka.Common.Alpha |
| 2 (Data Constructor) | Jikka.Common.Alpha |
| analyzeAssignExpr | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeExpr | |
| 1 (Function) | Jikka.CPlusPlus.Language.VariableAnalysis |
| 2 (Function) | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeLeftExpr | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatement | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatementGeneric | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementMax | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementMin | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatements | Jikka.CPlusPlus.Language.VariableAnalysis |
| analyzeStatementsGeneric | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementsMax | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeStatementsMin | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeTargetRead | Jikka.RestrictedPython.Language.VariableAnalysis |
| analyzeTargetWrite | Jikka.RestrictedPython.Language.VariableAnalysis |
| And | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| And' | Jikka.Core.Language.BuiltinPatterns |
| AndOp | Jikka.Python.Parse.Token |
| AnnAssign | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Any | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Any' | Jikka.Core.Language.BuiltinPatterns |
| ap | Jikka.Common.Error |
| App | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| App4 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin11 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin12 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin13 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin14 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin22 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin23 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| AppBuiltin3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Append | Jikka.RestrictedPython.Language.Expr |
| applyRewriteRule | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleProgram | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleProgram' | Jikka.Core.Language.RewriteRules |
| applyRewriteRuleToplevelExpr | Jikka.Core.Language.RewriteRules |
| Arg | Jikka.Python.Language.Expr |
| ArgMax | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ArgMax' | Jikka.Core.Language.BuiltinPatterns |
| ArgMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ArgMin' | Jikka.Core.Language.BuiltinPatterns |
| argsArgs | Jikka.Python.Language.Expr |
| argsDefaults | Jikka.Python.Language.Expr |
| argsKwarg | Jikka.Python.Language.Expr |
| argsKwDefaults | Jikka.Python.Language.Expr |
| argsKwonlyargs | Jikka.Python.Language.Expr |
| argsPosonlyargs | Jikka.Python.Language.Expr |
| argsVarargs | Jikka.Python.Language.Expr |
| ArgumentNameHint | Jikka.Common.Name |
| Arguments | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| ArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| arithmeticExprFromModuloExpr | Jikka.Core.Language.ModuloExpr |
| arityOfBuiltin | Jikka.Core.Language.TypeCheck |
| ArrayExt | Jikka.CPlusPlus.Language.Expr |
| Arrow | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| As | Jikka.Python.Parse.Token |
| Assert | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr |
| 5 (Data Constructor) | Jikka.Python.Parse.Token |
| 6 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| AssertedHint | Jikka.Core.Language.AssertedHint |
| assertedHints | Jikka.Core.Language.RewriteRules |
| AssertionError | Jikka.Common.Error |
| assertionError | Jikka.Common.Error |
| Assign | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| assignAt | Jikka.CPlusPlus.Language.Util |
| AssignDecr | Jikka.CPlusPlus.Language.Expr |
| AssignExpr | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| AssignIncr | Jikka.CPlusPlus.Language.Expr |
| AssignOp | Jikka.CPlusPlus.Language.Expr |
| assignSimple | Jikka.CPlusPlus.Language.Util |
| Async | Jikka.Python.Parse.Token |
| AsyncFor | Jikka.Python.Language.Expr |
| AsyncFunctionDef | Jikka.Python.Language.Expr |
| AsyncWith | Jikka.Python.Language.Expr |
| At | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 4 (Data Constructor) | Jikka.Core.Parse.Token |
| at | Jikka.CPlusPlus.Language.Util |
| At' | Jikka.Core.Language.BuiltinPatterns |
| AtOp | Jikka.Python.Parse.Token |
| Attribute | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Attribute' | Jikka.RestrictedPython.Language.Expr |
| AttributeName | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| attributeNames | Jikka.RestrictedPython.Language.Builtin |
| AttributeVal | Jikka.RestrictedPython.Language.Value |
| AugAdd | Jikka.Python.Parse.Token |
| AugAssign | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| AugAt | Jikka.Python.Parse.Token |
| AugBitAnd | Jikka.Python.Parse.Token |
| AugBitLShift | Jikka.Python.Parse.Token |
| AugBitOr | Jikka.Python.Parse.Token |
| AugBitRShift | Jikka.Python.Parse.Token |
| AugBitXor | Jikka.Python.Parse.Token |
| AugCeilDiv | Jikka.Python.Parse.Token |
| AugCeilMod | Jikka.Python.Parse.Token |
| AugDiv | Jikka.Python.Parse.Token |
| AugFloorDiv | Jikka.Python.Parse.Token |
| AugFloorMod | Jikka.Python.Parse.Token |
| AugMax | Jikka.Python.Parse.Token |
| AugMin | Jikka.Python.Parse.Token |
| AugMul | Jikka.Python.Parse.Token |
| AugOp | |
| 1 (Data Constructor) | Jikka.Python.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Parse.Token |
| AugPow | Jikka.Python.Parse.Token |
| AugSub | Jikka.Python.Parse.Token |
| Await | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| BackArrow | Jikka.Core.Parse.Token |
| begin | Jikka.CPlusPlus.Language.Util |
| BinaryOp | Jikka.CPlusPlus.Language.Expr |
| BinOp | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| binOp | Jikka.RestrictedPython.Language.WithoutLoc |
| BinOpInfo | |
| 1 (Type/Class) | Jikka.Common.Parse.ShuntingYard |
| 2 (Data Constructor) | Jikka.Common.Parse.ShuntingYard |
| BitAnd | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| BitAnd' | Jikka.Core.Language.BuiltinPatterns |
| BitAndAssign | Jikka.CPlusPlus.Language.Expr |
| BitAndOp | Jikka.Python.Parse.Token |
| BitLeftShift | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| BitLeftShift' | Jikka.Core.Language.BuiltinPatterns |
| BitLeftShiftAssign | Jikka.CPlusPlus.Language.Expr |
| BitLShift | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| BitLShiftOp | Jikka.Python.Parse.Token |
| BitNot | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| BitNot' | Jikka.Core.Language.BuiltinPatterns |
| BitNotOp | Jikka.Python.Parse.Token |
| BitOr | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| BitOr' | Jikka.Core.Language.BuiltinPatterns |
| BitOrAssign | Jikka.CPlusPlus.Language.Expr |
| BitOrOp | Jikka.Python.Parse.Token |
| BitRightShift | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| BitRightShift' | Jikka.Core.Language.BuiltinPatterns |
| BitRightShiftAssign | Jikka.CPlusPlus.Language.Expr |
| BitRShift | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| BitRShiftOp | Jikka.Python.Parse.Token |
| BitXor | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| BitXor' | Jikka.Core.Language.BuiltinPatterns |
| BitXorAssign | Jikka.CPlusPlus.Language.Expr |
| BitXorOp | Jikka.Python.Parse.Token |
| Black | Jikka.Common.Format.Color |
| Block | Jikka.CPlusPlus.Language.Expr |
| Blue | Jikka.Common.Format.Color |
| Bool | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| BoolOp | |
| 1 (Type/Class) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| BoolTy | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| BoolVal | Jikka.RestrictedPython.Language.Value |
| Bottom' | Jikka.Core.Language.BuiltinPatterns |
| BoundHint | Jikka.Core.Language.AssertedHint |
| Break | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| bug | Jikka.Common.Error |
| Build | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Build' | Jikka.Core.Language.BuiltinPatterns |
| Builtin | |
| 1 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Builtin1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Builtin2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| BuiltinAbs | Jikka.RestrictedPython.Language.Expr |
| BuiltinAll | Jikka.RestrictedPython.Language.Expr |
| BuiltinAny | Jikka.RestrictedPython.Language.Expr |
| BuiltinAppend | Jikka.RestrictedPython.Language.Expr |
| BuiltinArgMax | Jikka.RestrictedPython.Language.Expr |
| BuiltinArgMin | Jikka.RestrictedPython.Language.Expr |
| BuiltinBool | Jikka.RestrictedPython.Language.Expr |
| BuiltinCeilDiv | Jikka.RestrictedPython.Language.Expr |
| BuiltinCeilMod | Jikka.RestrictedPython.Language.Expr |
| BuiltinChoose | Jikka.RestrictedPython.Language.Expr |
| BuiltinCopy | Jikka.RestrictedPython.Language.Expr |
| BuiltinCount | Jikka.RestrictedPython.Language.Expr |
| BuiltinDivMod | Jikka.RestrictedPython.Language.Expr |
| BuiltinEnumerate | Jikka.RestrictedPython.Language.Expr |
| BuiltinFact | Jikka.RestrictedPython.Language.Expr |
| BuiltinFilter | Jikka.RestrictedPython.Language.Expr |
| BuiltinFloorDiv | Jikka.RestrictedPython.Language.Expr |
| BuiltinFloorMod | Jikka.RestrictedPython.Language.Expr |
| BuiltinGcd | Jikka.RestrictedPython.Language.Expr |
| BuiltinIndex | Jikka.RestrictedPython.Language.Expr |
| BuiltinInput | Jikka.RestrictedPython.Language.Expr |
| BuiltinInt | Jikka.RestrictedPython.Language.Expr |
| BuiltinLcm | Jikka.RestrictedPython.Language.Expr |
| BuiltinLen | Jikka.RestrictedPython.Language.Expr |
| BuiltinList | Jikka.RestrictedPython.Language.Expr |
| BuiltinMap | Jikka.RestrictedPython.Language.Expr |
| BuiltinMax | Jikka.RestrictedPython.Language.Expr |
| BuiltinMax1 | Jikka.RestrictedPython.Language.Expr |
| BuiltinMin | Jikka.RestrictedPython.Language.Expr |
| BuiltinMin1 | Jikka.RestrictedPython.Language.Expr |
| BuiltinModInv | Jikka.RestrictedPython.Language.Expr |
| BuiltinModPow | Jikka.RestrictedPython.Language.Expr |
| BuiltinMultiChoose | Jikka.RestrictedPython.Language.Expr |
| builtinNames | Jikka.RestrictedPython.Language.Builtin |
| BuiltinPermute | Jikka.RestrictedPython.Language.Expr |
| BuiltinPow | Jikka.RestrictedPython.Language.Expr |
| BuiltinPrint | Jikka.RestrictedPython.Language.Expr |
| BuiltinProduct | Jikka.RestrictedPython.Language.Expr |
| BuiltinRange1 | Jikka.RestrictedPython.Language.Expr |
| BuiltinRange2 | Jikka.RestrictedPython.Language.Expr |
| BuiltinRange3 | Jikka.RestrictedPython.Language.Expr |
| BuiltinReversed | Jikka.RestrictedPython.Language.Expr |
| BuiltinSorted | Jikka.RestrictedPython.Language.Expr |
| BuiltinSplit | Jikka.RestrictedPython.Language.Expr |
| BuiltinSum | Jikka.RestrictedPython.Language.Expr |
| builtinToType | Jikka.Core.Language.TypeCheck |
| BuiltinTuple | Jikka.RestrictedPython.Language.Expr |
| BuiltinVal | Jikka.RestrictedPython.Language.Value |
| BuiltinZip | Jikka.RestrictedPython.Language.Expr |
| BundleRuntimeHeaders | Jikka.Main |
| bundleRuntimeHeaders | Jikka.Main |
| Bytes | Jikka.Python.Parse.Token |
| Call | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| call | Jikka.RestrictedPython.Language.WithoutLoc |
| Call' | Jikka.CPlusPlus.Language.Util |
| Callable | Jikka.CPlusPlus.Language.Expr |
| CallableTy | Jikka.RestrictedPython.Language.Expr |
| callFunction | Jikka.CPlusPlus.Language.Util |
| callFunction' | Jikka.CPlusPlus.Language.Util |
| callMethod | Jikka.CPlusPlus.Language.Util |
| callMethod' | Jikka.CPlusPlus.Language.Util |
| callProgram | Jikka.Core.Evaluate |
| Cast | Jikka.CPlusPlus.Language.Expr |
| cast | Jikka.CPlusPlus.Language.Util |
| catchError | Jikka.Common.Error |
| catchError' | Jikka.Common.Error |
| CeilDiv | |
| 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 |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| ceilDiv | Jikka.Core.Language.Runtime |
| CeilDiv' | Jikka.Core.Language.BuiltinPatterns |
| CeilMod | |
| 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 |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| ceilMod | Jikka.Core.Language.Runtime |
| CeilMod' | Jikka.Core.Language.BuiltinPatterns |
| Choose | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| choose | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| Choose' | Jikka.Core.Language.BuiltinPatterns |
| cinStatement | Jikka.CPlusPlus.Language.Util |
| Class | Jikka.Python.Parse.Token |
| ClassDef | Jikka.Python.Language.Expr |
| CloseBrace | Jikka.Python.Parse.Token |
| CloseBracket | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| CloseParen | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| ClosureVal | Jikka.RestrictedPython.Language.Value |
| CmpOp | |
| 1 (Type/Class) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| 3 (Type/Class) | Jikka.Python.Parse.Token |
| CmpOp' | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Code | Jikka.CPlusPlus.Format |
| Colon | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Color | Jikka.Common.Format.Color |
| ColorFlag | Jikka.Common.Format.Color |
| column | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| Comma | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| CommandLineError | Jikka.Common.Error |
| commandLineError | Jikka.Common.Error |
| Compare | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| compareValues | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| compareValues' | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| compIfs | Jikka.Python.Language.Expr |
| compIter | Jikka.Python.Language.Expr |
| Comprehension | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| compTarget | Jikka.Python.Language.Expr |
| Cond | Jikka.CPlusPlus.Language.Expr |
| Cons | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Cons' | Jikka.Core.Language.BuiltinPatterns |
| Constant | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| 4 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| ConstantNameHint | Jikka.Common.Name |
| ConstBool | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| constBoolExp | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstBuiltin | Jikka.RestrictedPython.Language.Expr |
| constBuiltinExp | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstBytes | Jikka.Python.Language.Expr |
| ConstFloat | Jikka.Python.Language.Expr |
| ConstImaginary | Jikka.Python.Language.Expr |
| ConstInt | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| constIntExp | |
| 1 (Function) | Jikka.Python.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.WithoutLoc |
| ConstNone | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| ConstString | Jikka.Python.Language.Expr |
| Continue | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| convertGreaterToLess | Jikka.Core.Convert.EqualitySolving |
| ConvexHullTrick | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickCopyAddLine | Jikka.CPlusPlus.Language.Expr |
| ConvexHullTrickCtor | Jikka.CPlusPlus.Language.Expr |
| ConvexHullTrickGetMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickGetMin' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickInit | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickInit' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickInsert | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ConvexHullTrickInsert' | Jikka.Core.Language.BuiltinPatterns |
| ConvexHullTrickTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| CoreTarget | Jikka.Main.Target |
| coutStatement | Jikka.CPlusPlus.Language.Util |
| CPlusPlusTarget | Jikka.Main.Target |
| curryApp | Jikka.Core.Language.Util |
| curryFunTy | Jikka.Core.Language.Util |
| curryLam | Jikka.Core.Language.Util |
| Cyan | Jikka.Common.Format.Color |
| DataStructure | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| DataStructureTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Declare | Jikka.CPlusPlus.Language.Expr |
| DeclareCopy | Jikka.CPlusPlus.Language.Expr |
| DeclareDefault | Jikka.CPlusPlus.Language.Expr |
| DeclareDestructure | Jikka.CPlusPlus.Language.Expr |
| DeclareInitialize | Jikka.CPlusPlus.Language.Expr |
| DeclareRight | Jikka.CPlusPlus.Language.Expr |
| decls | Jikka.CPlusPlus.Language.Expr |
| decomposeToStronglyConnectedComponents | Jikka.Common.Graph |
| Decorator | Jikka.Python.Language.Expr |
| Decorator' | Jikka.Python.Language.Expr |
| decrArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| Dedent | Jikka.Python.Parse.Token |
| dedent | Jikka.Common.Format.AutoIndent |
| Def | Jikka.Python.Parse.Token |
| defaultOptions | Jikka.Main |
| Del | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Delete | Jikka.Python.Language.Expr |
| Deref | Jikka.CPlusPlus.Language.Expr |
| Dict | Jikka.Python.Language.Expr |
| DictComp | Jikka.Python.Language.Expr |
| DisableColor | Jikka.Common.Format.Color |
| Div | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Parse.Token |
| DivAssign | Jikka.CPlusPlus.Language.Expr |
| DivModOp | |
| 1 (Data Constructor) | Jikka.Python.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Parse.Token |
| doesAlwaysReturn | Jikka.RestrictedPython.Language.Util |
| doesntHaveAssignmentToBuiltin | Jikka.RestrictedPython.Language.Lint |
| doesntHaveAssignmentToLoopCounters | Jikka.RestrictedPython.Language.Lint |
| doesntHaveAssignmentToLoopIterators | Jikka.RestrictedPython.Language.Lint |
| doesntHaveLeakOfLoopCounters | Jikka.RestrictedPython.Language.Lint |
| doesntHaveMixedAssignment | Jikka.RestrictedPython.Language.Lint |
| doesntHaveNonResolvedBuiltin | Jikka.RestrictedPython.Language.Lint |
| doesntHaveNonTrivialSubscriptedAssignmentInForLoops | Jikka.RestrictedPython.Language.Lint |
| doesntHaveReturnInLoops | Jikka.RestrictedPython.Language.Lint |
| doesntHaveSubscriptionInLoopCounters | Jikka.RestrictedPython.Language.Lint |
| doesPossiblyReturn | Jikka.RestrictedPython.Language.Util |
| Dot | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| DoubleEqual | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| dropLocation | Jikka.RestrictedPython.Language.Util |
| eitherToError | Jikka.Common.Error |
| Elem | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Elem' | Jikka.Core.Language.BuiltinPatterns |
| Elif | Jikka.Python.Parse.Token |
| Else | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| embedDir | Jikka.Common.FileEmbed |
| EmbedOriginalCode | Jikka.Main |
| embedOriginalCode | Jikka.Main |
| emptyArguments | Jikka.Python.Language.Expr |
| emptyRewriteEnvironment | Jikka.Core.Language.RewriteRules |
| EnableColor | Jikka.Common.Format.Color |
| end | Jikka.CPlusPlus.Language.Util |
| ensureAlphaConverted | Jikka.Core.Language.Lint |
| ensureDoesntHaveAssignmentToBuiltin | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveAssignmentToLoopCounters | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveAssignmentToLoopIterators | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveLeakOfLoopCounters | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveMixedAssignment | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveNonResolvedBuiltin | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveNonTrivialSubscriptedAssignmentInForLoops | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveReturnInLoops | Jikka.RestrictedPython.Language.Lint |
| ensureDoesntHaveSubscriptionInLoopCounters | Jikka.RestrictedPython.Language.Lint |
| ensureEagerlyEvaluatable | Jikka.Core.Language.Lint |
| ensureWellTyped | Jikka.Core.Language.Lint |
| Env | Jikka.Core.Language.Value |
| Eq' | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| eqExp | Jikka.RestrictedPython.Language.WithoutLoc |
| Equal | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| Equal' | Jikka.Core.Language.BuiltinPatterns |
| EqualHint | Jikka.Core.Language.AssertedHint |
| Equation | |
| 1 (Type/Class) | Jikka.Core.Convert.TypeInfer |
| 2 (Type/Class) | Jikka.RestrictedPython.Convert.TypeInfer |
| Error | |
| 1 (Type/Class) | Jikka.Common.Error |
| 2 (Data Constructor) | Jikka.Common.Error |
| ErrorAppend | Jikka.Common.Error |
| ErrorGroup | Jikka.Common.Error |
| etaExpand | Jikka.Core.Language.Eta |
| etaExpand' | Jikka.Core.Language.Eta |
| etaReduce | Jikka.Core.Language.Eta |
| etaReduce' | Jikka.Core.Language.Eta |
| evalAlpha | Jikka.Common.Alpha |
| evalAlphaT | Jikka.Common.Alpha |
| evalExpr | Jikka.RestrictedPython.Evaluate |
| evalStatement | Jikka.RestrictedPython.Evaluate |
| evalStatements | Jikka.RestrictedPython.Evaluate |
| EvaluationError | Jikka.Common.Error |
| evaluationError | Jikka.Common.Error |
| Except | |
| 1 (Type/Class) | Jikka.Common.Error |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| ExceptHandler | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| ExceptHandler' | Jikka.Python.Language.Expr |
| ExceptT | |
| 1 (Type/Class) | Jikka.Common.Error |
| 2 (Data Constructor) | Jikka.Common.Error |
| exchBody | Jikka.Python.Language.Expr |
| exchName | Jikka.Python.Language.Expr |
| exchType | Jikka.Python.Language.Expr |
| execToplevelStatement | Jikka.RestrictedPython.Evaluate |
| Exp | Jikka.Common.IOFormat |
| Expr | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Type/Class) | Jikka.Python.Language.Expr |
| 4 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Expr' | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| 4 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| ExprContext | Jikka.Python.Language.Expr |
| ExprStatement | Jikka.CPlusPlus.Language.Expr |
| exprToTarget | Jikka.RestrictedPython.Language.Util |
| Fact | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| fact | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| Fact' | Jikka.Core.Language.BuiltinPatterns |
| fail | Jikka.Common.Error |
| Filter | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Filter' | Jikka.Core.Language.BuiltinPatterns |
| filterM | Jikka.Common.Error |
| Finally | Jikka.Python.Parse.Token |
| findUnusedVarName | Jikka.Core.Language.FreeVars |
| findUnusedVarName' | Jikka.Core.Language.FreeVars |
| fix | Jikka.Common.Error |
| Fixity | Jikka.Common.Parse.ShuntingYard |
| Flag | Jikka.Main |
| Float | Jikka.Python.Parse.Token |
| FloorDiv | |
| 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 |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| floorDiv | Jikka.Core.Language.Runtime |
| FloorDiv' | Jikka.Core.Language.BuiltinPatterns |
| FloorMod | |
| 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 |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| floorMod | Jikka.Core.Language.Runtime |
| FloorMod' | Jikka.Core.Language.BuiltinPatterns |
| fmap | Jikka.Common.Error |
| Foldl | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Foldl' | Jikka.Core.Language.BuiltinPatterns |
| foldM | Jikka.Common.Error |
| foldM_ | Jikka.Common.Error |
| For | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Parse.Token |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Forall | Jikka.Core.Parse.Token |
| ForEach | Jikka.CPlusPlus.Language.Expr |
| forever | Jikka.Common.Error |
| forM | Jikka.Common.Error |
| formatArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| formatAttribute | Jikka.RestrictedPython.Language.Builtin, Jikka.RestrictedPython.Format |
| formatBottomModuloExpr | Jikka.Core.Language.ModuloExpr |
| formatBuiltin | |
| 1 (Function) | Jikka.Core.Format |
| 2 (Function) | Jikka.RestrictedPython.Language.Builtin, Jikka.RestrictedPython.Format |
| formatBuiltinIsolated | Jikka.Core.Format |
| FormatExpr | Jikka.Common.IOFormat |
| formatExpr | |
| 1 (Function) | Jikka.CPlusPlus.Format |
| 2 (Function) | Jikka.Core.Format |
| 3 (Function) | Jikka.RestrictedPython.Format |
| formatFlavouredName | Jikka.Common.Name |
| formatFormatExpr | Jikka.Common.IOFormat |
| formatFormatTree | Jikka.Common.IOFormat |
| formatFunName | Jikka.CPlusPlus.Language.Expr |
| formatIOFormat | Jikka.Common.IOFormat |
| formatModulo | Jikka.Core.Language.ModuloExpr |
| formatOperator | Jikka.RestrictedPython.Format |
| formatProgram | Jikka.Core.Format |
| formatTarget | Jikka.RestrictedPython.Format |
| FormattedValue | Jikka.Python.Language.Expr |
| formatToplevelExpr | Jikka.Core.Format |
| formatTopModuloExpr | Jikka.Core.Language.ModuloExpr |
| FormatTree | Jikka.Common.IOFormat |
| formatType | |
| 1 (Function) | Jikka.CPlusPlus.Format |
| 2 (Function) | Jikka.Core.Format |
| 3 (Function) | Jikka.RestrictedPython.Format |
| formatTypeName | |
| 1 (Function) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Function) | Jikka.RestrictedPython.Language.Expr |
| formatValue | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| formatVarName | |
| 1 (Function) | Jikka.CPlusPlus.Language.Expr |
| 2 (Function) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Function) | Jikka.RestrictedPython.Language.Expr |
| formularizeProgram | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| forM_ | Jikka.Common.Error |
| freeTyVars | |
| 1 (Function) | Jikka.Core.Language.FreeVars |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| freeVars | |
| 1 (Function) | Jikka.CPlusPlus.Language.Util |
| 2 (Function) | Jikka.Core.Language.FreeVars |
| 3 (Function) | Jikka.RestrictedPython.Language.Util |
| freeVars' | Jikka.RestrictedPython.Language.Util |
| freeVarsAssignExpr | Jikka.CPlusPlus.Language.Util |
| freeVarsDeclareRight | Jikka.CPlusPlus.Language.Util |
| freeVarsLeftExpr | Jikka.CPlusPlus.Language.Util |
| freeVarsStatement | Jikka.CPlusPlus.Language.Util |
| freeVarsStatements | Jikka.CPlusPlus.Language.Util |
| freeVarsTarget | Jikka.RestrictedPython.Language.Util |
| freeVarsTarget' | Jikka.RestrictedPython.Language.Util |
| From | Jikka.Python.Parse.Token |
| fromLeftExpr | Jikka.CPlusPlus.Language.Util |
| fromMatrix | Jikka.RestrictedPython.Language.Value |
| fromModInt | Jikka.Common.ModInt |
| fromSuccess | Jikka.Common.Error |
| Fun | Jikka.Core.Parse.Token |
| Fun1STy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Fun2STy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Fun2Ty | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Fun3STy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Fun3Ty | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Function | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| FunctionDef | Jikka.Python.Language.Expr |
| FunctionNameHint | Jikka.Common.Name |
| Functor | Jikka.Common.Error |
| FunDef | Jikka.CPlusPlus.Language.Expr |
| FunLTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| FunName | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| FunTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Gcd | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Gcd' | Jikka.Core.Language.BuiltinPatterns |
| Gcd1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Gcd1' | Jikka.Core.Language.BuiltinPatterns |
| GeneratorExp | Jikka.Python.Language.Expr |
| genType | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| genVarName | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| genVarName' | |
| 1 (Function) | Jikka.Core.Language.Util, Jikka.Core.Language.QuasiRules |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| genVarName'' | Jikka.Core.Language.Util |
| getRecurrenceFormulaBase | Jikka.Core.Language.Util, Jikka.Core.Convert.MakeScanl |
| getRecurrenceFormulaStep | Jikka.Core.Convert.MakeScanl |
| getRecurrenceFormulaStep1 | Jikka.Core.Convert.MakeScanl |
| getWord | Jikka.Common.IO |
| Global | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Graph | Jikka.Common.Graph |
| GreaterEqual | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| GreaterEqual' | Jikka.Core.Language.BuiltinPatterns |
| GreaterThan | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| GreaterThan' | Jikka.Core.Language.BuiltinPatterns |
| Green | Jikka.Common.Format.Color |
| Gt | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| GtE | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| guard | Jikka.Common.Error |
| hasAssignmentToBuiltin | Jikka.RestrictedPython.Language.Lint |
| hasAssignmentToLoopCounters | Jikka.RestrictedPython.Language.Lint |
| hasAssignmentToLoopIterators | Jikka.RestrictedPython.Language.Lint |
| hasBareNameTrg | Jikka.RestrictedPython.Language.Util |
| hasFunctionCall | Jikka.RestrictedPython.Language.Util |
| hasLeakOfLoopCounters | Jikka.RestrictedPython.Language.Lint |
| hasMixedAssignment | Jikka.RestrictedPython.Language.Lint |
| hasNewline | Jikka.Common.IOFormat |
| hasNonResolvedBuiltin | Jikka.RestrictedPython.Language.Lint |
| hasNonTrivialSubscriptedAssignmentInForLoops | Jikka.RestrictedPython.Language.Lint |
| hasReturnInLoops | Jikka.RestrictedPython.Language.Lint |
| hasSubscriptionInLoopCounters | Jikka.RestrictedPython.Language.Lint |
| hasSubscriptTrg | Jikka.RestrictedPython.Language.Util |
| haveWriteReadIntersection | Jikka.RestrictedPython.Language.VariableAnalysis |
| header | Jikka.Main |
| Help | Jikka.Main |
| hGetColorFlag | Jikka.Common.Format.Color |
| hGetWord | Jikka.Common.IO |
| hoistMaybe | Jikka.Core.Language.Util |
| hPrintError | Jikka.Common.Format.Error |
| hPrintErrorWithText | Jikka.Common.Format.Error |
| hTakeWhile | Jikka.Common.IO |
| Ident | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Language.Expr |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| Ident' | Jikka.Python.Language.Expr |
| If | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr |
| 5 (Data Constructor) | Jikka.Python.Parse.Token |
| 6 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| If' | Jikka.Core.Language.BuiltinPatterns |
| IfExp | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Imaginary | Jikka.Python.Parse.Token |
| ImplementationBug | Jikka.Common.Error |
| Implies | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Implies' | Jikka.Core.Language.BuiltinPatterns |
| ImpliesOp | Jikka.Python.Parse.Token |
| Import | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| ImportFrom | Jikka.Python.Language.Expr |
| In | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Parse.Token |
| incrArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| incrExpr | Jikka.CPlusPlus.Language.Util |
| Indent | Jikka.Python.Parse.Token |
| indent | Jikka.Common.Format.AutoIndent |
| inputTree | Jikka.Common.IOFormat |
| inputVariables | Jikka.Common.IOFormat |
| insertIndentDedentFromBraces | Jikka.Common.Format.AutoIndent |
| insertIndents | Jikka.Common.Parse.OffsideRule |
| Int | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| integerArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| integerFromArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| integerModuloExpr | Jikka.Core.Language.ModuloExpr |
| InternalError | Jikka.Common.Error |
| internalError | Jikka.Common.Error |
| IntNop | Jikka.CPlusPlus.Language.Expr |
| IntTy | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| IntVal | Jikka.RestrictedPython.Language.Value |
| Invert | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| IOFormat | |
| 1 (Type/Class) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.Common.IOFormat |
| Is | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| isConstantTimeBuiltin | Jikka.Core.Language.Util |
| isConstantTimeExpr | Jikka.Core.Language.Util |
| isFreeVar | Jikka.Core.Language.FreeVars |
| isFreeVarOrScopedVar | Jikka.Core.Language.FreeVars |
| isIntegerArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| isLiteral | Jikka.Core.Language.Util |
| isMatrixTy | Jikka.Core.Language.Util |
| isMatrixTy' | Jikka.Core.Language.Util |
| isModulo | Jikka.Core.Language.ModuloExpr |
| IsNot | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| isOneArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| isOneModuloExpr | Jikka.Core.Language.ModuloExpr |
| isSmallExpr | Jikka.RestrictedPython.Language.Util |
| isUnusedVar | Jikka.Core.Language.FreeVars |
| isVectorTy | Jikka.Core.Language.Util |
| isVectorTy' | Jikka.Core.Language.Util |
| isZeroArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| isZeroModuloExpr | Jikka.Core.Language.ModuloExpr |
| isZeroWithHints | Jikka.Core.Language.AssertedHint |
| Iterate | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Iterate' | Jikka.Core.Language.BuiltinPatterns |
| join | Jikka.Common.Error |
| JoinedStr | Jikka.Python.Language.Expr |
| joinLinesWithParens | Jikka.Common.Parse.JoinLines |
| JustDiv | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| justDiv | Jikka.Core.Language.Runtime |
| JustDiv' | Jikka.Core.Language.BuiltinPatterns |
| Keyword | Jikka.Python.Language.Expr |
| Keyword' | Jikka.Python.Language.Expr |
| Lam | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lam2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lam3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lambda | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| LamConst | Jikka.Core.Language.LambdaPatterns |
| LamId | Jikka.Core.Language.LambdaPatterns |
| Lcm | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lcm' | Jikka.Core.Language.BuiltinPatterns |
| Lcm1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lcm1' | Jikka.Core.Language.BuiltinPatterns |
| LeftAt | Jikka.CPlusPlus.Language.Expr |
| LeftExpr | Jikka.CPlusPlus.Language.Expr |
| Leftfix | Jikka.Common.Parse.ShuntingYard |
| LeftGet | Jikka.CPlusPlus.Language.Expr |
| LeftVar | Jikka.CPlusPlus.Language.Expr |
| Len | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Len' | Jikka.Core.Language.BuiltinPatterns |
| LengthHint | Jikka.Core.Language.AssertedHint |
| lengthWithHints | Jikka.Core.Language.AssertedHint |
| LessEqual | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| LessEqual' | Jikka.Core.Language.BuiltinPatterns |
| LessThan | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| LessThan' | Jikka.Core.Language.BuiltinPatterns |
| Let | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| LexicalError | Jikka.Common.Error |
| lexicalError | Jikka.Common.Error |
| lexicalErrorAt | Jikka.Common.Error |
| lift | Jikka.Common.Error |
| liftCatch | Jikka.Common.Alpha |
| liftEither | Jikka.Common.Error |
| liftIO | Jikka.Common.Error |
| liftM | Jikka.Common.Error |
| liftM2 | Jikka.Common.Error |
| liftM3 | Jikka.Common.Error |
| liftM4 | Jikka.Common.Error |
| liftM5 | Jikka.Common.Error |
| line | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| lint | Jikka.Core.Language.Lint |
| List | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| list | Jikka.RestrictedPython.Language.WithoutLoc |
| ListComp | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| listComp | Jikka.RestrictedPython.Language.WithoutLoc |
| listDirectoryRecursive | Jikka.Common.FileEmbed |
| listExprs | Jikka.RestrictedPython.Language.Util |
| listStatements | Jikka.RestrictedPython.Language.Util |
| listSubExprs | |
| 1 (Function) | Jikka.Core.Language.Util |
| 2 (Function) | Jikka.RestrictedPython.Language.Util |
| ListTy | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| ListVal | Jikka.RestrictedPython.Language.Value |
| Lit | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lit0 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lit1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Lit2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitBool | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitBool' | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitBottom | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitBuiltin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitChar | Jikka.CPlusPlus.Language.Expr |
| Literal | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| literalToType | Jikka.Core.Language.TypeCheck |
| literalToValue | Jikka.Core.Language.Value |
| LitFalse | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitInt | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitInt' | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitInt32 | Jikka.CPlusPlus.Language.Expr |
| litInt32 | Jikka.CPlusPlus.Language.Util |
| LitInt64 | Jikka.CPlusPlus.Language.Expr |
| litInt64 | Jikka.CPlusPlus.Language.Util |
| LitMinus1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitNil | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| LitString | Jikka.CPlusPlus.Language.Expr |
| LitTrue | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Load | Jikka.Python.Language.Expr |
| Loc | |
| 1 (Type/Class) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| loc | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| loc' | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| Local | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.Value |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Value |
| LocalArgumentNameHint | Jikka.Common.Name |
| LocalNameHint | Jikka.Common.Name |
| Loop | Jikka.Common.IOFormat |
| LoopCounterNameHint | Jikka.Common.Name |
| lowerBoundWithHints | Jikka.Core.Language.AssertedHint |
| Lt | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| LtE | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 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 |
| Name | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| name | Jikka.RestrictedPython.Language.WithoutLoc |
| namecheckExpr | Jikka.Core.Language.NameCheck |
| namecheckProgram | Jikka.Core.Language.NameCheck |
| namecheckToplevelExpr | Jikka.Core.Language.NameCheck |
| NamedExpr | Jikka.Python.Language.Expr |
| NameFlavour | Jikka.Common.Name |
| NameHint | Jikka.Common.Name |
| NameTrg | Jikka.RestrictedPython.Language.Expr |
| nameTrg | Jikka.RestrictedPython.Language.WithoutLoc |
| Negate | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Negate' | Jikka.Core.Language.BuiltinPatterns |
| negateArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| negateModuloExpr | Jikka.Core.Language.ModuloExpr |
| newFreshName | Jikka.CPlusPlus.Language.Util |
| Newline | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| nextCounter | Jikka.Common.Alpha |
| Nil' | Jikka.Core.Language.BuiltinPatterns |
| None | Jikka.Python.Parse.Token |
| NoneTy | Jikka.RestrictedPython.Language.Expr |
| Nonfix | Jikka.Common.Parse.ShuntingYard |
| Nonlocal | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| normalizeFormatTree | Jikka.Common.IOFormat |
| normalizeIOFormat | Jikka.Common.IOFormat |
| Not | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Not' | Jikka.Core.Language.BuiltinPatterns |
| NotEq | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| NotEqual | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Parse.Token |
| NotEqual' | Jikka.Core.Language.BuiltinPatterns |
| NotEqualHint | Jikka.Core.Language.AssertedHint |
| NotIn | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| NotOp | Jikka.Python.Parse.Token |
| nullWithHints | Jikka.Core.Language.AssertedHint |
| OccName | Jikka.Common.Name |
| OpenBrace | Jikka.Python.Parse.Token |
| OpenBracket | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| OpenParen | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Operator | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Type/Class) | Jikka.Core.Parse.Token |
| 3 (Type/Class) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Options | |
| 1 (Type/Class) | Jikka.Main |
| 2 (Data Constructor) | Jikka.Main |
| options | Jikka.Main |
| Or | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| 4 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Or' | Jikka.Core.Language.BuiltinPatterns |
| OrOp | Jikka.Python.Parse.Token |
| outputTree | Jikka.Common.IOFormat |
| outputVariables | Jikka.Common.IOFormat |
| packSubscriptedVar | Jikka.Common.IOFormat |
| packSubscriptedVar' | Jikka.Common.IOFormat |
| parseArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| parseExpr | Jikka.Core.Parse |
| parseFlags | Jikka.Main |
| parseHints | Jikka.Core.Language.AssertedHint |
| parseLinearFunctionBody | Jikka.Core.Convert.ConvexHullTrick |
| parseLinearFunctionBody' | Jikka.Core.Convert.ConvexHullTrick |
| parseModuloExpr | Jikka.Core.Language.ModuloExpr |
| parseProgram | Jikka.Core.Parse |
| parseRule | Jikka.Core.Parse |
| parseTarget | Jikka.Main.Target |
| parseType | Jikka.Core.Parse |
| Pass | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Permute | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| permute | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| Permute' | Jikka.Core.Language.BuiltinPatterns |
| Plus | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| Plus' | Jikka.Core.Language.BuiltinPatterns |
| plusArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| plusModuloExpr | Jikka.Core.Language.ModuloExpr |
| PlusOp | Jikka.Python.Parse.Token |
| postcondition | Jikka.Core.Language.Lint |
| Pow | |
| 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 |
| Pow' | Jikka.Core.Language.BuiltinPatterns |
| PowOp | Jikka.Python.Parse.Token |
| Prec | Jikka.Common.Parse.ShuntingYard |
| precondition | Jikka.Core.Language.Lint |
| prettyError | Jikka.Common.Format.Error |
| prettyError' | Jikka.Common.Format.Error |
| prettyErrorWithText | Jikka.Common.Format.Error |
| prettyLoc | Jikka.Common.Format.Location |
| prettyLocWithText | Jikka.Common.Format.Location |
| Product | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Product' | Jikka.Core.Language.BuiltinPatterns |
| Program | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 4 (Type/Class) | Jikka.Python.Language.Expr |
| 5 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Proj | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Proj' | Jikka.Core.Language.BuiltinPatterns |
| pureRewriteRule | Jikka.Core.Language.RewriteRules |
| putTrailingNewline | Jikka.Common.Parse.JoinLines |
| PythonTarget | Jikka.Main.Target |
| r | Jikka.Core.Language.QuasiRules |
| Raise | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Range | Jikka.CPlusPlus.Language.Expr |
| Range1 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Range1' | Jikka.Core.Language.BuiltinPatterns |
| Range2 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Range2' | Jikka.Core.Language.BuiltinPatterns |
| Range3 | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Range3' | Jikka.Core.Language.BuiltinPatterns |
| ReadList | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.VariableAnalysis |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.VariableAnalysis |
| readList' | Jikka.CPlusPlus.Language.VariableAnalysis |
| readValueIO | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| readVariable | Jikka.CPlusPlus.Language.VariableAnalysis |
| ReadWriteList | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.VariableAnalysis |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.VariableAnalysis |
| Rec | Jikka.Core.Parse.Token |
| Red | Jikka.Common.Format.Color |
| reduceAll | Jikka.Core.Convert.CloseAll |
| reduceAny | Jikka.Core.Convert.CloseAll |
| reduceArgMax | Jikka.Core.Convert.CloseMin |
| reduceArgMin | Jikka.Core.Convert.CloseMin |
| reduceBuild | Jikka.Core.Convert.ShortCutFusion |
| reduceConstArithmeticExpr | Jikka.Core.Convert.ConstantFolding |
| reduceConstBitExpr | Jikka.Core.Convert.ConstantFolding |
| reduceConstBooleanExpr | Jikka.Core.Convert.ConstantFolding |
| reduceConstIntComparison | Jikka.Core.Convert.ConstantFolding |
| reduceConstMaxExpr | Jikka.Core.Convert.ConstantFolding |
| reduceCumulativeSum | Jikka.Core.Convert.SegmentTree |
| reduceFold | Jikka.Core.Convert.ShortCutFusion |
| reduceFoldBuild | Jikka.Core.Convert.ShortCutFusion |
| reduceFoldlSetAtAccumulation | Jikka.Core.Convert.MakeScanl |
| reduceFoldlSetAtGeneric | Jikka.Core.Convert.MakeScanl |
| reduceFoldlSetAtRecurrence | Jikka.Core.Convert.MakeScanl |
| reduceFoldMap | Jikka.Core.Convert.ShortCutFusion |
| reduceIdempotentBooleanExpr | Jikka.Core.Convert.ConstantFolding |
| reduceIntInjective | Jikka.Core.Convert.EqualitySolving |
| reduceListCtor | Jikka.Core.Convert.EqualitySolving |
| reduceListInjective | Jikka.Core.Convert.EqualitySolving |
| reduceMap | Jikka.Core.Convert.ShortCutFusion |
| reduceMapBuild | Jikka.Core.Convert.ShortCutFusion |
| reduceMapMap | Jikka.Core.Convert.ShortCutFusion |
| reduceMax | Jikka.Core.Convert.CloseMin |
| reduceMin | |
| 1 (Function) | Jikka.Core.Convert.SegmentTree |
| 2 (Function) | Jikka.Core.Convert.CloseMin |
| reduceModProduct | Jikka.Core.Convert.CloseSum |
| reduceModSum | Jikka.Core.Convert.CloseSum |
| reduceNot | Jikka.Core.Convert.EqualitySolving |
| reduceProduct | Jikka.Core.Convert.CloseSum |
| reduceReflexivity | Jikka.Core.Convert.EqualitySolving |
| reduceScanlBuild | Jikka.Core.Convert.MakeScanl |
| reduceSum | Jikka.Core.Convert.CloseSum |
| reduceUnitBitExpr | Jikka.Core.Convert.ConstantFolding |
| reduceUnitBooleanComparison | Jikka.Core.Convert.ConstantFolding |
| reduceUnitBooleanExpr | Jikka.Core.Convert.ConstantFolding |
| removeEmptyLines | Jikka.Common.Parse.JoinLines |
| renameVarName | Jikka.CPlusPlus.Language.Util |
| renameVarName' | Jikka.CPlusPlus.Language.Util |
| renameVarNameStatement | Jikka.CPlusPlus.Language.Util |
| replaceExpr | Jikka.CPlusPlus.Language.Util |
| replaceLenF | Jikka.Core.Language.Util |
| replaceStatement | Jikka.CPlusPlus.Language.Util |
| replicateM | Jikka.Common.Error |
| replicateM_ | Jikka.Common.Error |
| reportErrors | Jikka.Common.Error |
| reportErrors2 | Jikka.Common.Error |
| reportErrors3 | Jikka.Common.Error |
| reportErrors4 | Jikka.Common.Error |
| reportErrors5 | Jikka.Common.Error |
| repStatement | Jikka.CPlusPlus.Language.Util |
| resetAlphaT | Jikka.Common.Alpha |
| resolveAttribute | Jikka.RestrictedPython.Language.Builtin |
| resolveAttribute' | Jikka.RestrictedPython.Language.Builtin |
| resolveBuiltin | Jikka.RestrictedPython.Language.Builtin |
| resolveUniqueBuiltin | Jikka.RestrictedPython.Language.Builtin |
| Responsibility | Jikka.Common.Error |
| RestrictedPythonTarget | Jikka.Main.Target |
| ResultExpr | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Return | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Parse.Token |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| return | Jikka.Common.Error |
| Reversed | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Reversed' | Jikka.Core.Language.BuiltinPatterns |
| RewriteEnvironment | |
| 1 (Type/Class) | Jikka.Core.Language.RewriteRules |
| 2 (Data Constructor) | Jikka.Core.Language.RewriteRules |
| RewriteRule | Jikka.Core.Language.RewriteRules |
| Rightfix | Jikka.Common.Parse.ShuntingYard |
| rule | |
| 1 (Function) | Jikka.Core.Convert.Eta |
| 2 (Function) | Jikka.Core.Convert.BubbleLet |
| 3 (Function) | Jikka.Core.Convert.Beta |
| 4 (Function) | Jikka.Core.Convert.UnpackTuple |
| 5 (Function) | Jikka.Core.Convert.SegmentTree |
| 6 (Function) | Jikka.Core.Convert.MakeScanl |
| 7 (Function) | Jikka.Core.Convert.KubaruToMorau |
| 8 (Function) | Jikka.Core.Convert.CumulativeSum |
| 9 (Function) | Jikka.Core.Convert.ConvexHullTrick |
| 10 (Function) | Jikka.Core.Convert.SortAbs |
| 11 (Function) | Jikka.Core.Convert.ShortCutFusion |
| 12 (Function) | Jikka.Core.Convert.EqualitySolving |
| 13 (Function) | Jikka.Core.Convert.ConstantFolding |
| 14 (Function) | Jikka.Core.Convert.CloseSum |
| 15 (Function) | Jikka.Core.Convert.CloseMin |
| 16 (Function) | Jikka.Core.Convert.CloseAll |
| run | |
| 1 (Function) | Jikka.Common.Format.Show |
| 2 (Function) | Jikka.CPlusPlus.Format |
| 3 (Function) | Jikka.CPlusPlus.Convert.UseInitialization |
| 4 (Function) | Jikka.CPlusPlus.Convert.MoveSemantics |
| 5 (Function) | Jikka.CPlusPlus.Convert.UnpackTuples |
| 6 (Function) | Jikka.CPlusPlus.Convert.OptimizeRange |
| 7 (Function) | Jikka.CPlusPlus.Convert.InlineSetAt |
| 8 (Function) | Jikka.CPlusPlus.Convert.BurnFlavouredNames |
| 9 (Function) | Jikka.CPlusPlus.Convert.AddMain |
| 10 (Function) | Jikka.Common.Parse.Read |
| 11 (Function) | Jikka.Common.Parse.ShuntingYard |
| 12 (Function) | Jikka.Core.Format |
| 13 (Function) | Jikka.Core.Convert.TrivialLetElimination |
| 14 (Function) | Jikka.Core.Convert.Eta |
| 15 (Function) | Jikka.Core.Convert.BubbleLet |
| 16 (Function) | Jikka.Core.Convert.Beta |
| 17 (Function) | Jikka.Core.Convert.Alpha |
| 18 (Function) | Jikka.Core.Convert.SpecializeFoldl |
| 19 (Function) | Jikka.Core.Convert.UnpackTuple |
| 20 (Function) | Jikka.Core.Convert.TypeInfer |
| 21 (Function) | Jikka.Core.Convert.SegmentTree |
| 22 (Function) | Jikka.Core.Convert.RemoveUnusedVars |
| 23 (Function) | Jikka.Core.Convert.PropagateMod |
| 24 (Function) | Jikka.Core.Convert.MatrixExponentiation |
| 25 (Function) | Jikka.Core.Convert.MakeScanl |
| 26 (Function) | Jikka.Core.Convert.KubaruToMorau |
| 27 (Function) | Jikka.Core.Convert.CumulativeSum |
| 28 (Function) | Jikka.Core.Convert.ConvexHullTrick |
| 29 (Function) | Jikka.Core.Convert.ConstantPropagation |
| 30 (Function) | Jikka.Core.Convert.ArithmeticExpr |
| 31 (Function) | Jikka.Core.Convert.ANormal |
| 32 (Function) | Jikka.CPlusPlus.Convert.FromCore |
| 33 (Function) | Jikka.CPlusPlus.Convert |
| 34 (Function) | Jikka.Core.Evaluate |
| 35 (Function) | Jikka.Core.Parse.Alex |
| 36 (Function) | Jikka.Core.Parse |
| 37 (Function) | Jikka.Core.Convert.SortAbs |
| 38 (Function) | Jikka.Core.Convert.ShortCutFusion |
| 39 (Function) | Jikka.Core.Convert.EqualitySolving |
| 40 (Function) | Jikka.Core.Convert.ConstantFolding |
| 41 (Function) | Jikka.Core.Convert.CloseSum |
| 42 (Function) | Jikka.Core.Convert.CloseMin |
| 43 (Function) | Jikka.Core.Convert.CloseAll |
| 44 (Function) | Jikka.Core.Convert |
| 45 (Function) | Jikka.Python.Parse.Happy |
| 46 (Function) | Jikka.Python.Parse.Alex |
| 47 (Function) | Jikka.Python.Parse |
| 48 (Function) | Jikka.RestrictedPython.Format |
| 49 (Function) | Jikka.RestrictedPython.Convert.UseAppend |
| 50 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| 51 (Function) | Jikka.RestrictedPython.Convert.RemoveUnreachable |
| 52 (Function) | Jikka.RestrictedPython.Convert.RemoveUnbalancedIf |
| 53 (Function) | Jikka.RestrictedPython.Convert.ParseMain |
| 54 (Function) | Jikka.RestrictedPython.Convert.DefaultMain |
| 55 (Function) | Jikka.Python.Convert.ToRestrictedPython |
| 56 (Function) | Jikka.RestrictedPython.Evaluate |
| 57 (Function) | Jikka.RestrictedPython.Convert.ResolveBuiltin |
| 58 (Function) | Jikka.RestrictedPython.Convert.ToCore |
| 59 (Function) | Jikka.RestrictedPython.Convert.Alpha |
| 60 (Function) | Jikka.RestrictedPython.Convert.SplitLoops |
| 61 (Function) | Jikka.RestrictedPython.Convert |
| 62 (Function) | Jikka.Main.Subcommand.Execute |
| 63 (Function) | Jikka.Main.Subcommand.Debug |
| 64 (Function) | Jikka.Main.Subcommand.Convert |
| 65 (Function) | Jikka.CPlusPlus.Convert.EmbedOriginalCode |
| 66 (Function) | Jikka.CPlusPlus.Convert.BundleRuntime |
| run' | |
| 1 (Function) | Jikka.CPlusPlus.Format |
| 2 (Function) | Jikka.Core.Convert.TrivialLetElimination |
| 3 (Function) | Jikka.Core.Convert.RemoveUnusedVars |
| 4 (Function) | Jikka.Core.Convert.ConstantPropagation |
| 5 (Function) | Jikka.RestrictedPython.Format |
| 6 (Function) | Jikka.RestrictedPython.Convert.SplitLoops |
| 7 (Function) | Jikka.RestrictedPython.Convert |
| 8 (Function) | Jikka.CPlusPlus.Convert.EmbedOriginalCode |
| runAlphaT | Jikka.Common.Alpha |
| runExcept | Jikka.Common.Error |
| runExceptT | Jikka.Common.Error |
| runExpr | |
| 1 (Function) | Jikka.Core.Convert.Alpha |
| 2 (Function) | Jikka.Core.Convert.TypeInfer |
| 3 (Function) | Jikka.Core.Convert.ArithmeticExpr |
| 4 (Function) | Jikka.Core.Parse.Happy |
| runForLoop | Jikka.RestrictedPython.Convert.SplitLoops |
| runForStatement | Jikka.RestrictedPython.Convert.ToCore |
| runFunctionBody | Jikka.Core.Convert.KubaruToMorau |
| runIfStatement | Jikka.RestrictedPython.Convert.ToCore |
| runProgram | |
| 1 (Function) | Jikka.Core.Convert.Alpha |
| 2 (Function) | Jikka.Core.Parse.Happy |
| runRule | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.Core.Parse.Happy |
| runSubcommand | Jikka.Main |
| RuntimeError | Jikka.Common.Error |
| runtimeError | Jikka.Common.Error |
| runToplevelExpr | Jikka.Core.Convert.Alpha |
| runType | Jikka.Core.Parse.Happy |
| runWithGlobal | Jikka.RestrictedPython.Evaluate |
| Scanl | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Scanl' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTree | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeCopySetPoint | Jikka.CPlusPlus.Language.Expr |
| SegmentTreeCtor | Jikka.CPlusPlus.Language.Expr |
| SegmentTreeGetRange | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeGetRange' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeInitList | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeInitList' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeSetPoint | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SegmentTreeSetPoint' | Jikka.Core.Language.BuiltinPatterns |
| SegmentTreeTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemanticError | Jikka.Common.Error |
| semanticError | Jikka.Common.Error |
| Semicolon | Jikka.Python.Parse.Token |
| Semigroup' | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntGcd | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntLcm | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntMax | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntMin | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SemigroupIntPlus | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| semigroupToType | Jikka.Core.Language.TypeCheck |
| Seq | Jikka.Common.IOFormat |
| sequence | Jikka.Common.Error |
| sequence_ | Jikka.Common.Error |
| Set | Jikka.Python.Language.Expr |
| SetAt | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| SetAt' | Jikka.Core.Language.BuiltinPatterns |
| SetComp | Jikka.Python.Language.Expr |
| shouldBeArray | Jikka.CPlusPlus.Language.Util |
| SideEffectTy | Jikka.RestrictedPython.Language.Expr |
| SimpleAssign | Jikka.CPlusPlus.Language.Expr |
| simpleRewriteRule | Jikka.Core.Language.RewriteRules |
| size | Jikka.CPlusPlus.Language.Util |
| sizeOfMatrixTy | Jikka.Core.Language.Util |
| sizeOfVectorTy | Jikka.Core.Language.Util |
| Slice | Jikka.Python.Language.Expr |
| Snoc | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Snoc' | Jikka.Core.Language.BuiltinPatterns |
| solveEquations | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| solveVarName | Jikka.RestrictedPython.Language.Util |
| Sorted | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Sorted' | Jikka.Core.Language.BuiltinPatterns |
| sortEquations | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| Source | Jikka.Main |
| source | Jikka.Main |
| splitConstantFactorArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| splitToSumArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| standardBuiltinNames | Jikka.RestrictedPython.Language.Builtin |
| Starred | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Statement | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Statement' | Jikka.Python.Language.Expr |
| StaticAssert | Jikka.CPlusPlus.Language.Expr |
| StdGet | Jikka.CPlusPlus.Language.Expr |
| StdTuple | Jikka.CPlusPlus.Language.Expr |
| Store | Jikka.Python.Language.Expr |
| String | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| StringTy | Jikka.RestrictedPython.Language.Expr |
| Sub | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| SubAssign | Jikka.CPlusPlus.Language.Expr |
| subExp | Jikka.RestrictedPython.Language.WithoutLoc |
| Subscript | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| subscript | Jikka.RestrictedPython.Language.WithoutLoc |
| SubscriptSlice | Jikka.RestrictedPython.Language.Expr |
| SubscriptTrg | Jikka.RestrictedPython.Language.Expr |
| subscriptTrg | Jikka.RestrictedPython.Language.WithoutLoc |
| Subst | |
| 1 (Type/Class) | Jikka.Core.Convert.TypeInfer |
| 2 (Data Constructor) | Jikka.Core.Convert.TypeInfer |
| 3 (Type/Class) | Jikka.RestrictedPython.Convert.TypeInfer |
| 4 (Data Constructor) | Jikka.RestrictedPython.Convert.TypeInfer |
| subst | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| substDefault | Jikka.Core.Convert.TypeInfer |
| substitute | Jikka.Core.Language.Beta |
| substituteToplevelExpr | Jikka.Core.Language.Beta |
| substProgram | Jikka.Core.Convert.TypeInfer |
| Sum | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Sum' | Jikka.Core.Language.BuiltinPatterns |
| sumArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| SymbolError | Jikka.Common.Error |
| symbolError | Jikka.Common.Error |
| symbolErrorAt | Jikka.Common.Error |
| SyntaxError | Jikka.Common.Error |
| syntaxError | Jikka.Common.Error |
| syntaxErrorAt | Jikka.Common.Error |
| Target | |
| 1 (Type/Class) | Jikka.Main.Target |
| 2 (Type/Class) | Jikka.Python.Language.Expr |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.Main |
| target | Jikka.Main |
| Target' | |
| 1 (Type/Class) | Jikka.Python.Language.Expr |
| 2 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| targetToExpr | Jikka.RestrictedPython.Language.Util |
| targetVars | Jikka.RestrictedPython.Language.Util |
| targetVars' | Jikka.RestrictedPython.Language.Util |
| Then | Jikka.Core.Parse.Token |
| throwAssertionError | Jikka.Common.Error |
| throwCommandLineError | Jikka.Common.Error |
| throwError | Jikka.Common.Error |
| throwEvaluationError | Jikka.Common.Error |
| throwInternalError | Jikka.Common.Error |
| throwInternalErrorAt | Jikka.Common.Error |
| throwInternalErrorAt' | Jikka.Common.Error |
| throwLexicalError | Jikka.Common.Error |
| throwLexicalErrorAt | Jikka.Common.Error |
| throwRuntimeError | Jikka.Common.Error |
| throwRuntimeErrorAt | Jikka.Common.Error |
| throwRuntimeErrorAt' | Jikka.Common.Error |
| throwSemanticError | Jikka.Common.Error |
| throwSemanticErrorAt | Jikka.Common.Error |
| throwSemanticErrorAt' | Jikka.Common.Error |
| throwSymbolError | Jikka.Common.Error |
| throwSymbolErrorAt | Jikka.Common.Error |
| throwSymbolErrorAt' | Jikka.Common.Error |
| throwSyntaxError | Jikka.Common.Error |
| throwSyntaxErrorAt | Jikka.Common.Error |
| throwSyntaxErrorAt' | Jikka.Common.Error |
| throwTypeError | Jikka.Common.Error |
| throwTypeErrorAt | Jikka.Common.Error |
| throwTypeErrorAt' | Jikka.Common.Error |
| throwWrongInputError | Jikka.Common.Error |
| toBool | Jikka.RestrictedPython.Language.Value |
| toBoolList | Jikka.RestrictedPython.Language.Value |
| todo | Jikka.Common.Error |
| toFlavouredName | Jikka.Common.Name |
| toInt | Jikka.RestrictedPython.Language.Value |
| toIntList | Jikka.RestrictedPython.Language.Value |
| Token | |
| 1 (Type/Class) | Jikka.Core.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Parse.Token |
| Token' | |
| 1 (Type/Class) | Jikka.Core.Parse.Token |
| 2 (Type/Class) | Jikka.Python.Parse.Token |
| toList | Jikka.RestrictedPython.Language.Value |
| toMatrix | Jikka.RestrictedPython.Language.Value |
| toModInt | Jikka.Common.ModInt |
| ToplevelAnnAssign | Jikka.RestrictedPython.Language.Expr |
| ToplevelAssert | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| ToplevelExpr | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ToplevelFunctionDef | Jikka.RestrictedPython.Language.Expr |
| ToplevelLet | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| ToplevelLetRec | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| toplevelMainDef | Jikka.RestrictedPython.Language.Util |
| ToplevelStatement | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| topologicalSort | Jikka.Common.Graph |
| toTuple | Jikka.RestrictedPython.Language.Value |
| traceRewriteRule | Jikka.Core.Language.RewriteRules |
| Try | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Tuple | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| Tuple' | Jikka.Core.Language.BuiltinPatterns |
| TupleTrg | Jikka.RestrictedPython.Language.Expr |
| tupleTrg | Jikka.RestrictedPython.Language.WithoutLoc |
| TupleTy | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| TupleVal | Jikka.RestrictedPython.Language.Value |
| TyArray | Jikka.CPlusPlus.Language.Expr |
| TyAuto | Jikka.CPlusPlus.Language.Expr |
| TyBool | Jikka.CPlusPlus.Language.Expr |
| TyConvexHullTrick | Jikka.CPlusPlus.Language.Expr |
| TyFunction | Jikka.CPlusPlus.Language.Expr |
| TyInt | Jikka.CPlusPlus.Language.Expr |
| TyInt32 | Jikka.CPlusPlus.Language.Expr |
| TyInt64 | Jikka.CPlusPlus.Language.Expr |
| TyIntValue | Jikka.CPlusPlus.Language.Expr |
| Type | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Type/Class) | Jikka.Python.Language.Expr |
| 4 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Type' | Jikka.Python.Language.Expr |
| TypeAssertion | |
| 1 (Data Constructor) | Jikka.Core.Convert.TypeInfer |
| 2 (Data Constructor) | Jikka.RestrictedPython.Convert.TypeInfer |
| typeAttribute | Jikka.RestrictedPython.Language.Builtin |
| typeBuiltin | Jikka.RestrictedPython.Language.Builtin |
| typecheckExpr | Jikka.Core.Language.TypeCheck |
| typecheckProgram | Jikka.Core.Language.TypeCheck |
| typecheckToplevelExpr | Jikka.Core.Language.TypeCheck |
| TypeEnv | Jikka.Core.Language.TypeCheck |
| typeEnv | Jikka.Core.Language.RewriteRules |
| TypeEquation | |
| 1 (Data Constructor) | Jikka.Core.Convert.TypeInfer |
| 2 (Data Constructor) | Jikka.RestrictedPython.Convert.TypeInfer |
| TypeError | Jikka.Common.Error |
| typeError | Jikka.Common.Error |
| TypeName | |
| 1 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| TySegmentTree | Jikka.CPlusPlus.Language.Expr |
| TyString | Jikka.CPlusPlus.Language.Expr |
| TyTuple | Jikka.CPlusPlus.Language.Expr |
| TyVector | Jikka.CPlusPlus.Language.Expr |
| TyVoid | Jikka.CPlusPlus.Language.Expr |
| UAdd | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| UnaryOp | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Type/Class) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Language.Expr |
| 4 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| unaryOp | Jikka.RestrictedPython.Language.WithoutLoc |
| unAttributeName | Jikka.RestrictedPython.Language.Expr |
| uncurryApp | Jikka.Core.Language.Util |
| uncurryFunTy | Jikka.Core.Language.Util |
| uncurryLam | Jikka.Core.Language.Util |
| Underscore | |
| 1 (Data Constructor) | Jikka.Core.Parse.Token |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| underscoreVarName | Jikka.RestrictedPython.Language.Util |
| unIdent | Jikka.Python.Language.Expr |
| UnitTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| unless | Jikka.Common.Error |
| unLocal | Jikka.RestrictedPython.Language.Value |
| unMatrix | Jikka.Common.Matrix |
| unModulo | Jikka.Core.Language.ModuloExpr |
| unNPlusKPattern | Jikka.Core.Language.ArithmeticExpr |
| UnOp | Jikka.CPlusPlus.Language.Expr |
| unpackSubscriptedVar | Jikka.Common.IOFormat |
| UnresolvedAttribute | Jikka.RestrictedPython.Language.Expr |
| unSubst | |
| 1 (Function) | Jikka.Core.Convert.TypeInfer |
| 2 (Function) | Jikka.RestrictedPython.Convert.TypeInfer |
| upperBoundWithHints | Jikka.Core.Language.AssertedHint |
| UserMistake | Jikka.Common.Error |
| USub | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| ValBool | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| ValBuiltin | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| ValInt | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| ValLambda | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| ValList | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| ValTuple | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| Value | |
| 1 (Type/Class) | Jikka.Core.Language.Value, Jikka.Core.Evaluate |
| 2 (Type/Class) | Jikka.RestrictedPython.Language.Value |
| value | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| value' | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| valueFromMatrix | Jikka.Core.Language.Value |
| valueFromModMatrix | Jikka.Core.Language.Value |
| valueFromModVector | Jikka.Core.Language.Value |
| valueFromVector | Jikka.Core.Language.Value |
| valueToBool | Jikka.Core.Language.Value |
| valueToBoolList | Jikka.Core.Language.Value |
| valueToInt | Jikka.Core.Language.Value |
| valueToIntList | Jikka.Core.Language.Value |
| valueToIntPair | Jikka.Core.Language.Value |
| valueToList | Jikka.Core.Language.Value |
| valueToMatrix | Jikka.Core.Language.Value |
| valueToModMatrix | Jikka.Core.Language.Value |
| valueToModVector | Jikka.Core.Language.Value |
| valueToTuple | Jikka.Core.Language.Value |
| valueToVector | Jikka.Core.Language.Value |
| Var | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| VarDef | Jikka.CPlusPlus.Language.Expr |
| VarName | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 4 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 5 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| 6 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| VarName' | Jikka.RestrictedPython.Language.Expr |
| VarTy | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.Expr |
| VecCtor | Jikka.CPlusPlus.Language.Expr |
| vecCtor | Jikka.CPlusPlus.Language.Util |
| VecExt | Jikka.CPlusPlus.Language.Expr |
| VecFloorMod | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| VecFloorMod' | Jikka.Core.Language.BuiltinPatterns |
| vectorTy | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Verbose | Jikka.Main |
| verbose | Jikka.Main |
| Version | Jikka.Main |
| void | Jikka.Common.Error |
| WalrusOp | Jikka.Python.Parse.Token |
| when | Jikka.Common.Error |
| While | |
| 1 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Language.Expr |
| 3 (Data Constructor) | Jikka.Python.Parse.Token |
| White | Jikka.Common.Format.Color |
| width | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| With | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| withBold | Jikka.Common.Format.Color |
| withColor | Jikka.Common.Format.Color |
| withExcept | Jikka.Common.Error |
| withExceptT | Jikka.Common.Error |
| WithGroup | Jikka.Common.Error |
| WithItem | Jikka.Python.Language.Expr |
| WithLoc | |
| 1 (Type/Class) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| WithLoc' | |
| 1 (Type/Class) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| 2 (Data Constructor) | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| WithLocation | Jikka.Common.Error |
| withoutLoc | Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr |
| WithResponsibility | Jikka.Common.Error |
| WithWrapped | Jikka.Common.Error |
| wrapAt | Jikka.Common.Error |
| wrapAt' | Jikka.Common.Error |
| wrapError | Jikka.Common.Error |
| wrapError' | Jikka.Common.Error |
| WriteList | |
| 1 (Type/Class) | Jikka.RestrictedPython.Language.VariableAnalysis |
| 2 (Data Constructor) | Jikka.RestrictedPython.Language.VariableAnalysis |
| writeList | Jikka.CPlusPlus.Language.VariableAnalysis |
| writeValueIO | |
| 1 (Function) | Jikka.Core.Language.Value |
| 2 (Function) | Jikka.RestrictedPython.Language.Value |
| writeVariable | Jikka.CPlusPlus.Language.VariableAnalysis |
| WrongInputError | Jikka.Common.Error |
| wrongInputError | Jikka.Common.Error |
| Yellow | Jikka.Common.Format.Color |
| Yield | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| YieldFrom | Jikka.Python.Language.Expr |
| zipWithM | Jikka.Common.Error |
| zipWithM_ | Jikka.Common.Error |