idris-0.9.17: Functional Programming Language with Dependent Types

Index - P

PIdris.Core.TT
pAccessIdris.IBC
pairConIdris.AbsSyntaxTree, Idris.AbsSyntax
pairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
PAlternativeIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppBindIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppImplIdris.AbsSyntaxTree, Idris.AbsSyntax
ParaIdris.Docstrings
paramNamesIdris.Elab.Utils
params 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
param_posIdris.AbsSyntaxTree, Idris.AbsSyntax
ParentNIdris.Core.TT
PArgIdris.AbsSyntaxTree, Idris.AbsSyntax
PArg'Idris.AbsSyntaxTree, Idris.AbsSyntax
pargoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
parseCmdIdris.REPLParser
parseCodegenIdris.CmdOptions
parseConsoleWidthIdris.CmdOptions
parseConstIdris.Parser
parseDocstringIdris.Docstrings
parseExprIdris.Parser
parseFlagsIdris.CmdOptions
parseImportsIdris.Parser
parseMessageIdris.IdeMode
parseProgIdris.Parser
parserIdris.CmdOptions
parserWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
parseTacticIdris.Parser
parseVersionIdris.CmdOptions
PartialIdris.Core.Evaluate
PartialFnIdris.AbsSyntaxTree, Idris.AbsSyntax
partial_evalIdris.PartialEval
PAsIdris.AbsSyntaxTree, Idris.AbsSyntax
PatBindIdris.Core.ProofState, Idris.Core.Elaborate
patbindIdris.Core.Elaborate
PattelabIdris.AbsSyntaxTree, Idris.AbsSyntax
patternIdris.Parser
PatternSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
PatVarIdris.Core.ProofState, Idris.Core.Elaborate
patvarIdris.Core.Elaborate
pbindsIdris.Elab.Utils
pbtyIdris.Elab.Utils
PCAFIdris.AbsSyntaxTree, Idris.AbsSyntax
PCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
pCGIdris.IBC
pCGFlagsIdris.IBC
PClassIdris.AbsSyntaxTree, Idris.AbsSyntax
pClassesIdris.IBC
PClause 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
PClause'Idris.AbsSyntaxTree, Idris.AbsSyntax
PClauseRIdris.AbsSyntaxTree, Idris.AbsSyntax
PClausesIdris.AbsSyntaxTree, Idris.AbsSyntax
PCoercedIdris.AbsSyntaxTree, Idris.AbsSyntax
pCoercionsIdris.IBC
pconstIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstantIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
PData 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
PData'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDatadeclIdris.AbsSyntaxTree, Idris.AbsSyntax
pDatatypesIdris.IBC
PDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PDecl'Idris.AbsSyntaxTree, Idris.AbsSyntax
pDefsIdris.IBC
PDirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
PDisambIdris.AbsSyntaxTree, Idris.AbsSyntax
PDoIdris.AbsSyntaxTree, Idris.AbsSyntax
PDo'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDoBlockIdris.AbsSyntaxTree, Idris.AbsSyntax
pDocsIdris.IBC
PDPairIdris.AbsSyntaxTree, Idris.AbsSyntax
PDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
pDSLsIdris.IBC
pDyLibsIdris.IBC
PEArgTypeIdris.PartialEval
PElabErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
PEqIdris.AbsSyntaxTree, Idris.AbsSyntax
pEraseTypeIdris.Core.TT
performUsageAnalysisIdris.Erasure
pErrorHandlersIdris.IBC
pErrRevIdris.IBC
PETransformIdris.AbsSyntaxTree, Idris.AbsSyntax
PExpIdris.AbsSyntaxTree, Idris.AbsSyntax
pexpIdris.AbsSyntaxTree, Idris.AbsSyntax
pExportsIdris.IBC
pe_appIdris.PartialEval
pe_clausesIdris.PartialEval
pe_defIdris.PartialEval
pe_simpleIdris.PartialEval
PFixIdris.AbsSyntaxTree, Idris.AbsSyntax
pFixesIdris.IBC
pFlagsIdris.IBC
pFnInfoIdris.IBC
pFunctionErrorHandlersIdris.IBC
PGoalIdris.AbsSyntaxTree, Idris.AbsSyntax
PhaseIdris.Core.CaseTree
pHdrsIdris.IBC
PHiddenIdris.AbsSyntaxTree, Idris.AbsSyntax
PiIdris.Core.TT
piIdris.ParseExpr, Idris.Parser
piBindIdris.AbsSyntaxTree, Idris.AbsSyntax
piBindpIdris.AbsSyntaxTree, Idris.AbsSyntax
PIdiomIdris.AbsSyntaxTree, Idris.AbsSyntax
PImpIdris.AbsSyntaxTree, Idris.AbsSyntax
pimpIdris.AbsSyntaxTree, Idris.AbsSyntax
pImportDirsIdris.IBC
pImportsIdris.IBC
PImpossibleIdris.AbsSyntaxTree, Idris.AbsSyntax
pImpsIdris.IBC
PInferRefIdris.AbsSyntaxTree, Idris.AbsSyntax
PInstanceIdris.AbsSyntaxTree, Idris.AbsSyntax
pInstancesIdris.IBC
piOptsIdris.ParseExpr, Idris.Parser
pKeywordsIdris.IBC
PkgIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgArgsIdris.Help
PkgBuildIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgCleanIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgIndexIdris.AbsSyntaxTree, Idris.AbsSyntax
pkgIndexIdris.Imports
PkgInstallIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgMkDocIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgTestIdris.AbsSyntaxTree, Idris.AbsSyntax
PlaceholderIdris.AbsSyntaxTree, Idris.AbsSyntax
PLamIdris.AbsSyntaxTree, Idris.AbsSyntax
pLangExtIdris.Parser
PLaterdeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PLetIdris.AbsSyntaxTree, Idris.AbsSyntax
pLibsIdris.IBC
PlicityIdris.AbsSyntaxTree, Idris.AbsSyntax
pLineAppsIdris.IBC
plogIdris.Core.ProofState, Idris.Core.Elaborate
ploopIdris.Prover
pmapIdris.Core.TT
PMatchAppIdris.AbsSyntaxTree, Idris.AbsSyntax
pMDocsIdris.IBC
pMetaInformationIdris.IBC
PMetavarIdris.AbsSyntaxTree, Idris.AbsSyntax
pMetavarsIdris.IBC
PMutualIdris.AbsSyntaxTree, Idris.AbsSyntax
pnameIdris.AbsSyntaxTree, Idris.AbsSyntax
pNameHintsIdris.IBC
PNamespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
PNoImplicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
pObjsIdris.IBC
popIndentIdris.ParseHelpers, Idris.Parser
pOptimiseIdris.IBC
pop_estackIdris.AbsSyntax
PortIdris.AbsSyntaxTree, Idris.AbsSyntax
postulateIdris.Parser
PostulateColourIdris.Colours
postulateColourIdris.Colours
PostulateOutputIdris.Core.TT
PPairIdris.AbsSyntaxTree, Idris.AbsSyntax
pparamIdris.AbsSyntaxTree, Idris.AbsSyntax
PParamsIdris.AbsSyntaxTree, Idris.AbsSyntax
pParsedSpanIdris.IBC
pPatdefsIdris.IBC
PPatvarIdris.AbsSyntaxTree, Idris.AbsSyntax
PPiIdris.AbsSyntaxTree, Idris.AbsSyntax
PPOption 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ppOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
ppOptionIstIdris.AbsSyntaxTree, Idris.AbsSyntax
ppopt_implIdris.AbsSyntaxTree, Idris.AbsSyntax
PPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
pPostulatesIdris.IBC
PPrintIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintConstDocsIdris.Docs
pprintDefIdris.REPL
pprintDelabIdris.Delaborate
pprintDelabTyIdris.Delaborate
pprintDocsIdris.Docs
pprintErrIdris.Delaborate
pprintPTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintTTIdris.Core.TT
PProofIdris.AbsSyntaxTree, Idris.AbsSyntax
PProviderIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuoteIdris.AbsSyntaxTree, Idris.AbsSyntax
PReasonIdris.Core.Evaluate
precIdris.AbsSyntaxTree, Idris.AbsSyntax
PRecordIdris.AbsSyntaxTree, Idris.AbsSyntax
PRefIdris.AbsSyntaxTree, Idris.AbsSyntax
prefixIdris.ParseOps, Idris.Parser
PrefixNIdris.AbsSyntaxTree, Idris.AbsSyntax
PReflIdris.AbsSyntaxTree, Idris.AbsSyntax
prelIdris.DataOpts
premisesIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
prepare_applyIdris.Core.Elaborate
PrepFillIdris.Core.ProofState, Idris.Core.Elaborate
preProcOptsIdris.CmdOptions
prep_fillIdris.Core.Elaborate
PResolveTCIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyDocumentedIstIdris.Output
prettyEnvIdris.Core.TT
prettyImpIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyIstIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyNameIdris.AbsSyntaxTree, Idris.AbsSyntax
PReturnIdris.AbsSyntaxTree, Idris.AbsSyntax
previousIdris.Core.ProofState, Idris.Core.Elaborate
PRewriteIdris.AbsSyntaxTree, Idris.AbsSyntax
Prim 
1 (Type/Class)Idris.Primitives
2 (Data Constructor)Idris.Primitives
primDefsIdris.AbsSyntaxTree, Idris.AbsSyntax
PrimFnIRTS.Lang, IRTS.Defunctionalise
primitivesIdris.Primitives
primNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
PrintDef 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
printUndefinedNamesIdris.Output
priorityIdris.AbsSyntaxTree, Idris.AbsSyntax
problemsIdris.Core.ProofState, Idris.Core.Elaborate
process 
1 (Function)Idris.IBC
2 (Function)Idris.REPL
processInputIdris.REPL
processNetCmdIdris.REPL
processTacticIdris.Core.ProofState, Idris.Core.Elaborate
processTactic'Idris.Core.Elaborate
processTacticDeclsIdris.ElabTerm
ProductiveIdris.Core.Evaluate
progIdris.Parser
ProgramLineCommentIdris.Core.TT
ProjIdris.Core.TT
ProjCaseIdris.Core.CaseTree
PROJECTIRTS.Bytecode
PROJECTINTOIRTS.Bytecode
PromptColourIdris.Colours
promptColourIdris.Colours
proofIdris.Core.Elaborate
proofExprIdris.ParseExpr, Idris.Parser
proofFailIdris.Core.Elaborate
ProofsIdris.AbsSyntaxTree, Idris.AbsSyntax
proofsIdris.REPL
ProofSearch 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
proofSearchIdris.ProofSearch
proofSearch'Idris.ElabTerm
ProofSearchFailIdris.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
proofstateIdris.Core.Elaborate
ProofTerm 
1 (Type/Class)Idris.Core.ProofTerm
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
proof_listIdris.AbsSyntaxTree, Idris.AbsSyntax
propagateParamsIdris.Elab.Clause
ProveIdris.AbsSyntaxTree, Idris.AbsSyntax
proveIdris.Prover
ProvenanceIdris.Core.TT
proverIdris.Prover
proverCompletionIdris.Completion
proverSettingsIdris.Prover
ProvideIdris.Providers
ProvidedIdris.Providers
providerIdris.Parser
ProviderErrorIdris.Core.TT
providerTyIdris.Providers
ProvideWhatIdris.AbsSyntaxTree, Idris.AbsSyntax
ProvideWhat'Idris.AbsSyntaxTree, Idris.AbsSyntax
ProvPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
ProvTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pruneAltIdris.ElabTerm
pruneByTypeIdris.ElabTerm
prunStateTIdris.Core.Elaborate
PRunTacticsIdris.AbsSyntaxTree, Idris.AbsSyntax
PSIdris.Core.ProofState, Idris.Core.Elaborate
pscopedIdris.AbsSyntaxTree, Idris.AbsSyntax
pscriptIdris.AbsSyntaxTree, Idris.AbsSyntax
pshowIdris.Output
psolveIdris.Elab.Utils
pstaticIdris.AbsSyntaxTree, Idris.AbsSyntax
pStaticsIdris.IBC
psubstIdris.Core.TT
PSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
pSyntaxIdris.IBC
ptacimpIdris.AbsSyntaxTree, Idris.AbsSyntax
PTacImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
PTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
PTactic'Idris.AbsSyntaxTree, Idris.AbsSyntax
PTacticsIdris.AbsSyntaxTree, Idris.AbsSyntax
PTermIdris.AbsSyntaxTree, Idris.AbsSyntax
ptermIdris.Core.ProofState, Idris.Core.Elaborate
pTotalIdris.IBC
pTotCheckErrIdris.IBC
pToVIdris.Core.TT
pToV'Idris.Core.TT
pToVsIdris.Core.TT
pTransIdris.IBC
PTransformIdris.AbsSyntaxTree, Idris.AbsSyntax
PtrTypeIdris.Core.TT
PTrueIdris.AbsSyntaxTree, Idris.AbsSyntax
PTyIdris.AbsSyntaxTree, Idris.AbsSyntax
PTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
ptypeIdris.Core.ProofState, Idris.Core.Elaborate
PTypedIdris.AbsSyntaxTree, Idris.AbsSyntax
PublicIdris.Core.Evaluate
PUnifyLogIdris.AbsSyntaxTree, Idris.AbsSyntax
PunInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
PUniverseIdris.AbsSyntaxTree, Idris.AbsSyntax
PUnquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
pureArgParserIdris.CmdOptions
pureTermIdris.Core.TT
pUsageIdris.IBC
pushIndentIdris.ParseHelpers, Idris.Parser
push_estackIdris.AbsSyntax
putIStateIdris.AbsSyntax
PVarIdris.Core.TT
pvarsIdris.Elab.Utils
PVTyIdris.Core.TT
PWithIdris.AbsSyntaxTree, Idris.AbsSyntax
PWithRIdris.AbsSyntaxTree, Idris.AbsSyntax
p_arityIdris.Primitives
p_defIdris.Primitives
p_lexpIdris.Primitives
p_nameIdris.Primitives
p_totalIdris.Primitives
p_typeIdris.Primitives