Index - P
| P | Idris.Core.TT |
| pairCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pairTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PAlternative | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PAltType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PAppBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PAppImpl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Para | Idris.Docstrings |
| paramNames | Idris.Elab.Utils |
| params | |
| 1 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Function) | Idris.Parser |
| param_pos | Idris.Core.TT |
| ParentN | Idris.Core.TT |
| PArg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PArg' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pargopts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| parseCmd | Idris.REPL.Parser |
| parseCodegen | Idris.CmdOptions |
| parseConsoleWidth | Idris.CmdOptions |
| parseConst | Idris.Parser |
| parseDocstring | Idris.Docstrings |
| parseElabShellStep | Idris.Parser |
| parseExpr | Idris.Parser |
| parseFlags | Idris.CmdOptions |
| parseImports | Idris.Parser |
| parseLogCats | Idris.CmdOptions |
| parseMessage | Idris.IdeMode |
| parseProg | Idris.Parser |
| parser | Idris.CmdOptions |
| parserCats | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| parserWarning | Idris.Parser.Helpers, Idris.Parser |
| parserWarnings | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| parseTactic | Idris.Parser |
| parseVersion | Idris.CmdOptions |
| Partial | Idris.Core.Evaluate |
| PartialFn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| partial_eval | Idris.PartialEval |
| PAs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PatBind | Idris.Core.ProofState, Idris.Core.Elaborate |
| patbind | Idris.Core.Elaborate |
| Pattelab | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pattern | Idris.Parser |
| PatternSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PatVar | Idris.Core.ProofState, Idris.Core.Elaborate |
| patvar | Idris.Core.Elaborate |
| patvar' | Idris.Core.Elaborate |
| pbinds | Idris.Elab.Utils |
| pbty | Idris.Elab.Utils |
| PCAF | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PCase | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PClass | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PClause | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PClause' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PClauseR | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PClauses | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PCoerced | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pconst | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PConstant | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PConstraint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PConstSugar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PData | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PData' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDatadecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDecl' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDirective | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDisamb | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDo' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDoBlock | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDPair | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDSL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PEArgType | Idris.PartialEval |
| PEGenerated | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PElabError | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pEraseType | Idris.Core.TT |
| performUsageAnalysis | Idris.Erasure |
| PETransform | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PExp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pexp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pe_app | Idris.PartialEval |
| pe_clauses | Idris.PartialEval |
| pe_def | Idris.PartialEval |
| pe_depth | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pe_simple | Idris.PartialEval |
| PFix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PGoal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Phase | Idris.Core.CaseTree |
| PHidden | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Pi | Idris.Core.TT |
| pi | Idris.Parser.Expr, Idris.Parser |
| piBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| piBindp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PIdiom | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PIfThenElse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pimp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PImpossible | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PInferRef | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pinsource | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PInstance | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| piOpts | Idris.Parser.Expr, Idris.Parser |
| Pkg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgArgs | Idris.Help |
| pkgauthor | Idris.Package.Common |
| pkgbrief | Idris.Package.Common |
| pkgbugtracker | Idris.Package.Common |
| PkgBuild | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgCheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgClean | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgdeps | Idris.Package.Common |
| PkgDesc | |
| 1 (Type/Class) | Idris.Package.Common |
| 2 (Data Constructor) | Idris.Package.Common |
| pkghomepage | Idris.Package.Common |
| PkgIndex | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgIndex | Idris.Imports |
| PkgInstall | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkglicense | Idris.Package.Common |
| pkgmaintainer | Idris.Package.Common |
| PkgMkDoc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgname | Idris.Package.Common |
| pkgreadme | Idris.Package.Common |
| PkgREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgsourceloc | Idris.Package.Common |
| PkgTest | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgversion | Idris.Package.Common |
| Placeholder | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PLam | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pLangExt | Idris.Parser |
| PLaterdecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PLet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Plicity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| plog | Idris.Core.ProofState, Idris.Core.Elaborate |
| pmap | Idris.Core.TT |
| PMatchApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PMetavar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PMutual | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pname | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PNamespace | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PNoImplicits | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| POpenInterfaces | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| popIndent | Idris.Parser.Helpers, Idris.Parser |
| pop_estack | Idris.AbsSyntax |
| Port | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| postulate | Idris.Parser |
| PostulateColour | Idris.Colours |
| postulateColour | Idris.Colours |
| PostulateOutput | Idris.Core.TT |
| PPair | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pparam | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PParams | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPatvar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPi | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPOption | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppOption | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppOptionIst | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppopt_depth | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppopt_desugarnats | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppopt_impl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ppopt_pinames | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPostulate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPrint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pprintConstDocs | Idris.Docs |
| pprintDelab | Idris.Delaborate |
| pprintDelabTy | Idris.Delaborate |
| pprintDocs | Idris.Docs |
| pprintErr | Idris.Delaborate |
| pprintNoDelab | Idris.Delaborate |
| pprintPTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pprintRaw | Idris.Core.TT |
| pprintTT | Idris.Core.TT |
| pprintTypeDoc | Idris.Docs |
| PProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PProvider | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PQuasiquote | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PQuote | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PQuoteName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PReason | Idris.Core.Evaluate |
| prec | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PRecord | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PRef | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prefix | Idris.Parser.Ops, Idris.Parser |
| PrefixN | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| premises | Idris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate |
| prepare_apply | Idris.Core.Elaborate |
| PrepFill | Idris.Core.ProofState, Idris.Core.Elaborate |
| preProcOpts | Idris.CmdOptions |
| prep_fill | Idris.Core.Elaborate |
| PResolveTC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prettyDocumentedIst | Idris.Output |
| prettyEnv | Idris.Core.TT |
| prettyImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prettyIst | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prettyName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PReturn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| previous | Idris.Core.ProofState, Idris.Core.Elaborate |
| PRewrite | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Prim | |
| 1 (Type/Class) | Idris.Primitives |
| 2 (Data Constructor) | Idris.Primitives |
| primDefs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| primfc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PrimFn | IRTS.Lang, IRTS.Defunctionalise |
| primitives | Idris.Primitives |
| primNames | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PrintDef | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeMode |
| printUndefinedNames | Idris.Output |
| priority | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Private | Idris.Core.Evaluate |
| problems | Idris.Core.ProofState, Idris.Core.Elaborate |
| processTactic | Idris.Core.ProofState, Idris.Core.Elaborate |
| processTactic' | Idris.Core.Elaborate |
| processTacticDecls | Idris.Elab.Term |
| Productive | Idris.Core.Evaluate |
| prog | Idris.Parser |
| ProgramLineComment | Idris.Core.TT |
| Proj | Idris.Core.TT |
| ProjCase | Idris.Core.CaseTree |
| PROJECT | IRTS.Bytecode |
| PROJECTINTO | IRTS.Bytecode |
| PromptColour | Idris.Colours |
| promptColour | Idris.Colours |
| proof | Idris.Core.Elaborate |
| proofExpr | Idris.Parser.Expr, Idris.Parser |
| proofFail | Idris.Core.Elaborate |
| Proofs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ProofSearch | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeMode |
| proofSearch | Idris.ProofSearch |
| proofSearch' | Idris.Elab.Term |
| ProofSearchFail | Idris.Core.TT |
| ProofState | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Type/Class) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 3 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| proofstate | Idris.Core.Elaborate |
| ProofTerm | |
| 1 (Type/Class) | Idris.Core.ProofTerm |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| proof_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| propagateParams | Idris.Elab.Utils |
| Prove | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Provenance | Idris.Core.TT |
| prover | Idris.Prover |
| proverCompletion | Idris.Completion |
| Provide | Idris.Providers |
| Provided | Idris.Providers |
| provider | Idris.Parser |
| ProviderError | Idris.Core.TT |
| providerTy | Idris.Providers |
| ProvideWhat | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ProvideWhat' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ProvPostulate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ProvTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pruneAlt | Idris.Elab.Term |
| pruneByType | Idris.Elab.Term |
| PRunElab | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PRunElabDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prunStateT | Idris.Core.Elaborate |
| PS | Idris.Core.ProofState, Idris.Core.Elaborate |
| pscoped | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pscript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pshow | Idris.Output |
| psnames | Idris.Core.ProofState, Idris.Core.Elaborate |
| psolve | Idris.Elab.Utils |
| pstatic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| psubst | Idris.Core.TT |
| PSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ptacimp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTacImplicit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTactic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTactic' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTactics | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pterm | Idris.Core.ProofState, Idris.Core.Elaborate |
| pToV | Idris.Core.TT |
| pToVs | Idris.Core.TT |
| PTransform | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTrue | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ptype | Idris.Core.ProofState, Idris.Core.Elaborate |
| PTyped | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Public | Idris.Core.Evaluate |
| PUnifyLog | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PunInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PUniverse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PUnquote | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pureArgParser | Idris.CmdOptions |
| pureTerm | Idris.Core.TT |
| pushIndent | Idris.Parser.Helpers, Idris.Parser |
| push_estack | Idris.AbsSyntax |
| putIState | Idris.AbsSyntax |
| PVar | Idris.Core.TT |
| pvars | Idris.Elab.Utils |
| PVTy | Idris.Core.TT |
| PWith | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PWithApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PWithR | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| p_arity | Idris.Primitives |
| p_def | Idris.Primitives |
| p_lexp | Idris.Primitives |
| p_name | Idris.Primitives |
| p_total | Idris.Primitives |
| p_type | Idris.Primitives |