Index - P
| P | Idris.Core.TT |
| pAccess | Idris.IBC |
| pairCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pairTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PAlternative | 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.AbsSyntaxTree, Idris.AbsSyntax |
| ParentN | Idris.Core.TT |
| PArg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PArg' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pargopts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| parseCmd | Idris.REPLParser |
| parseCodegen | Idris.CmdOptions |
| parseConsoleWidth | Idris.CmdOptions |
| parseConst | Idris.Parser |
| parseDocstring | Idris.Docstrings |
| parseExpr | Idris.Parser |
| parseFlags | Idris.CmdOptions |
| parseImports | Idris.Parser |
| parseMessage | Idris.IdeMode |
| parseProg | Idris.Parser |
| parser | Idris.CmdOptions |
| 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 |
| pbinds | Idris.Elab.Utils |
| pbty | Idris.Elab.Utils |
| PCAF | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PCase | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pCG | Idris.IBC |
| pCGFlags | Idris.IBC |
| PClass | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pClasses | Idris.IBC |
| 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 |
| pCoercions | Idris.IBC |
| pconst | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PConstant | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PConstraint | 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 |
| pDatatypes | Idris.IBC |
| PDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDecl' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pDefs | Idris.IBC |
| 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 |
| pDocs | Idris.IBC |
| PDPair | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PDSL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pDSLs | Idris.IBC |
| pDyLibs | Idris.IBC |
| PEArgType | Idris.PartialEval |
| PElabError | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PEq | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pEraseType | Idris.Core.TT |
| performUsageAnalysis | Idris.Erasure |
| pErrorHandlers | Idris.IBC |
| pErrRev | Idris.IBC |
| PETransform | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PExp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pexp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pExports | Idris.IBC |
| pe_app | Idris.PartialEval |
| pe_clauses | Idris.PartialEval |
| pe_def | Idris.PartialEval |
| pe_simple | Idris.PartialEval |
| PFix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pFixes | Idris.IBC |
| pFlags | Idris.IBC |
| pFnInfo | Idris.IBC |
| pFunctionErrorHandlers | Idris.IBC |
| PGoal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Phase | Idris.Core.CaseTree |
| pHdrs | Idris.IBC |
| PHidden | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Pi | Idris.Core.TT |
| pi | Idris.ParseExpr, Idris.Parser |
| piBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| piBindp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PIdiom | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pimp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pImportDirs | Idris.IBC |
| pImports | Idris.IBC |
| PImpossible | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pImps | Idris.IBC |
| PInferRef | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PInstance | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pInstances | Idris.IBC |
| piOpts | Idris.ParseExpr, Idris.Parser |
| pKeywords | Idris.IBC |
| Pkg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgArgs | Idris.Help |
| PkgBuild | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgCheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgClean | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgIndex | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pkgIndex | Idris.Imports |
| PkgInstall | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgMkDoc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PkgTest | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Placeholder | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PLam | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pLangExt | Idris.Parser |
| PLaterdecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PLet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pLibs | Idris.IBC |
| Plicity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pLineApps | Idris.IBC |
| plog | Idris.Core.ProofState, Idris.Core.Elaborate |
| ploop | Idris.Prover |
| pmap | Idris.Core.TT |
| PMatchApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pMDocs | Idris.IBC |
| pMetaInformation | Idris.IBC |
| PMetavar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pMetavars | Idris.IBC |
| PMutual | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pname | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pNameHints | Idris.IBC |
| PNamespace | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PNoImplicits | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pObjs | Idris.IBC |
| popIndent | Idris.ParseHelpers, Idris.Parser |
| pOptimise | Idris.IBC |
| 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 |
| pParsedSpan | Idris.IBC |
| pPatdefs | Idris.IBC |
| 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_impl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PPostulate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pPostulates | Idris.IBC |
| PPrint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pprintConstDocs | Idris.Docs |
| pprintDef | Idris.REPL |
| pprintDelab | Idris.Delaborate |
| pprintDelabTy | Idris.Delaborate |
| pprintDocs | Idris.Docs |
| pprintErr | Idris.Delaborate |
| pprintPTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pprintTT | Idris.Core.TT |
| PProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PProvider | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PQuasiquote | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PQuote | 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.ParseOps, Idris.Parser |
| PrefixN | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PRefl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prel | Idris.DataOpts |
| 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 |
| 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 |
| problems | Idris.Core.ProofState, Idris.Core.Elaborate |
| process | |
| 1 (Function) | Idris.IBC |
| 2 (Function) | Idris.REPL |
| processInput | Idris.REPL |
| processNetCmd | Idris.REPL |
| processTactic | Idris.Core.ProofState, Idris.Core.Elaborate |
| processTactic' | Idris.Core.Elaborate |
| processTacticDecls | Idris.ElabTerm |
| 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.ParseExpr, Idris.Parser |
| proofFail | Idris.Core.Elaborate |
| Proofs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| proofs | Idris.REPL |
| ProofSearch | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.IdeMode |
| proofSearch | Idris.ProofSearch |
| proofSearch' | Idris.ElabTerm |
| 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.Clause |
| Prove | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| prove | Idris.Prover |
| Provenance | Idris.Core.TT |
| prover | Idris.Prover |
| proverCompletion | Idris.Completion |
| proverSettings | Idris.Prover |
| 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.ElabTerm |
| pruneByType | Idris.ElabTerm |
| prunStateT | Idris.Core.Elaborate |
| PRunTactics | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PS | Idris.Core.ProofState, Idris.Core.Elaborate |
| pscoped | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pscript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pshow | Idris.Output |
| psolve | Idris.Elab.Utils |
| pstatic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pStatics | Idris.IBC |
| psubst | Idris.Core.TT |
| PSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| pSyntax | Idris.IBC |
| 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 |
| pTotal | Idris.IBC |
| pTotCheckErr | Idris.IBC |
| pToV | Idris.Core.TT |
| pToV' | Idris.Core.TT |
| pToVs | Idris.Core.TT |
| pTrans | Idris.IBC |
| PTransform | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| PtrType | Idris.Core.TT |
| 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 |
| pUsage | Idris.IBC |
| pushIndent | Idris.ParseHelpers, 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 |
| 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 |