| 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 |