Index - P
| Parameter | FreeC.Backend.Coq.Syntax |
| Parameters | FreeC.Backend.Coq.Syntax |
| Paren | FreeC.Backend.Agda.Syntax |
| ParenP | FreeC.Backend.Agda.Syntax |
| Parens | FreeC.Backend.Coq.Syntax |
| parens | FreeC.Pretty |
| parentPos | FreeC.IR.Subterm |
| parentPos' | FreeC.IR.Subterm |
| Parseable | FreeC.Frontend.IR.Parser |
| parsecErrorToMessage | FreeC.Util.Parsec |
| parseCustomPragmas | FreeC.Frontend.IR.PragmaParser |
| parseHaskell | FreeC.Frontend.Haskell.Parser |
| parseHaskellModule | FreeC.Frontend.Haskell.Parser |
| parseHaskellModuleFile | FreeC.Frontend.Haskell.Parser |
| parseHaskellModuleFileWithComments | FreeC.Frontend.Haskell.Parser |
| parseHaskellModuleWithComments | FreeC.Frontend.Haskell.Parser |
| parseIR | FreeC.Frontend.IR.Parser |
| parseIR' | FreeC.Frontend.IR.Parser |
| partial | |
| 1 (Function) | FreeC.Backend.Coq.Base |
| 2 (Function) | FreeC.Backend.Agda.Base |
| partialArg | FreeC.Backend.Coq.Base |
| partialError | FreeC.Backend.Coq.Base |
| Partiality | FreeC.LiftedIR.Effect |
| partialUndefined | FreeC.Backend.Coq.Base |
| Pass | FreeC.Pass |
| Pattern | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| PatternSyn | FreeC.Backend.Agda.Syntax |
| patternSyn | FreeC.Backend.Agda.Syntax |
| Pi | FreeC.Backend.Agda.Syntax |
| pi | FreeC.Backend.Agda.Syntax |
| Pipe | FreeC.Frontend.IR.Token |
| pipeline | FreeC.Pipeline |
| Placeholder | FreeC.Backend.Agda.Syntax |
| Pn | FreeC.Backend.Agda.Syntax |
| PolarityPragma | FreeC.Backend.Agda.Syntax |
| Pos | |
| 1 (Type/Class) | FreeC.IR.Subterm |
| 2 (Data Constructor) | FreeC.IR.Subterm |
| pos | FreeC.Backend.Coq.Base |
| PosArg | FreeC.Backend.Coq.Syntax |
| posCol | FreeC.Backend.Agda.Syntax |
| posIdent | FreeC.Backend.Coq.Base |
| Position | FreeC.Backend.Agda.Syntax |
| position | FreeC.Backend.Agda.Base |
| Position' | FreeC.Backend.Agda.Syntax |
| PositionInName | FreeC.Backend.Agda.Syntax |
| positionInvariant | FreeC.Backend.Agda.Syntax |
| PositionWithoutFile | FreeC.Backend.Agda.Syntax |
| PositivityCheck | FreeC.Backend.Agda.Syntax |
| posLine | FreeC.Backend.Agda.Syntax |
| posPos | FreeC.Backend.Agda.Syntax |
| posToInterval | FreeC.Backend.Agda.Syntax |
| posToRange | FreeC.Backend.Agda.Syntax |
| posToRange' | FreeC.Backend.Agda.Syntax |
| Postulate | FreeC.Backend.Agda.Syntax |
| Pragma | |
| 1 (Type/Class) | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| 3 (Type/Class) | FreeC.Backend.Agda.Syntax |
| pragmaPass | FreeC.Pass.PragmaPass |
| pragmaSrcSpan | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| PrecedenceLevel | FreeC.Backend.Agda.Syntax |
| PrefixDef | FreeC.Backend.Agda.Syntax |
| Pretty | FreeC.Pretty |
| pretty | FreeC.Pretty |
| prettyAgda | FreeC.Backend.Agda.Pretty |
| PrettyCoq | |
| 1 (Type/Class) | FreeC.Backend.Coq.Pretty |
| 2 (Data Constructor) | FreeC.Backend.Coq.Pretty |
| prettyCoq | FreeC.Backend.Coq.Pretty |
| prettyEntryType | FreeC.Environment.Entry |
| prettyExprPred | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| prettyExprPred' | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| prettyLines | FreeC.Pretty |
| prettyList | FreeC.Pretty |
| prettyMaybe | FreeC.Pretty |
| prettyPragma | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| prettySeparated | FreeC.Pretty |
| prettyString | FreeC.Pretty |
| prettyText | FreeC.Pretty |
| prettyTypePred | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| Primitive | FreeC.Backend.Agda.Syntax |
| PrintRange | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| Private | FreeC.Backend.Agda.Syntax |
| PrivateAccess | FreeC.Backend.Agda.Syntax |
| ProgramSentence | FreeC.Backend.Coq.Syntax |
| projectRoot | FreeC.Backend.Agda.Syntax |
| ProjOrigin | FreeC.Backend.Agda.Syntax |
| ProjPostfix | FreeC.Backend.Agda.Syntax |
| ProjPrefix | FreeC.Backend.Agda.Syntax |
| ProjSystem | FreeC.Backend.Agda.Syntax |
| Proof | FreeC.Backend.Coq.Syntax |
| ProofAdmitted | FreeC.Backend.Coq.Syntax |
| ProofDefined | FreeC.Backend.Coq.Syntax |
| ProofQed | FreeC.Backend.Coq.Syntax |
| Prop | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| PropN | FreeC.Backend.Agda.Syntax |
| Proposition | FreeC.Backend.Coq.Syntax |
| proveInd | FreeC.Backend.Coq.Base |
| PublicAccess | FreeC.Backend.Agda.Syntax |
| publicOpen | FreeC.Backend.Agda.Syntax |
| punctuate | FreeC.Pretty |
| Pure | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| pure | FreeC.Backend.Agda.Base |
| putDoc | FreeC.Pretty |
| putEnv | FreeC.Monad.Converter |
| putPretty | FreeC.Pretty |
| putPrettyLn | FreeC.Pretty |