<$ | 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 |