Jikka-5.5.0.0: A transpiler from Python to C++ for competitive programming

Index

<$Jikka.Common.Error
<$!>Jikka.Common.Error
<=<Jikka.Common.Error
=<<Jikka.Common.Error
>=>Jikka.Common.Error
>>Jikka.Common.Error
>>=Jikka.Common.Error
AbsJikka.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
AddAssignJikka.CPlusPlus.Language.Expr
addExpJikka.RestrictedPython.Language.WithoutLoc
additionalBuiltinNamesJikka.RestrictedPython.Language.Builtin
AliasJikka.Python.Language.Expr
AllJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
All'Jikka.Core.Language.BuiltinPatterns
AllHintJikka.Core.Language.AssertedHint
alphaExprJikka.Core.Language.QuasiRules
AlphaT 
1 (Type/Class)Jikka.Common.Alpha
2 (Data Constructor)Jikka.Common.Alpha
analyzeAssignExprJikka.CPlusPlus.Language.VariableAnalysis
analyzeExpr 
1 (Function)Jikka.CPlusPlus.Language.VariableAnalysis
2 (Function)Jikka.RestrictedPython.Language.VariableAnalysis
analyzeLeftExprJikka.CPlusPlus.Language.VariableAnalysis
analyzeStatementJikka.CPlusPlus.Language.VariableAnalysis
analyzeStatementGenericJikka.RestrictedPython.Language.VariableAnalysis
analyzeStatementMaxJikka.RestrictedPython.Language.VariableAnalysis
analyzeStatementMinJikka.RestrictedPython.Language.VariableAnalysis
analyzeStatementsJikka.CPlusPlus.Language.VariableAnalysis
analyzeStatementsGenericJikka.RestrictedPython.Language.VariableAnalysis
analyzeStatementsMaxJikka.RestrictedPython.Language.VariableAnalysis
analyzeStatementsMinJikka.RestrictedPython.Language.VariableAnalysis
analyzeTargetReadJikka.RestrictedPython.Language.VariableAnalysis
analyzeTargetWriteJikka.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
AndOpJikka.Python.Parse.Token
AnnAssign 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
AnyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Any'Jikka.Core.Language.BuiltinPatterns
apJikka.Common.Error
AppJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
App2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
App3Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
App4Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin11Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin12Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin13Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin14Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin22Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin23Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppBuiltin3Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
AppendJikka.RestrictedPython.Language.Expr
applyRewriteRuleJikka.Core.Language.RewriteRules
applyRewriteRuleProgramJikka.Core.Language.RewriteRules
applyRewriteRuleProgram'Jikka.Core.Language.RewriteRules
applyRewriteRuleToplevelExprJikka.Core.Language.RewriteRules
ArgJikka.Python.Language.Expr
ArgMaxJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ArgMax'Jikka.Core.Language.BuiltinPatterns
ArgMinJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ArgMin'Jikka.Core.Language.BuiltinPatterns
argsArgsJikka.Python.Language.Expr
argsDefaultsJikka.Python.Language.Expr
argsKwargJikka.Python.Language.Expr
argsKwDefaultsJikka.Python.Language.Expr
argsKwonlyargsJikka.Python.Language.Expr
argsPosonlyargsJikka.Python.Language.Expr
argsVarargsJikka.Python.Language.Expr
ArgumentNameKindJikka.CPlusPlus.Language.Util
Arguments 
1 (Type/Class)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Language.Expr
ArithmeticExprJikka.Core.Language.ArithmeticExpr
arithmeticExprFromModuloExprJikka.Core.Language.ModuloExpr
arityOfBuiltinJikka.Core.Language.TypeCheck
ArrayExtJikka.CPlusPlus.Language.Expr
Arrow 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
AsJikka.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
AssertedHintJikka.Core.Language.AssertedHint
assertedHintsJikka.Core.Language.RewriteRules
AssertionErrorJikka.Common.Error
assertionErrorJikka.Common.Error
Assign 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Python.Language.Expr
assignAtJikka.CPlusPlus.Language.Util
AssignDecrJikka.CPlusPlus.Language.Expr
AssignExpr 
1 (Type/Class)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.CPlusPlus.Language.Expr
AssignIncrJikka.CPlusPlus.Language.Expr
AssignOpJikka.CPlusPlus.Language.Expr
assignSimpleJikka.CPlusPlus.Language.Util
AsyncJikka.Python.Parse.Token
AsyncForJikka.Python.Language.Expr
AsyncFunctionDefJikka.Python.Language.Expr
AsyncWithJikka.Python.Language.Expr
At 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Common.IOFormat
3 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
4 (Data Constructor)Jikka.Core.Parse.Token
atJikka.CPlusPlus.Language.Util
At'Jikka.Core.Language.BuiltinPatterns
AtOpJikka.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
attributeNamesJikka.RestrictedPython.Language.Builtin
AttributeValJikka.RestrictedPython.Language.Value
AugAddJikka.Python.Parse.Token
AugAssign 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
AugAtJikka.Python.Parse.Token
AugBitAndJikka.Python.Parse.Token
AugBitLShiftJikka.Python.Parse.Token
AugBitOrJikka.Python.Parse.Token
AugBitRShiftJikka.Python.Parse.Token
AugBitXorJikka.Python.Parse.Token
AugCeilDivJikka.Python.Parse.Token
AugCeilModJikka.Python.Parse.Token
AugDivJikka.Python.Parse.Token
AugFloorDivJikka.Python.Parse.Token
AugFloorModJikka.Python.Parse.Token
AugMaxJikka.Python.Parse.Token
AugMinJikka.Python.Parse.Token
AugMulJikka.Python.Parse.Token
AugOp 
1 (Data Constructor)Jikka.Python.Parse.Token
2 (Type/Class)Jikka.Python.Parse.Token
AugPowJikka.Python.Parse.Token
AugSubJikka.Python.Parse.Token
Await 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
BackArrowJikka.Core.Parse.Token
beginJikka.CPlusPlus.Language.Util
BinaryOpJikka.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
binOpJikka.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
BitAndAssignJikka.CPlusPlus.Language.Expr
BitAndOpJikka.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
BitLeftShiftAssignJikka.CPlusPlus.Language.Expr
BitLShift 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
BitLShiftOpJikka.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
BitNotOpJikka.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
BitOrAssignJikka.CPlusPlus.Language.Expr
BitOrOpJikka.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
BitRightShiftAssignJikka.CPlusPlus.Language.Expr
BitRShift 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
BitRShiftOpJikka.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
BitXorAssignJikka.CPlusPlus.Language.Expr
BitXorOpJikka.Python.Parse.Token
BlackJikka.Common.Format.Color
BlockJikka.CPlusPlus.Language.Expr
BlueJikka.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
BoolValJikka.RestrictedPython.Language.Value
Bottom'Jikka.Core.Language.BuiltinPatterns
BoundHintJikka.Core.Language.AssertedHint
Break 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
bugJikka.Common.Error
BuildJikka.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
Builtin1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Builtin2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
BuiltinAbsJikka.RestrictedPython.Language.Expr
BuiltinAllJikka.RestrictedPython.Language.Expr
BuiltinAnyJikka.RestrictedPython.Language.Expr
BuiltinAppendJikka.RestrictedPython.Language.Expr
BuiltinArgMaxJikka.RestrictedPython.Language.Expr
BuiltinArgMinJikka.RestrictedPython.Language.Expr
BuiltinBoolJikka.RestrictedPython.Language.Expr
BuiltinCeilDivJikka.RestrictedPython.Language.Expr
BuiltinCeilModJikka.RestrictedPython.Language.Expr
BuiltinChooseJikka.RestrictedPython.Language.Expr
BuiltinCopyJikka.RestrictedPython.Language.Expr
BuiltinCountJikka.RestrictedPython.Language.Expr
BuiltinDivModJikka.RestrictedPython.Language.Expr
BuiltinEnumerateJikka.RestrictedPython.Language.Expr
BuiltinFactJikka.RestrictedPython.Language.Expr
BuiltinFilterJikka.RestrictedPython.Language.Expr
BuiltinFloorDivJikka.RestrictedPython.Language.Expr
BuiltinFloorModJikka.RestrictedPython.Language.Expr
BuiltinGcdJikka.RestrictedPython.Language.Expr
BuiltinIndexJikka.RestrictedPython.Language.Expr
BuiltinInputJikka.RestrictedPython.Language.Expr
BuiltinIntJikka.RestrictedPython.Language.Expr
BuiltinLcmJikka.RestrictedPython.Language.Expr
BuiltinLenJikka.RestrictedPython.Language.Expr
BuiltinListJikka.RestrictedPython.Language.Expr
BuiltinMapJikka.RestrictedPython.Language.Expr
BuiltinMaxJikka.RestrictedPython.Language.Expr
BuiltinMax1Jikka.RestrictedPython.Language.Expr
BuiltinMinJikka.RestrictedPython.Language.Expr
BuiltinMin1Jikka.RestrictedPython.Language.Expr
BuiltinModInvJikka.RestrictedPython.Language.Expr
BuiltinModPowJikka.RestrictedPython.Language.Expr
BuiltinMultiChooseJikka.RestrictedPython.Language.Expr
builtinNamesJikka.RestrictedPython.Language.Builtin
BuiltinPermuteJikka.RestrictedPython.Language.Expr
BuiltinPowJikka.RestrictedPython.Language.Expr
BuiltinPrintJikka.RestrictedPython.Language.Expr
BuiltinProductJikka.RestrictedPython.Language.Expr
BuiltinRange1Jikka.RestrictedPython.Language.Expr
BuiltinRange2Jikka.RestrictedPython.Language.Expr
BuiltinRange3Jikka.RestrictedPython.Language.Expr
BuiltinReversedJikka.RestrictedPython.Language.Expr
BuiltinSortedJikka.RestrictedPython.Language.Expr
BuiltinSplitJikka.RestrictedPython.Language.Expr
BuiltinSumJikka.RestrictedPython.Language.Expr
builtinToTypeJikka.Core.Language.TypeCheck
BuiltinTupleJikka.RestrictedPython.Language.Expr
BuiltinValJikka.RestrictedPython.Language.Value
BuiltinZipJikka.RestrictedPython.Language.Expr
BundleRuntimeHeadersJikka.Main
bundleRuntimeHeadersJikka.Main
BytesJikka.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
callJikka.RestrictedPython.Language.WithoutLoc
CallableTyJikka.RestrictedPython.Language.Expr
CallExprJikka.CPlusPlus.Language.Expr
callFunctionJikka.CPlusPlus.Language.Util
callFunction'Jikka.CPlusPlus.Language.Util
callMethodJikka.CPlusPlus.Language.Util
callMethod'Jikka.CPlusPlus.Language.Util
callProgramJikka.Core.Evaluate
CastJikka.CPlusPlus.Language.Expr
castJikka.CPlusPlus.Language.Util
catchErrorJikka.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
ceilDivJikka.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
ceilModJikka.Core.Language.Runtime
CeilMod'Jikka.Core.Language.BuiltinPatterns
ChooseJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
choose 
1 (Function)Jikka.Common.Combinatorics
2 (Function)Jikka.Core.Language.Runtime
Choose'Jikka.Core.Language.BuiltinPatterns
cinStatementJikka.CPlusPlus.Language.Util
ClassJikka.Python.Parse.Token
ClassDefJikka.Python.Language.Expr
CloseBraceJikka.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
ClosureValJikka.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
CodeJikka.CPlusPlus.Format
Colon 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
ColorJikka.Common.Format.Color
ColorFlagJikka.Common.Format.Color
columnJikka.Common.Location, Jikka.RestrictedPython.Language.Expr
Comma 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
CommandLineErrorJikka.Common.Error
commandLineErrorJikka.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
compIfsJikka.Python.Language.Expr
compIterJikka.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
compTargetJikka.Python.Language.Expr
CondJikka.CPlusPlus.Language.Expr
ConsJikka.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
ConstantNameKindJikka.CPlusPlus.Language.Util
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
ConstBuiltinJikka.RestrictedPython.Language.Expr
constBuiltinExpJikka.RestrictedPython.Language.WithoutLoc
ConstBytesJikka.Python.Language.Expr
ConstFloatJikka.Python.Language.Expr
ConstImaginaryJikka.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
ConstStringJikka.Python.Language.Expr
Continue 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
convertGreaterToLessJikka.Core.Convert.EqualitySolving
ConvexHullTrickJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ConvexHullTrickCopyAddLineJikka.CPlusPlus.Language.Expr
ConvexHullTrickCtorJikka.CPlusPlus.Language.Expr
ConvexHullTrickGetMinJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ConvexHullTrickGetMin'Jikka.Core.Language.BuiltinPatterns
ConvexHullTrickInitJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ConvexHullTrickInit'Jikka.Core.Language.BuiltinPatterns
ConvexHullTrickInsertJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ConvexHullTrickInsert'Jikka.Core.Language.BuiltinPatterns
ConvexHullTrickTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
CoreTargetJikka.Main.Target
coutStatementJikka.CPlusPlus.Language.Util
CPlusPlusTargetJikka.Main.Target
curryAppJikka.Core.Language.Util
curryFunTyJikka.Core.Language.Util
curryLamJikka.Core.Language.Util
CyanJikka.Common.Format.Color
DataStructureJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
DataStructureTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
DeclareJikka.CPlusPlus.Language.Expr
DeclareCopyJikka.CPlusPlus.Language.Expr
DeclareDefaultJikka.CPlusPlus.Language.Expr
DeclareDestructureJikka.CPlusPlus.Language.Expr
DeclareInitializeJikka.CPlusPlus.Language.Expr
DeclareRightJikka.CPlusPlus.Language.Expr
declsJikka.CPlusPlus.Language.Expr
decomposeToStronglyConnectedComponentsJikka.Common.Graph
DecoratorJikka.Python.Language.Expr
Decorator'Jikka.Python.Language.Expr
decrArithmeticExprJikka.Core.Language.ArithmeticExpr
DedentJikka.Python.Parse.Token
dedentJikka.Common.Format.AutoIndent
DefJikka.Python.Parse.Token
defaultOptionsJikka.Main
Del 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
DeleteJikka.Python.Language.Expr
DerefJikka.CPlusPlus.Language.Expr
DictJikka.Python.Language.Expr
DictCompJikka.Python.Language.Expr
DisableColorJikka.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
DivAssignJikka.CPlusPlus.Language.Expr
DivModOp 
1 (Data Constructor)Jikka.Python.Parse.Token
2 (Type/Class)Jikka.Python.Parse.Token
doesAlwaysReturnJikka.RestrictedPython.Language.Util
doesntHaveAssignmentToBuiltinJikka.RestrictedPython.Language.Lint
doesntHaveAssignmentToLoopCountersJikka.RestrictedPython.Language.Lint
doesntHaveAssignmentToLoopIteratorsJikka.RestrictedPython.Language.Lint
doesntHaveLeakOfLoopCountersJikka.RestrictedPython.Language.Lint
doesntHaveMixedAssignmentJikka.RestrictedPython.Language.Lint
doesntHaveNonResolvedBuiltinJikka.RestrictedPython.Language.Lint
doesntHaveNonTrivialSubscriptedAssignmentInForLoopsJikka.RestrictedPython.Language.Lint
doesntHaveReturnInLoopsJikka.RestrictedPython.Language.Lint
doesntHaveSubscriptionInLoopCountersJikka.RestrictedPython.Language.Lint
doesPossiblyReturnJikka.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
dropLocationJikka.RestrictedPython.Language.Util
eitherToErrorJikka.Common.Error
ElemJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Elem'Jikka.Core.Language.BuiltinPatterns
ElifJikka.Python.Parse.Token
Else 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
embedDirJikka.Common.FileEmbed
EmbedOriginalCodeJikka.Main
embedOriginalCodeJikka.Main
emptyArgumentsJikka.Python.Language.Expr
emptyRewriteEnvironmentJikka.Core.Language.RewriteRules
EnableColorJikka.Common.Format.Color
endJikka.CPlusPlus.Language.Util
ensureAlphaConvertedJikka.Core.Language.Lint
ensureDoesntHaveAssignmentToBuiltinJikka.RestrictedPython.Language.Lint
ensureDoesntHaveAssignmentToLoopCountersJikka.RestrictedPython.Language.Lint
ensureDoesntHaveAssignmentToLoopIteratorsJikka.RestrictedPython.Language.Lint
ensureDoesntHaveLeakOfLoopCountersJikka.RestrictedPython.Language.Lint
ensureDoesntHaveMixedAssignmentJikka.RestrictedPython.Language.Lint
ensureDoesntHaveNonResolvedBuiltinJikka.RestrictedPython.Language.Lint
ensureDoesntHaveNonTrivialSubscriptedAssignmentInForLoopsJikka.RestrictedPython.Language.Lint
ensureDoesntHaveReturnInLoopsJikka.RestrictedPython.Language.Lint
ensureDoesntHaveSubscriptionInLoopCountersJikka.RestrictedPython.Language.Lint
ensureEagerlyEvaluatableJikka.Core.Language.Lint
ensureWellTypedJikka.Core.Language.Lint
EnvJikka.Core.Language.Value
Eq'Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
eqExpJikka.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
EqualHintJikka.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
ErrorAppendJikka.Common.Error
ErrorGroupJikka.Common.Error
evalAlphaJikka.Common.Alpha
evalAlphaTJikka.Common.Alpha
evalExprJikka.RestrictedPython.Evaluate
evalStatementJikka.RestrictedPython.Evaluate
evalStatementsJikka.RestrictedPython.Evaluate
EvaluationErrorJikka.Common.Error
evaluationErrorJikka.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
exchBodyJikka.Python.Language.Expr
exchNameJikka.Python.Language.Expr
exchTypeJikka.Python.Language.Expr
execToplevelStatementJikka.RestrictedPython.Evaluate
ExpJikka.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
ExprContextJikka.Python.Language.Expr
ExprStatementJikka.CPlusPlus.Language.Expr
exprToTargetJikka.RestrictedPython.Language.Util
FactJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
fact 
1 (Function)Jikka.Common.Combinatorics
2 (Function)Jikka.Core.Language.Runtime
Fact'Jikka.Core.Language.BuiltinPatterns
failJikka.Common.Error
FilterJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Filter'Jikka.Core.Language.BuiltinPatterns
filterMJikka.Common.Error
FinallyJikka.Python.Parse.Token
findUnusedVarNameJikka.Core.Language.FreeVars
findUnusedVarName'Jikka.Core.Language.FreeVars
fixJikka.Common.Error
FixityJikka.Common.Parse.ShuntingYard
FlagJikka.Main
FloatJikka.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
floorDivJikka.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
floorModJikka.Core.Language.Runtime
FloorMod'Jikka.Core.Language.BuiltinPatterns
fmapJikka.Common.Error
FoldlJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Foldl'Jikka.Core.Language.BuiltinPatterns
foldMJikka.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
ForallJikka.Core.Parse.Token
ForEachJikka.CPlusPlus.Language.Expr
foreverJikka.Common.Error
forMJikka.Common.Error
formatArithmeticExprJikka.Core.Language.ArithmeticExpr
formatAttributeJikka.RestrictedPython.Language.Builtin, Jikka.RestrictedPython.Format
formatBottomModuloExprJikka.Core.Language.ModuloExpr
formatBuiltin 
1 (Function)Jikka.Core.Format
2 (Function)Jikka.RestrictedPython.Language.Builtin, Jikka.RestrictedPython.Format
formatBuiltinIsolatedJikka.Core.Format
FormatExprJikka.Common.IOFormat
formatExpr 
1 (Function)Jikka.CPlusPlus.Format
2 (Function)Jikka.Core.Format
3 (Function)Jikka.RestrictedPython.Format
formatFormatExprJikka.Common.IOFormat
formatFormatTreeJikka.Common.IOFormat
formatIOFormatJikka.Common.IOFormat
formatModuloJikka.Core.Language.ModuloExpr
formatOperatorJikka.RestrictedPython.Format
formatProgramJikka.Core.Format
formatTargetJikka.RestrictedPython.Format
FormattedValueJikka.Python.Language.Expr
formatToplevelExprJikka.Core.Format
formatTopModuloExprJikka.Core.Language.ModuloExpr
FormatTreeJikka.Common.IOFormat
formatType 
1 (Function)Jikka.CPlusPlus.Format
2 (Function)Jikka.Core.Format
3 (Function)Jikka.RestrictedPython.Format
formatValue 
1 (Function)Jikka.Core.Language.Value
2 (Function)Jikka.RestrictedPython.Language.Value
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.RestrictedPython.Language.Util
freeVars'Jikka.RestrictedPython.Language.Util
freeVarsAssignExprJikka.CPlusPlus.Language.Util
freeVarsDeclareRightJikka.CPlusPlus.Language.Util
freeVarsLeftExprJikka.CPlusPlus.Language.Util
freeVarsStatementJikka.CPlusPlus.Language.Util
freeVarsStatementsJikka.CPlusPlus.Language.Util
freeVarsTargetJikka.RestrictedPython.Language.Util
freeVarsTarget'Jikka.RestrictedPython.Language.Util
FromJikka.Python.Parse.Token
fromLeftExprJikka.CPlusPlus.Language.Util
fromMatrixJikka.RestrictedPython.Language.Value
fromModIntJikka.Common.ModInt
fromNameKindJikka.CPlusPlus.Language.Util
fromSuccessJikka.Common.Error
FunJikka.Core.Parse.Token
Fun1STyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Fun2STyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Fun2TyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Fun3STyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Fun3TyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Function 
1 (Type/Class)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.CPlusPlus.Language.Expr
FunctionDefJikka.Python.Language.Expr
FunctionNameKindJikka.CPlusPlus.Language.Util
FunctorJikka.Common.Error
FunDefJikka.CPlusPlus.Language.Expr
FunLTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
FunName 
1 (Type/Class)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.CPlusPlus.Language.Expr
FunTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
GcdJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Gcd'Jikka.Core.Language.BuiltinPatterns
Gcd1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Gcd1'Jikka.Core.Language.BuiltinPatterns
GeneratorExpJikka.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
getRecurrenceFormulaBaseJikka.Core.Language.Util, Jikka.Core.Convert.MakeScanl
getRecurrenceFormulaStepJikka.Core.Convert.MakeScanl
getRecurrenceFormulaStep1Jikka.Core.Convert.MakeScanl
getWordJikka.Common.IO
Global 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
GraphJikka.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
GreenJikka.Common.Format.Color
GtJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
GtEJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
guardJikka.Common.Error
hasAssignmentToBuiltinJikka.RestrictedPython.Language.Lint
hasAssignmentToLoopCountersJikka.RestrictedPython.Language.Lint
hasAssignmentToLoopIteratorsJikka.RestrictedPython.Language.Lint
hasBareNameTrgJikka.RestrictedPython.Language.Util
hasFunctionCallJikka.RestrictedPython.Language.Util
hasLeakOfLoopCountersJikka.RestrictedPython.Language.Lint
hasMixedAssignmentJikka.RestrictedPython.Language.Lint
hasNewlineJikka.Common.IOFormat
hasNonResolvedBuiltinJikka.RestrictedPython.Language.Lint
hasNonTrivialSubscriptedAssignmentInForLoopsJikka.RestrictedPython.Language.Lint
hasReturnInLoopsJikka.RestrictedPython.Language.Lint
hasSubscriptionInLoopCountersJikka.RestrictedPython.Language.Lint
hasSubscriptTrgJikka.RestrictedPython.Language.Util
haveWriteReadIntersectionJikka.RestrictedPython.Language.VariableAnalysis
headerJikka.Main
HelpJikka.Main
hGetColorFlagJikka.Common.Format.Color
hGetWordJikka.Common.IO
hoistMaybeJikka.Core.Language.Util
hPrintErrorJikka.Common.Format.Error
hPrintErrorWithTextJikka.Common.Format.Error
hTakeWhileJikka.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
ImaginaryJikka.Python.Parse.Token
ImplementationBugJikka.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
ImpliesOpJikka.Python.Parse.Token
Import 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
ImportFromJikka.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
incrArithmeticExprJikka.Core.Language.ArithmeticExpr
incrExprJikka.CPlusPlus.Language.Util
IndentJikka.Python.Parse.Token
indentJikka.Common.Format.AutoIndent
inputTreeJikka.Common.IOFormat
inputVariablesJikka.Common.IOFormat
insertIndentDedentFromBracesJikka.Common.Format.AutoIndent
insertIndentsJikka.Common.Parse.OffsideRule
Int 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
integerArithmeticExprJikka.Core.Language.ArithmeticExpr
integerFromArithmeticExprJikka.Core.Language.ArithmeticExpr
integerModuloExprJikka.Core.Language.ModuloExpr
InternalErrorJikka.Common.Error
internalErrorJikka.Common.Error
IntNopJikka.CPlusPlus.Language.Expr
IntTy 
1 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
IntValJikka.RestrictedPython.Language.Value
InvertJikka.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
isConstantTimeBuiltinJikka.Core.Language.Util
isConstantTimeExprJikka.Core.Language.Util
isFreeVarJikka.Core.Language.FreeVars
isFreeVarOrScopedVarJikka.Core.Language.FreeVars
isIntegerArithmeticExprJikka.Core.Language.ArithmeticExpr
isLiteralJikka.Core.Language.Util
isMatrixTyJikka.Core.Language.Util
isMatrixTy'Jikka.Core.Language.Util
isModuloJikka.Core.Language.ModuloExpr
IsNotJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
isOneArithmeticExprJikka.Core.Language.ArithmeticExpr
isOneModuloExprJikka.Core.Language.ModuloExpr
isSmallExprJikka.RestrictedPython.Language.Util
isUnusedVarJikka.Core.Language.FreeVars
isVectorTyJikka.Core.Language.Util
isVectorTy'Jikka.Core.Language.Util
isZeroArithmeticExprJikka.Core.Language.ArithmeticExpr
isZeroModuloExprJikka.Core.Language.ModuloExpr
isZeroWithHintsJikka.Core.Language.AssertedHint
IterateJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Iterate'Jikka.Core.Language.BuiltinPatterns
joinJikka.Common.Error
JoinedStrJikka.Python.Language.Expr
joinLinesWithParensJikka.Common.Parse.JoinLines
JustDiv 
1 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
2 (Data Constructor)Jikka.Core.Parse.Token
justDivJikka.Core.Language.Runtime
JustDiv'Jikka.Core.Language.BuiltinPatterns
KeywordJikka.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
Lam2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lam3Jikka.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
LamConstJikka.Core.Language.LambdaPatterns
LamIdJikka.Core.Language.LambdaPatterns
LcmJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lcm'Jikka.Core.Language.BuiltinPatterns
Lcm1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lcm1'Jikka.Core.Language.BuiltinPatterns
LeftAtJikka.CPlusPlus.Language.Expr
LeftExprJikka.CPlusPlus.Language.Expr
LeftfixJikka.Common.Parse.ShuntingYard
LeftGetJikka.CPlusPlus.Language.Expr
LeftVarJikka.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
LengthHintJikka.Core.Language.AssertedHint
lengthWithHintsJikka.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
LexicalErrorJikka.Common.Error
lexicalErrorJikka.Common.Error
lexicalErrorAtJikka.Common.Error
liftJikka.Common.Error
liftCatchJikka.Common.Alpha
liftEitherJikka.Common.Error
liftIOJikka.Common.Error
liftMJikka.Common.Error
liftM2Jikka.Common.Error
liftM3Jikka.Common.Error
liftM4Jikka.Common.Error
liftM5Jikka.Common.Error
lineJikka.Common.Location, Jikka.RestrictedPython.Language.Expr
lintJikka.Core.Language.Lint
List 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
listJikka.RestrictedPython.Language.WithoutLoc
ListComp 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
listCompJikka.RestrictedPython.Language.WithoutLoc
listDirectoryRecursiveJikka.Common.FileEmbed
listExprsJikka.RestrictedPython.Language.Util
listStatementsJikka.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
ListValJikka.RestrictedPython.Language.Value
Lit 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lit0Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lit1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Lit2Jikka.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
LitBottomJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitBuiltinJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitCharJikka.CPlusPlus.Language.Expr
Literal 
1 (Type/Class)Jikka.CPlusPlus.Language.Expr
2 (Type/Class)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
literalToTypeJikka.Core.Language.TypeCheck
literalToValueJikka.Core.Language.Value
LitFalseJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitIntJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitInt'Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitInt32Jikka.CPlusPlus.Language.Expr
litInt32Jikka.CPlusPlus.Language.Util
LitInt64Jikka.CPlusPlus.Language.Expr
litInt64Jikka.CPlusPlus.Language.Util
LitMinus1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitNilJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LitStringJikka.CPlusPlus.Language.Expr
LitTrueJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
LoadJikka.Python.Language.Expr
Loc 
1 (Type/Class)Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr
2 (Data Constructor)Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr
locJikka.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
LocalArgumentNameKindJikka.CPlusPlus.Language.Util
LocalNameKindJikka.CPlusPlus.Language.Util
LoopJikka.Common.IOFormat
LoopCounterNameKindJikka.CPlusPlus.Language.Util
lowerBoundWithHintsJikka.Core.Language.AssertedHint
LtJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
LtEJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
MagentaJikka.Common.Format.Color
mainJikka.Main
makeAffineFunctionFromArithmeticExprJikka.Core.Language.ArithmeticExpr
makeEnsureProgramJikka.RestrictedPython.Language.Lint
makeGlobalJikka.RestrictedPython.Evaluate
makeIndentFromBracesJikka.Common.Format.AutoIndent
makeIndentFromMarkersJikka.Common.Format.AutoIndent
makeInducedDigraphJikka.Common.Graph
makeMatrixJikka.Common.Matrix
makeMatrix'Jikka.Common.Matrix
makeReadValueIOJikka.Common.IOFormat
makeReversedDigraphJikka.Common.Graph
makeRewriteEnvironmentFromTypeEnvJikka.Core.Language.RewriteRules
makeRewriteRuleJikka.Core.Language.RewriteRules, Jikka.Core.Language.QuasiRules
makeRightZeroJikka.Core.Convert.EqualitySolving
makeVectorFromArithmeticExprJikka.Core.Language.ArithmeticExpr
makeWriteValueIOJikka.Common.IOFormat
MapJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Map'Jikka.Core.Language.BuiltinPatterns
mapAndUnzipMJikka.Common.Error
mapDirectExprAssignExprMJikka.CPlusPlus.Language.Util
mapDirectExprLeftExprMJikka.CPlusPlus.Language.Util
mapDirectExprStatementMJikka.CPlusPlus.Language.Util
mapExceptJikka.Common.Error
mapExceptTJikka.Common.Error
mapExprArgumentsMJikka.Python.Language.Util
mapExprComprehensionMJikka.Python.Language.Util
mapExprComprehensionsMJikka.Python.Language.Util
mapExprExceptHanderMJikka.Python.Language.Util
mapExprKeywordsMJikka.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
mapExprStatementAssignExprMJikka.CPlusPlus.Language.Util
mapExprStatementExprMJikka.CPlusPlus.Language.Util
mapExprStatementLeftExprMJikka.CPlusPlus.Language.Util
mapExprStatementM 
1 (Function)Jikka.Python.Language.Util
2 (Function)Jikka.RestrictedPython.Language.Util
mapExprStatementProgramJikka.CPlusPlus.Language.Util
mapExprStatementProgramMJikka.CPlusPlus.Language.Util
mapExprStatementsMJikka.Python.Language.Util
mapExprStatementStatementMJikka.CPlusPlus.Language.Util
mapExprStatementToplevelStatementMJikka.CPlusPlus.Language.Util
mapExprTargetMJikka.RestrictedPython.Language.Util
mapExprToplevelExprJikka.Core.Language.Util
mapExprToplevelExprMJikka.Core.Language.Util
mapFormatTreeJikka.Common.IOFormat
mapFormatTreeMJikka.Common.IOFormat
mapLargeStatementJikka.RestrictedPython.Language.Util
mapLargeStatementMJikka.RestrictedPython.Language.Util
mapMJikka.Common.Error
mapM_Jikka.Common.Error
mapStatementJikka.RestrictedPython.Language.Util
mapStatementMJikka.RestrictedPython.Language.Util
mapStatementsJikka.RestrictedPython.Language.Util
mapStatementsMJikka.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
mapSubTypesMJikka.Core.Language.Util
mapToplevelExprMJikka.Core.Language.Util
mapToplevelExprM'Jikka.Core.Language.Util
mapToplevelExprProgramJikka.Core.Language.Util
mapToplevelExprProgramMJikka.Core.Language.Util
mapTypeAttributeJikka.RestrictedPython.Language.Builtin
mapTypeBuiltinJikka.RestrictedPython.Language.Builtin
mapTypeExprJikka.Core.Language.Util
mapTypeExprMJikka.Core.Language.Util
mapTypeLiteralMJikka.Core.Language.Util
mapTypeProgram 
1 (Function)Jikka.Core.Language.Util
2 (Function)Jikka.RestrictedPython.Convert.TypeInfer
mapTypeProgramMJikka.Core.Language.Util
mapTypeToplevelExprMJikka.Core.Language.Util
MatAddJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
mataddJikka.Common.Matrix
MatAdd'Jikka.Core.Language.BuiltinPatterns
MatApJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matapJikka.Common.Matrix
MatAp'Jikka.Core.Language.BuiltinPatterns
matcheckJikka.Common.Matrix
MatFloorModJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
MatFloorMod'Jikka.Core.Language.BuiltinPatterns
MatMulJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matmulJikka.Common.Matrix
MatMul'Jikka.Core.Language.BuiltinPatterns
MatMultJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
MatOneJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matoneJikka.Common.Matrix
MatPowJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matpowJikka.Common.Matrix
MatPow'Jikka.Core.Language.BuiltinPatterns
MatrixJikka.Common.Matrix
matrixTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matscalarJikka.Common.Matrix
matsizeJikka.Common.Matrix
matsize'Jikka.Common.Matrix
MatZeroJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
matzeroJikka.Common.Matrix
MaxJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
Max1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Max1'Jikka.Core.Language.BuiltinPatterns
Max2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Max2'Jikka.Core.Language.BuiltinPatterns
MaxOpJikka.Python.Parse.Token
maxValueJikka.Core.Language.Value
maybeToErrorJikka.Common.Error
mergeAssertions 
1 (Function)Jikka.Core.Convert.TypeInfer
2 (Function)Jikka.RestrictedPython.Convert.TypeInfer
MethodJikka.CPlusPlus.Language.Expr
MethodSizeJikka.CPlusPlus.Language.Expr
mfilterJikka.Common.Error
mfixJikka.Common.Error
MinJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
Min1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Min1'Jikka.Core.Language.BuiltinPatterns
Min2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Min2'Jikka.Core.Language.BuiltinPatterns
MinOpJikka.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
minusArithmeticExprJikka.Core.Language.ArithmeticExpr
minusModuloExprJikka.Core.Language.ModuloExpr
MinusOpJikka.Python.Parse.Token
minValueJikka.Core.Language.Value
ModJikka.CPlusPlus.Language.Expr
ModAssignJikka.CPlusPlus.Language.Expr
ModIntJikka.Common.ModInt
ModInvJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
modinvJikka.Core.Language.Runtime
ModInv'Jikka.Core.Language.BuiltinPatterns
ModMatAddJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMatAdd'Jikka.Core.Language.BuiltinPatterns
ModMatApJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMatAp'Jikka.Core.Language.BuiltinPatterns
ModMatMulJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMatMul'Jikka.Core.Language.BuiltinPatterns
ModMatPowJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMatPow'Jikka.Core.Language.BuiltinPatterns
ModMinusJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMinus'Jikka.Core.Language.BuiltinPatterns
ModMultJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModMult'Jikka.Core.Language.BuiltinPatterns
ModNegateJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModNegate'Jikka.Core.Language.BuiltinPatterns
ModPlusJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModPlus'Jikka.Core.Language.BuiltinPatterns
ModPowJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
modpowJikka.Core.Language.Runtime
ModPow'Jikka.Core.Language.BuiltinPatterns
ModProductJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ModProduct'Jikka.Core.Language.BuiltinPatterns
ModSumJikka.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
ModuloExprJikka.Core.Language.ModuloExpr
moduloOfModIntJikka.Common.ModInt
moduloOfModuloExprJikka.Core.Language.ModuloExpr
MonadJikka.Common.Error
MonadAlphaJikka.Common.Alpha
MonadErrorJikka.Common.Error
MonadFailJikka.Common.Error
MonadFixJikka.Common.Error
MonadIOJikka.Common.Error
MonadPlusJikka.Common.Error
MonadTransJikka.Common.Error
Monoid'Jikka.CPlusPlus.Language.Expr
MonoidIntGcdJikka.CPlusPlus.Language.Expr
MonoidIntLcmJikka.CPlusPlus.Language.Expr
MonoidIntMaxJikka.CPlusPlus.Language.Expr
MonoidIntMinJikka.CPlusPlus.Language.Expr
MonoidIntPlusJikka.CPlusPlus.Language.Expr
moveLiteralToRightJikka.Core.Convert.EqualitySolving
mplusJikka.Common.Error
msumJikka.Common.Error
MulJikka.CPlusPlus.Language.Expr
MulAssignJikka.CPlusPlus.Language.Expr
MulOpJikka.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
multArithmeticExprJikka.Core.Language.ArithmeticExpr
multExpJikka.RestrictedPython.Language.WithoutLoc
MultiChooseJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
multichoose 
1 (Function)Jikka.Common.Combinatorics
2 (Function)Jikka.Core.Language.Runtime
MultiChoose'Jikka.Core.Language.BuiltinPatterns
multModuloExprJikka.Core.Language.ModuloExpr
mzeroJikka.Common.Error
Name 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
nameJikka.RestrictedPython.Language.WithoutLoc
namecheckExprJikka.Core.Language.NameCheck
namecheckProgramJikka.Core.Language.NameCheck
namecheckToplevelExprJikka.Core.Language.NameCheck
NamedExprJikka.Python.Language.Expr
NameKindJikka.CPlusPlus.Language.Util
NameTrgJikka.RestrictedPython.Language.Expr
nameTrgJikka.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
negateArithmeticExprJikka.Core.Language.ArithmeticExpr
negateModuloExprJikka.Core.Language.ModuloExpr
newFreshNameJikka.CPlusPlus.Language.Util
Newline 
1 (Data Constructor)Jikka.Common.IOFormat
2 (Data Constructor)Jikka.Python.Parse.Token
nextCounterJikka.Common.Alpha
Nil'Jikka.Core.Language.BuiltinPatterns
NoneJikka.Python.Parse.Token
NoneTyJikka.RestrictedPython.Language.Expr
NonfixJikka.Common.Parse.ShuntingYard
Nonlocal 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
normalizeFormatTreeJikka.Common.IOFormat
normalizeIOFormatJikka.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
NotEqJikka.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
NotEqualHintJikka.Core.Language.AssertedHint
NotInJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
NotOpJikka.Python.Parse.Token
nullWithHintsJikka.Core.Language.AssertedHint
OpenBraceJikka.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
optionsJikka.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
OrOpJikka.Python.Parse.Token
outputTreeJikka.Common.IOFormat
outputVariablesJikka.Common.IOFormat
packSubscriptedVarJikka.Common.IOFormat
packSubscriptedVar'Jikka.Common.IOFormat
parseArithmeticExprJikka.Core.Language.ArithmeticExpr
parseExprJikka.Core.Parse
parseFlagsJikka.Main
parseHintsJikka.Core.Language.AssertedHint
parseLinearFunctionBodyJikka.Core.Convert.ConvexHullTrick
parseLinearFunctionBody'Jikka.Core.Convert.ConvexHullTrick
parseModuloExprJikka.Core.Language.ModuloExpr
parseProgramJikka.Core.Parse
parseRuleJikka.Core.Parse
parseTargetJikka.Main.Target
parseTypeJikka.Core.Parse
Pass 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
PermuteJikka.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
plusArithmeticExprJikka.Core.Language.ArithmeticExpr
plusModuloExprJikka.Core.Language.ModuloExpr
PlusOpJikka.Python.Parse.Token
postconditionJikka.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
PowOpJikka.Python.Parse.Token
PrecJikka.Common.Parse.ShuntingYard
preconditionJikka.Core.Language.Lint
prettyErrorJikka.Common.Format.Error
prettyError'Jikka.Common.Format.Error
prettyErrorWithTextJikka.Common.Format.Error
prettyLocJikka.Common.Format.Location
prettyLocWithTextJikka.Common.Format.Location
ProductJikka.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
ProjJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Proj'Jikka.Core.Language.BuiltinPatterns
pureRewriteRuleJikka.Core.Language.RewriteRules
putTrailingNewlineJikka.Common.Parse.JoinLines
PythonTargetJikka.Main.Target
rJikka.Core.Language.QuasiRules
Raise 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
RangeJikka.CPlusPlus.Language.Expr
Range1Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Range1'Jikka.Core.Language.BuiltinPatterns
Range2Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Range2'Jikka.Core.Language.BuiltinPatterns
Range3Jikka.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
readVariableJikka.CPlusPlus.Language.VariableAnalysis
ReadWriteList 
1 (Type/Class)Jikka.CPlusPlus.Language.VariableAnalysis
2 (Data Constructor)Jikka.CPlusPlus.Language.VariableAnalysis
RecJikka.Core.Parse.Token
RedJikka.Common.Format.Color
reduceAllJikka.Core.Convert.CloseAll
reduceAnyJikka.Core.Convert.CloseAll
reduceArgMaxJikka.Core.Convert.CloseMin
reduceArgMinJikka.Core.Convert.CloseMin
reduceBuildJikka.Core.Convert.ShortCutFusion
reduceConstArithmeticExprJikka.Core.Convert.ConstantFolding
reduceConstBitExprJikka.Core.Convert.ConstantFolding
reduceConstBooleanExprJikka.Core.Convert.ConstantFolding
reduceConstIntComparisonJikka.Core.Convert.ConstantFolding
reduceConstMaxExprJikka.Core.Convert.ConstantFolding
reduceCumulativeSumJikka.Core.Convert.SegmentTree
reduceFoldJikka.Core.Convert.ShortCutFusion
reduceFoldBuildJikka.Core.Convert.ShortCutFusion
reduceFoldlSetAtAccumulationJikka.Core.Convert.MakeScanl
reduceFoldlSetAtGenericJikka.Core.Convert.MakeScanl
reduceFoldlSetAtRecurrenceJikka.Core.Convert.MakeScanl
reduceFoldMapJikka.Core.Convert.ShortCutFusion
reduceIdempotentBooleanExprJikka.Core.Convert.ConstantFolding
reduceIntInjectiveJikka.Core.Convert.EqualitySolving
reduceListCtorJikka.Core.Convert.EqualitySolving
reduceListInjectiveJikka.Core.Convert.EqualitySolving
reduceMapJikka.Core.Convert.ShortCutFusion
reduceMapBuildJikka.Core.Convert.ShortCutFusion
reduceMapMapJikka.Core.Convert.ShortCutFusion
reduceMaxJikka.Core.Convert.CloseMin
reduceMin 
1 (Function)Jikka.Core.Convert.SegmentTree
2 (Function)Jikka.Core.Convert.CloseMin
reduceModProductJikka.Core.Convert.CloseSum
reduceModSumJikka.Core.Convert.CloseSum
reduceNotJikka.Core.Convert.EqualitySolving
reduceProductJikka.Core.Convert.CloseSum
reduceReflexivityJikka.Core.Convert.EqualitySolving
reduceScanlBuildJikka.Core.Convert.MakeScanl
reduceSumJikka.Core.Convert.CloseSum
reduceUnitBitExprJikka.Core.Convert.ConstantFolding
reduceUnitBooleanComparisonJikka.Core.Convert.ConstantFolding
reduceUnitBooleanExprJikka.Core.Convert.ConstantFolding
removeEmptyLinesJikka.Common.Parse.JoinLines
renameVarNameJikka.CPlusPlus.Language.Util
replaceExprJikka.CPlusPlus.Language.Util
replaceLenFJikka.Core.Language.Util
replaceStatementJikka.CPlusPlus.Language.Util
replicateMJikka.Common.Error
replicateM_Jikka.Common.Error
reportErrorsJikka.Common.Error
reportErrors2Jikka.Common.Error
reportErrors3Jikka.Common.Error
reportErrors4Jikka.Common.Error
reportErrors5Jikka.Common.Error
repStatementJikka.CPlusPlus.Language.Util
resetAlphaTJikka.Common.Alpha
resolveAttributeJikka.RestrictedPython.Language.Builtin
resolveAttribute'Jikka.RestrictedPython.Language.Builtin
resolveBuiltinJikka.RestrictedPython.Language.Builtin
resolveUniqueBuiltinJikka.RestrictedPython.Language.Builtin
ResponsibilityJikka.Common.Error
RestrictedPythonTargetJikka.Main.Target
ResultExprJikka.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
returnJikka.Common.Error
ReversedJikka.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
RewriteRuleJikka.Core.Language.RewriteRules
RightfixJikka.Common.Parse.ShuntingYard
rule 
1 (Function)Jikka.Core.Convert.BubbleLet
2 (Function)Jikka.Core.Convert.Beta
3 (Function)Jikka.Core.Convert.UnpackTuple
4 (Function)Jikka.Core.Convert.SegmentTree
5 (Function)Jikka.Core.Convert.MakeScanl
6 (Function)Jikka.Core.Convert.KubaruToMorau
7 (Function)Jikka.Core.Convert.Eta
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.CPlusPlus.Format
2 (Function)Jikka.Common.Format.Show
3 (Function)Jikka.CPlusPlus.Convert.UseInitialization
4 (Function)Jikka.CPlusPlus.Convert.UnpackTuples
5 (Function)Jikka.CPlusPlus.Convert.OptimizeRange
6 (Function)Jikka.CPlusPlus.Convert.MoveSemantics
7 (Function)Jikka.CPlusPlus.Convert.InlineSetAt
8 (Function)Jikka.CPlusPlus.Convert.AddMain
9 (Function)Jikka.Common.Parse.Read
10 (Function)Jikka.Common.Parse.ShuntingYard
11 (Function)Jikka.Core.Format
12 (Function)Jikka.Core.Convert.TrivialLetElimination
13 (Function)Jikka.Core.Convert.BubbleLet
14 (Function)Jikka.Core.Convert.Beta
15 (Function)Jikka.Core.Convert.Alpha
16 (Function)Jikka.Core.Convert.SpecializeFoldl
17 (Function)Jikka.Core.Convert.UnpackTuple
18 (Function)Jikka.Core.Convert.TypeInfer
19 (Function)Jikka.Core.Convert.SegmentTree
20 (Function)Jikka.Core.Convert.RemoveUnusedVars
21 (Function)Jikka.Core.Convert.PropagateMod
22 (Function)Jikka.Core.Convert.MatrixExponentiation
23 (Function)Jikka.Core.Convert.MakeScanl
24 (Function)Jikka.Core.Convert.KubaruToMorau
25 (Function)Jikka.Core.Convert.Eta
26 (Function)Jikka.Core.Convert.CumulativeSum
27 (Function)Jikka.Core.Convert.ConvexHullTrick
28 (Function)Jikka.Core.Convert.ConstantPropagation
29 (Function)Jikka.Core.Convert.ArithmeticExpr
30 (Function)Jikka.Core.Convert.ANormal
31 (Function)Jikka.CPlusPlus.Convert.FromCore
32 (Function)Jikka.CPlusPlus.Convert
33 (Function)Jikka.Core.Evaluate
34 (Function)Jikka.Core.Parse.Alex
35 (Function)Jikka.Core.Parse
36 (Function)Jikka.Core.Convert.SortAbs
37 (Function)Jikka.Core.Convert.ShortCutFusion
38 (Function)Jikka.Core.Convert.EqualitySolving
39 (Function)Jikka.Core.Convert.ConstantFolding
40 (Function)Jikka.Core.Convert.CloseSum
41 (Function)Jikka.Core.Convert.CloseMin
42 (Function)Jikka.Core.Convert.CloseAll
43 (Function)Jikka.Core.Convert
44 (Function)Jikka.Python.Parse.Happy
45 (Function)Jikka.Python.Parse.Alex
46 (Function)Jikka.Python.Parse
47 (Function)Jikka.RestrictedPython.Format
48 (Function)Jikka.RestrictedPython.Convert.UseAppend
49 (Function)Jikka.RestrictedPython.Convert.TypeInfer
50 (Function)Jikka.RestrictedPython.Convert.RemoveUnreachable
51 (Function)Jikka.RestrictedPython.Convert.RemoveUnbalancedIf
52 (Function)Jikka.RestrictedPython.Convert.ParseMain
53 (Function)Jikka.RestrictedPython.Convert.DefaultMain
54 (Function)Jikka.Python.Convert.ToRestrictedPython
55 (Function)Jikka.RestrictedPython.Evaluate
56 (Function)Jikka.RestrictedPython.Convert.ResolveBuiltin
57 (Function)Jikka.RestrictedPython.Convert.ToCore
58 (Function)Jikka.RestrictedPython.Convert.Alpha
59 (Function)Jikka.RestrictedPython.Convert.SplitLoops
60 (Function)Jikka.RestrictedPython.Convert
61 (Function)Jikka.Main.Subcommand.Execute
62 (Function)Jikka.Main.Subcommand.Debug
63 (Function)Jikka.Main.Subcommand.Convert
64 (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
runAlphaTJikka.Common.Alpha
runExceptJikka.Common.Error
runExceptTJikka.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
runForLoopJikka.RestrictedPython.Convert.SplitLoops
runForStatementJikka.RestrictedPython.Convert.ToCore
runFunctionBodyJikka.Core.Convert.KubaruToMorau
runIfStatementJikka.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
runSubcommandJikka.Main
RuntimeErrorJikka.Common.Error
runtimeErrorJikka.Common.Error
runToplevelExprJikka.Core.Convert.Alpha
runTypeJikka.Core.Parse.Happy
runWithGlobalJikka.RestrictedPython.Evaluate
ScanlJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Scanl'Jikka.Core.Language.BuiltinPatterns
SegmentTreeJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SegmentTreeCopySetPointJikka.CPlusPlus.Language.Expr
SegmentTreeCtorJikka.CPlusPlus.Language.Expr
SegmentTreeGetRangeJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SegmentTreeGetRange'Jikka.Core.Language.BuiltinPatterns
SegmentTreeInitListJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SegmentTreeInitList'Jikka.Core.Language.BuiltinPatterns
SegmentTreeSetPointJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SegmentTreeSetPoint'Jikka.Core.Language.BuiltinPatterns
SegmentTreeTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemanticErrorJikka.Common.Error
semanticErrorJikka.Common.Error
SemicolonJikka.Python.Parse.Token
Semigroup'Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemigroupIntGcdJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemigroupIntLcmJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemigroupIntMaxJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemigroupIntMinJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
SemigroupIntPlusJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
semigroupToTypeJikka.Core.Language.TypeCheck
SeqJikka.Common.IOFormat
sequenceJikka.Common.Error
sequence_Jikka.Common.Error
SetJikka.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
SetCompJikka.Python.Language.Expr
shouldBeArrayJikka.CPlusPlus.Language.Util
SideEffectTyJikka.RestrictedPython.Language.Expr
SimpleAssignJikka.CPlusPlus.Language.Expr
simpleRewriteRuleJikka.Core.Language.RewriteRules
sizeJikka.CPlusPlus.Language.Util
sizeOfMatrixTyJikka.Core.Language.Util
sizeOfVectorTyJikka.Core.Language.Util
SliceJikka.Python.Language.Expr
SnocJikka.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
SortedJikka.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
SourceJikka.Main
sourceJikka.Main
splitConstantFactorArithmeticExprJikka.Core.Language.ArithmeticExpr
splitToSumArithmeticExprJikka.Core.Language.ArithmeticExpr
standardBuiltinNamesJikka.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
StaticAssertJikka.CPlusPlus.Language.Expr
StdGetJikka.CPlusPlus.Language.Expr
StdTupleJikka.CPlusPlus.Language.Expr
StoreJikka.Python.Language.Expr
String 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
StringTyJikka.RestrictedPython.Language.Expr
Sub 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
SubAssignJikka.CPlusPlus.Language.Expr
subExpJikka.RestrictedPython.Language.WithoutLoc
Subscript 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
subscriptJikka.RestrictedPython.Language.WithoutLoc
SubscriptSliceJikka.RestrictedPython.Language.Expr
SubscriptTrgJikka.RestrictedPython.Language.Expr
subscriptTrgJikka.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
substDefaultJikka.Core.Convert.TypeInfer
substituteJikka.Core.Language.Beta
substituteToplevelExprJikka.Core.Language.Beta
substProgramJikka.Core.Convert.TypeInfer
SumJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
Sum'Jikka.Core.Language.BuiltinPatterns
sumArithmeticExprJikka.Core.Language.ArithmeticExpr
SymbolErrorJikka.Common.Error
symbolErrorJikka.Common.Error
symbolErrorAtJikka.Common.Error
SyntaxErrorJikka.Common.Error
syntaxErrorJikka.Common.Error
syntaxErrorAtJikka.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
targetJikka.Main
Target' 
1 (Type/Class)Jikka.Python.Language.Expr
2 (Type/Class)Jikka.RestrictedPython.Language.Expr
targetToExprJikka.RestrictedPython.Language.Util
targetVarsJikka.RestrictedPython.Language.Util
targetVars'Jikka.RestrictedPython.Language.Util
ThenJikka.Core.Parse.Token
throwAssertionErrorJikka.Common.Error
throwCommandLineErrorJikka.Common.Error
throwErrorJikka.Common.Error
throwEvaluationErrorJikka.Common.Error
throwInternalErrorJikka.Common.Error
throwInternalErrorAtJikka.Common.Error
throwInternalErrorAt'Jikka.Common.Error
throwLexicalErrorJikka.Common.Error
throwLexicalErrorAtJikka.Common.Error
throwRuntimeErrorJikka.Common.Error
throwRuntimeErrorAtJikka.Common.Error
throwRuntimeErrorAt'Jikka.Common.Error
throwSemanticErrorJikka.Common.Error
throwSemanticErrorAtJikka.Common.Error
throwSemanticErrorAt'Jikka.Common.Error
throwSymbolErrorJikka.Common.Error
throwSymbolErrorAtJikka.Common.Error
throwSymbolErrorAt'Jikka.Common.Error
throwSyntaxErrorJikka.Common.Error
throwSyntaxErrorAtJikka.Common.Error
throwSyntaxErrorAt'Jikka.Common.Error
throwTypeErrorJikka.Common.Error
throwTypeErrorAtJikka.Common.Error
throwTypeErrorAt'Jikka.Common.Error
throwWrongInputErrorJikka.Common.Error
toBoolJikka.RestrictedPython.Language.Value
toBoolListJikka.RestrictedPython.Language.Value
todoJikka.Common.Error
toIntJikka.RestrictedPython.Language.Value
toIntListJikka.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
toListJikka.RestrictedPython.Language.Value
toMatrixJikka.RestrictedPython.Language.Value
toModIntJikka.Common.ModInt
ToplevelAnnAssignJikka.RestrictedPython.Language.Expr
ToplevelAssert 
1 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
ToplevelExprJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ToplevelFunctionDefJikka.RestrictedPython.Language.Expr
ToplevelLetJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
ToplevelLetRecJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
toplevelMainDefJikka.RestrictedPython.Language.Util
ToplevelStatement 
1 (Type/Class)Jikka.CPlusPlus.Language.Expr
2 (Type/Class)Jikka.RestrictedPython.Language.Expr
topologicalSortJikka.Common.Graph
toTupleJikka.RestrictedPython.Language.Value
traceRewriteRuleJikka.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
TupleTrgJikka.RestrictedPython.Language.Expr
tupleTrgJikka.RestrictedPython.Language.WithoutLoc
TupleTy 
1 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
2 (Data Constructor)Jikka.RestrictedPython.Language.Expr
TupleValJikka.RestrictedPython.Language.Value
TyArrayJikka.CPlusPlus.Language.Expr
TyAutoJikka.CPlusPlus.Language.Expr
TyBoolJikka.CPlusPlus.Language.Expr
TyConvexHullTrickJikka.CPlusPlus.Language.Expr
TyFunctionJikka.CPlusPlus.Language.Expr
TyIntJikka.CPlusPlus.Language.Expr
TyInt32Jikka.CPlusPlus.Language.Expr
TyInt64Jikka.CPlusPlus.Language.Expr
TyIntValueJikka.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
typeAttributeJikka.RestrictedPython.Language.Builtin
typeBuiltinJikka.RestrictedPython.Language.Builtin
typecheckExprJikka.Core.Language.TypeCheck
typecheckProgramJikka.Core.Language.TypeCheck
typecheckToplevelExprJikka.Core.Language.TypeCheck
TypeEnvJikka.Core.Language.TypeCheck
typeEnvJikka.Core.Language.RewriteRules
TypeEquation 
1 (Data Constructor)Jikka.Core.Convert.TypeInfer
2 (Data Constructor)Jikka.RestrictedPython.Convert.TypeInfer
TypeErrorJikka.Common.Error
typeErrorJikka.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
TySegmentTreeJikka.CPlusPlus.Language.Expr
TyStringJikka.CPlusPlus.Language.Expr
TyTupleJikka.CPlusPlus.Language.Expr
TyVectorJikka.CPlusPlus.Language.Expr
TyVoidJikka.CPlusPlus.Language.Expr
UAddJikka.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
unaryOpJikka.RestrictedPython.Language.WithoutLoc
unAttributeNameJikka.RestrictedPython.Language.Expr
uncurryAppJikka.Core.Language.Util
uncurryFunTyJikka.Core.Language.Util
uncurryLamJikka.Core.Language.Util
Underscore 
1 (Data Constructor)Jikka.Core.Parse.Token
2 (Data Constructor)Jikka.Python.Parse.Token
unFunNameJikka.CPlusPlus.Language.Expr
unIdentJikka.Python.Language.Expr
UnitTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
unlessJikka.Common.Error
unLocalJikka.RestrictedPython.Language.Value
unMatrixJikka.Common.Matrix
unModuloJikka.Core.Language.ModuloExpr
unNPlusKPatternJikka.Core.Language.ArithmeticExpr
UnOpJikka.CPlusPlus.Language.Expr
unpackSubscriptedVarJikka.Common.IOFormat
UnresolvedAttributeJikka.RestrictedPython.Language.Expr
unSubst 
1 (Function)Jikka.Core.Convert.TypeInfer
2 (Function)Jikka.RestrictedPython.Convert.TypeInfer
unTypeName 
1 (Function)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
2 (Function)Jikka.RestrictedPython.Language.Expr
unVarName 
1 (Function)Jikka.CPlusPlus.Language.Expr
2 (Function)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
3 (Function)Jikka.RestrictedPython.Language.Expr
upperBoundWithHintsJikka.Core.Language.AssertedHint
UserMistakeJikka.Common.Error
USubJikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr
ValBoolJikka.Core.Language.Value, Jikka.Core.Evaluate
ValBuiltinJikka.Core.Language.Value, Jikka.Core.Evaluate
ValIntJikka.Core.Language.Value, Jikka.Core.Evaluate
ValLambdaJikka.Core.Language.Value, Jikka.Core.Evaluate
ValListJikka.Core.Language.Value, Jikka.Core.Evaluate
ValTupleJikka.Core.Language.Value, Jikka.Core.Evaluate
Value 
1 (Type/Class)Jikka.Core.Language.Value, Jikka.Core.Evaluate
2 (Type/Class)Jikka.RestrictedPython.Language.Value
valueJikka.Common.Location, Jikka.RestrictedPython.Language.Expr
value'Jikka.Common.Location, Jikka.RestrictedPython.Language.Expr
valueFromMatrixJikka.Core.Language.Value
valueFromModMatrixJikka.Core.Language.Value
valueFromModVectorJikka.Core.Language.Value
valueFromVectorJikka.Core.Language.Value
valueToBoolJikka.Core.Language.Value
valueToBoolListJikka.Core.Language.Value
valueToIntJikka.Core.Language.Value
valueToIntListJikka.Core.Language.Value
valueToIntPairJikka.Core.Language.Value
valueToListJikka.Core.Language.Value
valueToMatrixJikka.Core.Language.Value
valueToModMatrixJikka.Core.Language.Value
valueToModVectorJikka.Core.Language.Value
valueToTupleJikka.Core.Language.Value
valueToVectorJikka.Core.Language.Value
Var 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Common.IOFormat
3 (Data Constructor)Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
VarDefJikka.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
VecCtorJikka.CPlusPlus.Language.Expr
vecCtorJikka.CPlusPlus.Language.Util
VecExtJikka.CPlusPlus.Language.Expr
VecFloorModJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
VecFloorMod'Jikka.Core.Language.BuiltinPatterns
vectorTyJikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules
VerboseJikka.Main
verboseJikka.Main
VersionJikka.Main
voidJikka.Common.Error
WalrusOpJikka.Python.Parse.Token
whenJikka.Common.Error
While 
1 (Data Constructor)Jikka.CPlusPlus.Language.Expr
2 (Data Constructor)Jikka.Python.Language.Expr
3 (Data Constructor)Jikka.Python.Parse.Token
WhiteJikka.Common.Format.Color
widthJikka.Common.Location, Jikka.RestrictedPython.Language.Expr
With 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
withBoldJikka.Common.Format.Color
withColorJikka.Common.Format.Color
withExceptJikka.Common.Error
withExceptTJikka.Common.Error
WithGroupJikka.Common.Error
WithItemJikka.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
WithLocationJikka.Common.Error
withoutLocJikka.Common.Location, Jikka.RestrictedPython.Language.Expr
WithResponsibilityJikka.Common.Error
WithWrappedJikka.Common.Error
wrapAtJikka.Common.Error
wrapAt'Jikka.Common.Error
wrapErrorJikka.Common.Error
wrapError'Jikka.Common.Error
WriteList 
1 (Type/Class)Jikka.RestrictedPython.Language.VariableAnalysis
2 (Data Constructor)Jikka.RestrictedPython.Language.VariableAnalysis
writeListJikka.CPlusPlus.Language.VariableAnalysis
writeValueIO 
1 (Function)Jikka.Core.Language.Value
2 (Function)Jikka.RestrictedPython.Language.Value
writeVariableJikka.CPlusPlus.Language.VariableAnalysis
WrongInputErrorJikka.Common.Error
wrongInputErrorJikka.Common.Error
YellowJikka.Common.Format.Color
Yield 
1 (Data Constructor)Jikka.Python.Language.Expr
2 (Data Constructor)Jikka.Python.Parse.Token
YieldFromJikka.Python.Language.Expr
zipWithMJikka.Common.Error
zipWithM_Jikka.Common.Error