| packSubscriptedVar | Jikka.Common.IOFormat |
| packSubscriptedVar' | Jikka.Common.IOFormat |
| parseArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| parseExpr | Jikka.Core.Parse |
| parseFlags | Jikka.Main |
| parseHints | Jikka.Core.Language.AssertedHint |
| parseLinearFunctionBody | Jikka.Core.Convert.ConvexHullTrick |
| parseLinearFunctionBody' | Jikka.Core.Convert.ConvexHullTrick |
| parseModuloExpr | Jikka.Core.Language.ModuloExpr |
| parseProgram | Jikka.Core.Parse |
| parseRule | Jikka.Core.Parse |
| parseTarget | Jikka.Main.Target |
| parseType | Jikka.Core.Parse |
| Pass | |
| 1 (Data Constructor) | Jikka.Python.Language.Expr |
| 2 (Data Constructor) | Jikka.Python.Parse.Token |
| Permute | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| permute | |
| 1 (Function) | Jikka.Common.Combinatorics |
| 2 (Function) | Jikka.Core.Language.Runtime |
| Permute' | Jikka.Core.Language.BuiltinPatterns |
| Plus | |
| 1 (Data Constructor) | Jikka.Common.IOFormat |
| 2 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 3 (Data Constructor) | Jikka.Core.Parse.Token |
| Plus' | Jikka.Core.Language.BuiltinPatterns |
| plusArithmeticExpr | Jikka.Core.Language.ArithmeticExpr |
| plusModuloExpr | Jikka.Core.Language.ModuloExpr |
| PlusOp | Jikka.Python.Parse.Token |
| postcondition | Jikka.Core.Language.Lint |
| Pow | |
| 1 (Data Constructor) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 2 (Data Constructor) | Jikka.Core.Parse.Token |
| 3 (Data Constructor) | Jikka.Python.Language.Expr, Jikka.RestrictedPython.Language.Expr |
| Pow' | Jikka.Core.Language.BuiltinPatterns |
| PowOp | Jikka.Python.Parse.Token |
| Prec | Jikka.Common.Parse.ShuntingYard |
| precondition | Jikka.Core.Language.Lint |
| prettyError | Jikka.Common.Format.Error |
| prettyError' | Jikka.Common.Format.Error |
| prettyErrorWithText | Jikka.Common.Format.Error |
| prettyLoc | Jikka.Common.Format.Location |
| prettyLocWithText | Jikka.Common.Format.Location |
| Product | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Product' | Jikka.Core.Language.BuiltinPatterns |
| Program | |
| 1 (Type/Class) | Jikka.CPlusPlus.Language.Expr |
| 2 (Data Constructor) | Jikka.CPlusPlus.Language.Expr |
| 3 (Type/Class) | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| 4 (Type/Class) | Jikka.Python.Language.Expr |
| 5 (Type/Class) | Jikka.RestrictedPython.Language.Expr |
| Proj | Jikka.Core.Language.Expr, Jikka.Core.Language.QuasiRules |
| Proj' | Jikka.Core.Language.BuiltinPatterns |
| pureRewriteRule | Jikka.Core.Language.RewriteRules |
| putTrailingNewline | Jikka.Common.Parse.JoinLines |
| PythonTarget | Jikka.Main.Target |