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