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 |