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 |