P | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
packRealSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
Pair | |
1 (Data Constructor) | Liquid.GHC.API |
2 (Type/Class) | Liquid.GHC.API |
pandocHtml | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
panic | |
1 (Function) | Liquid.GHC.API |
2 (Function) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
panicDoc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
panicError | Language.Haskell.Liquid.UX.Tidy |
panicUnbound | Language.Haskell.Liquid.Constraint.Split |
pApp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
pappArity | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
pappSort | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
pappSym | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
parens | Liquid.GHC.API |
parg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pargs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ParsedModule | Liquid.GHC.API |
parsedResultAction | Liquid.GHC.API |
ParseError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
parseModuleIO | Liquid.GHC.API.Extra, Liquid.GHC.API |
parseSpecFile | Language.Haskell.Liquid.GHC.Interface |
parseSymbolToLogic | Language.Haskell.Liquid.Parse |
parseTest' | Language.Haskell.Liquid.Parse |
partitionLocalBinds | Language.Haskell.Liquid.Bare.Resolve |
PartWay | Liquid.GHC.API |
PatBind | Language.Haskell.Liquid.GHC.Resugar |
patBinds | Language.Haskell.Liquid.GHC.Resugar |
patCtor | Language.Haskell.Liquid.GHC.Resugar |
patDct | Language.Haskell.Liquid.GHC.Resugar |
patE | Language.Haskell.Liquid.GHC.Resugar |
patE1 | Language.Haskell.Liquid.GHC.Resugar |
patE2 | Language.Haskell.Liquid.GHC.Resugar |
patFF | Language.Haskell.Liquid.GHC.Resugar |
patIdx | Language.Haskell.Liquid.GHC.Resugar |
patM | Language.Haskell.Liquid.GHC.Resugar |
PatProject | Language.Haskell.Liquid.GHC.Resugar |
patRet | Language.Haskell.Liquid.GHC.Resugar |
PatReturn | Language.Haskell.Liquid.GHC.Resugar |
PatSelfBind | Language.Haskell.Liquid.GHC.Resugar |
PatSelfRecBind | Language.Haskell.Liquid.GHC.Resugar |
Pattern | Language.Haskell.Liquid.GHC.Resugar |
patternFlag | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
patTy | Language.Haskell.Liquid.GHC.Resugar |
patTyA | Language.Haskell.Liquid.GHC.Resugar |
patTyB | Language.Haskell.Liquid.GHC.Resugar |
patX | Language.Haskell.Liquid.GHC.Resugar |
patXE | Language.Haskell.Liquid.GHC.Resugar |
pAT_ERROR_ID | Liquid.GHC.API |
PBound | Language.Haskell.Liquid.Parse |
PDoc | |
1 (Data Constructor) | Liquid.GHC.API |
2 (Type/Class) | Liquid.GHC.API |
pdoc | Liquid.GHC.API |
pdVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
pdVarReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
permitTC | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pErr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PhantomProv | Liquid.GHC.API |
Phase | Liquid.GHC.API |
piResultTys | Liquid.GHC.API |
pleWithUndecidedGuards | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
plugHoles | Language.Haskell.Liquid.Bare.Expand |
Plugin | |
1 (Type/Class) | Liquid.GHC.API |
2 (Data Constructor) | Liquid.GHC.API |
plugin | Language.Haskell.Liquid.GHC.Plugin, LiquidHaskellBoot |
pluginRecompile | Liquid.GHC.API |
plugSrc | Language.Haskell.Liquid.Bare.Types |
PlugTV | Language.Haskell.Liquid.Bare.Types |
plural | Liquid.GHC.API |
plus_RDR | Liquid.GHC.API |
pm_mod_summary | Liquid.GHC.API |
pm_parsed_source | Liquid.GHC.API |
pname | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pneg | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
port | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
Pos | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
pos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
Positions | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
posOcc | Language.Haskell.Liquid.GHC.Play |
PP | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppDebug | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PPEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppEnvShort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppos | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
ppPs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppr | Liquid.GHC.API |
pprBndr | Liquid.GHC.API |
PprCode | Liquid.GHC.API |
pprCode | Liquid.GHC.API |
pprDeeper | Liquid.GHC.API |
pprDeeperList | Liquid.GHC.API |
pprDoc | Language.Haskell.Liquid.GHC.Misc |
PprDump | Liquid.GHC.API |
pprFastFilePath | Liquid.GHC.API |
pprFilePathString | Liquid.GHC.API |
pprHsBytes | Liquid.GHC.API |
pprHsChar | Liquid.GHC.API |
pprHsString | Liquid.GHC.API |
pprInfixOcc | Liquid.GHC.API |
pprInfixVar | Liquid.GHC.API |
PPrint | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pprint | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pprintCBs | Language.Haskell.Liquid.GHC.Interface |
pprinter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
pprintLongList | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
pprintPrec | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pprintSymbol | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
pprintTidy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pprManyOrdered | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
PprPrec | Liquid.GHC.API |
pprPrefixOcc | Liquid.GHC.API |
pprPrefixVar | Liquid.GHC.API |
pprPrimChar | Liquid.GHC.API |
pprPrimInt | Liquid.GHC.API |
pprPrimInt16 | Liquid.GHC.API |
pprPrimInt32 | Liquid.GHC.API |
pprPrimInt64 | Liquid.GHC.API |
pprPrimInt8 | Liquid.GHC.API |
pprPrimWord | Liquid.GHC.API |
pprPrimWord16 | Liquid.GHC.API |
pprPrimWord32 | Liquid.GHC.API |
pprPrimWord64 | Liquid.GHC.API |
pprPrimWord8 | Liquid.GHC.API |
pprQuotedList | Liquid.GHC.API |
pprSetDepth | Liquid.GHC.API |
pprShow | Language.Haskell.Liquid.GHC.Misc |
PprStyle | Liquid.GHC.API |
PprUser | Liquid.GHC.API |
pprWithBars | Liquid.GHC.API |
pprWithCommas | Liquid.GHC.API |
ppShort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppTicks | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppTycon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppTyVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
ppUnless | Liquid.GHC.API |
ppUnlessOption | Liquid.GHC.API |
ppWhen | Liquid.GHC.API |
ppWhenOption | Liquid.GHC.API |
Pr | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
Pragma | Language.Haskell.Liquid.Parse |
pragmas | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
Predicate | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PredInstE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PredType | Liquid.GHC.API |
predType | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
Prefix | Liquid.GHC.API |
prependGHCRealQual | Language.Haskell.Liquid.GHC.Misc |
primCharSuffix | Liquid.GHC.API |
primDoubleSuffix | Liquid.GHC.API |
primFloatSuffix | Liquid.GHC.API |
primInt16Suffix | Liquid.GHC.API |
primInt32Suffix | Liquid.GHC.API |
primInt64Suffix | Liquid.GHC.API |
primInt8Suffix | Liquid.GHC.API |
primIntSuffix | Liquid.GHC.API |
primTyCons | Liquid.GHC.API |
primWord16Suffix | Liquid.GHC.API |
primWord32Suffix | Liquid.GHC.API |
primWord64Suffix | Liquid.GHC.API |
primWord8Suffix | Liquid.GHC.API |
primWordSuffix | Liquid.GHC.API |
printLiquidHaskellBanner | Language.Haskell.Liquid.UX.CmdLine |
printSDoc | Liquid.GHC.API |
printSDocLn | Liquid.GHC.API |
PrintUnqualified | Liquid.GHC.API |
printWarning | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
ProfNote | Liquid.GHC.API |
profNoteCC | Liquid.GHC.API |
profNoteCount | Liquid.GHC.API |
profNoteScope | Liquid.GHC.API |
ProgramError | Liquid.GHC.API |
ProjectE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PromotionFlag | Liquid.GHC.API |
ProofIrrelProv | Liquid.GHC.API |
proofLogicEval | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
proofLogicEvalLocal | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
proofTyConName | Language.Haskell.Liquid.WiredIn |
PrType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
pruneFlag | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pruneRefs | Language.Haskell.Liquid.Constraint.Types |
pruneUnsorted | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
Pspec | Language.Haskell.Liquid.Parse |
ptext | Liquid.GHC.API |
ptype | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
punctuate | Liquid.GHC.API |
punknown | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
purePlugin | Liquid.GHC.API |
push | Language.Haskell.Liquid.GHC.SpanStack |
pushTcLevelM | Liquid.GHC.API |
putLogMsg | Liquid.GHC.API |
putWarnMsg | Language.Haskell.Liquid.GHC.Logging |
PV | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pvarRType | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
pvars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pVartoRConc | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
PVHProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PVKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PVProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
pvType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
PVU | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |