P | Idris.Core.TT |
pAccess | Idris.IBC |
pairCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pairDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pairOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pairTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PAlternative | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PAppBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
params | |
1 (Function) | Idris.ElabTerm |
2 (Function) | Idris.Parser |
param_pos | Idris.AbsSyntaxTree, Idris.AbsSyntax |
ParentN | Idris.Core.TT |
PArg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PArg' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pargdoc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pargopts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
parseArgs | Idris.REPL |
parseCmd | Idris.REPLParser |
parseCodegen | Idris.REPL |
parseExpr | Idris.Parser |
parseImports | Idris.Parser |
parseMessage | Idris.IdeSlave |
parseProg | Idris.Parser |
parseTactic | Idris.Parser |
Partial | Idris.Core.Evaluate |
PartialFn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
partial_eval | Idris.PartialEval |
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.ElabDecls |
pbty | Idris.ElabDecls |
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 |
pdocstr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
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 |
pErrorHandlers | Idris.IBC |
pErrRev | Idris.IBC |
PExp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pexp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PFalse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PFix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pFixes | Idris.IBC |
pFlags | 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 |
pImports | Idris.IBC |
PImpossible | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pImps | Idris.IBC |
PInferRef | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PInstance | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pInstances | Idris.IBC |
pKeywords | Idris.IBC |
Pkg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PkgBuild | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PkgCheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PkgClean | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PkgInstall | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PkgREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Placeholder | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PLam | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pLangExt | Idris.Parser |
PLaterdecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
plazy | 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 |
pMetaInformation | Idris.IBC |
PMetavar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
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 |
pomString | IRTS.Java.Pom |
popIndent | Idris.ParseHelpers, Idris.Parser |
pOptimise | Idris.IBC |
postulate | Idris.Parser |
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 |
PPostulate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pprintErr | Idris.Delaborate |
pprintPTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PProof | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PProvider | 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 |
prefixCallNamespaces | IRTS.Java.Mangling |
PrefixN | Idris.AbsSyntaxTree, Idris.AbsSyntax |
PRefl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
prel | Idris.DataOpts |
premises | Idris.Core.ProofState, Idris.Core.Elaborate |
prepare_apply | Idris.Core.Elaborate |
PrepFill | Idris.Core.ProofState, Idris.Core.Elaborate |
prep_fill | Idris.Core.Elaborate |
PResolveTC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
prettyEnv | Idris.Core.TT |
prettyImp | 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 |
primFnType | IRTS.Java.JTypes |
primitives | Idris.Primitives |
primNames | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Print | Idris.Core.Elaborate |
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 |
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.IdeSlave |
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
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 | Idris.AbsSyntaxTree, Idris.AbsSyntax |
proof_list | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Prove | Idris.AbsSyntaxTree, Idris.AbsSyntax |
prove | Idris.Prover |
prover | Idris.Prover |
proverCompletion | Idris.Completion |
proverSettings | Idris.Prover |
provider | Idris.Parser |
ProviderError | Idris.Core.TT |
providerTy | Idris.Providers |
pruneAlt | Idris.ElabTerm |
pruneByType | Idris.ElabTerm |
prunStateT | Idris.Core.Elaborate |
PS | Idris.Core.ProofState, Idris.Core.Elaborate |
pscript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
pshow | Idris.Delaborate |
psolve | Idris.ElabDecls |
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 |
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 |
pureTerm | Idris.Core.TT |
pushIndent | Idris.ParseHelpers, Idris.Parser |
putIState | Idris.AbsSyntax |
PVar | Idris.Core.TT |
pvars | Idris.ElabDecls |
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 |