| !? | Language.Haskell.Liquid.Misc |
| $$ | Liquid.GHC.API |
| $+$ | Liquid.GHC.API |
| +++= | Language.Haskell.Liquid.Constraint.Env |
| += | Language.Haskell.Liquid.Constraint.Env |
| -= | Language.Haskell.Liquid.Constraint.Env |
| .&&. | Language.Haskell.Liquid.Misc |
| .||. | Language.Haskell.Liquid.Misc |
| <+> | Liquid.GHC.API |
| <-> | Language.Haskell.Liquid.Misc |
| =*= | Language.Haskell.Liquid.Types.Equality |
| ?= | Language.Haskell.Liquid.Constraint.Env |
| abinds | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AConLike | Liquid.GHC.API |
| actN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| acycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| addA | Language.Haskell.Liquid.Constraint.Monad |
| addBinders | Language.Haskell.Liquid.Constraint.Env |
| addC | Language.Haskell.Liquid.Constraint.Monad |
| addClassEmbeds | Language.Haskell.Liquid.Bare.DataType |
| addConstraints | Language.Haskell.Liquid.Constraint.Constraint |
| addEEnv | Language.Haskell.Liquid.Constraint.Env |
| addErrors | Language.Haskell.Liquid.UX.CmdLine |
| addFst3 | Language.Haskell.Liquid.Misc |
| addIdA | Language.Haskell.Liquid.Constraint.Monad |
| addInvCond | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| addKuts | Language.Haskell.Liquid.Constraint.Fresh |
| addLocA | Language.Haskell.Liquid.Constraint.Monad |
| addPost | Language.Haskell.Liquid.Constraint.Monad |
| addPostTemplate | Language.Haskell.Liquid.Constraint.Template |
| addRInv | Language.Haskell.Liquid.Constraint.Types |
| addRTyConInv | Language.Haskell.Liquid.Constraint.Types |
| addSEnv | Language.Haskell.Liquid.Constraint.Env |
| addThd3 | Language.Haskell.Liquid.Misc |
| addTyConInfo | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| addW | Language.Haskell.Liquid.Constraint.Monad |
| addWarning | Language.Haskell.Liquid.Constraint.Monad |
| AI | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| alhs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Alias | Language.Haskell.Liquid.Parse |
| aliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| allErrors | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| allImports | Language.Haskell.Liquid.GHC.Interface |
| allowGlobalPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| allowHO | Language.Haskell.Liquid.Constraint.Types |
| allowLocalPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| allowPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AllTheWay | Liquid.GHC.API |
| allTyVars | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| allTyVars' | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| AllVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| allWarnings | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Alt | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| AltCon | Liquid.GHC.API |
| alwaysQualify | Liquid.GHC.API |
| alwaysQualifyModules | Liquid.GHC.API |
| alwaysQualifyNames | Liquid.GHC.API |
| alwaysQualifyPackages | Liquid.GHC.API |
| aname | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| and_RDR | Liquid.GHC.API |
| angleBrackets | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.Misc |
| AnId | Liquid.GHC.API |
| Ann | Language.Haskell.Liquid.UX.ACSS |
| AnnDef | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| annErrors | Language.Haskell.Liquid.UX.Annotate |
| AnnInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AnnLoc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AnnMap | Language.Haskell.Liquid.UX.ACSS |
| Annot | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| annotate | Language.Haskell.Liquid.UX.Annotate |
| Annotation | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| annotMap | Language.Haskell.Liquid.Constraint.Types |
| AnnPayload | Liquid.GHC.API |
| AnnRDf | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AnnTarget | Liquid.GHC.API |
| AnnUse | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ann_target | Liquid.GHC.API |
| ann_value | Liquid.GHC.API |
| AnonArgFlag | Liquid.GHC.API |
| AnonTCB | Liquid.GHC.API |
| anormalize | Language.Haskell.Liquid.Transforms.ANF |
| anyF | Language.Haskell.Liquid.GHC.Misc |
| AnyFilter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| anyTy | Liquid.GHC.API |
| anyTypeSymbol | Language.Haskell.Liquid.Types.Names, Language.Haskell.Liquid.Types |
| ApiBlockComment | Liquid.GHC.API.Extra, Liquid.GHC.API |
| ApiComment | Liquid.GHC.API.Extra, Liquid.GHC.API |
| apiComments | Liquid.GHC.API.Extra, Liquid.GHC.API |
| apiCommentsParsedSource | Liquid.GHC.API.Extra, Liquid.GHC.API |
| ApiLineComment | Liquid.GHC.API.Extra, Liquid.GHC.API |
| App | Liquid.GHC.API |
| AppCo | Liquid.GHC.API |
| applySolution | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| appRTyCon | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| AppTy | Liquid.GHC.API |
| AREnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Arg | Liquid.GHC.API |
| ArgFlag | Liquid.GHC.API |
| argN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| arhs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Arity | Liquid.GHC.API |
| arrow | Liquid.GHC.API |
| arrowt | Liquid.GHC.API |
| arrowtt | Liquid.GHC.API |
| ASize | Language.Haskell.Liquid.Parse |
| asmRel | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| asmSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| AsmStyle | Liquid.GHC.API |
| asmStyle | Liquid.GHC.API |
| Asrt | Language.Haskell.Liquid.Parse |
| Asrts | Language.Haskell.Liquid.Parse |
| Asserted | Language.Haskell.Liquid.Constraint.Template |
| Assm | Language.Haskell.Liquid.Parse |
| AssmRel | Language.Haskell.Liquid.Parse |
| assms | Language.Haskell.Liquid.Constraint.Types |
| Assumed | Language.Haskell.Liquid.Constraint.Template |
| ATyCon | Liquid.GHC.API |
| atypes | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| autois | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| autoSize | Language.Haskell.Liquid.Constraint.Types |
| autosize | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| auxInline | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Avail | Liquid.GHC.API |
| availableTyCons | Language.Haskell.Liquid.GHC.Interface |
| availableVars | Language.Haskell.Liquid.GHC.Interface |
| AvailInfo | Liquid.GHC.API |
| availNames | Liquid.GHC.API |
| availsToStableNameSet | Language.Haskell.Liquid.GHC.Types |
| AvailTC | Liquid.GHC.API |
| axeqs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Axiom | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| AxiomInstCo | Liquid.GHC.API |
| AxiomRuleCo | Liquid.GHC.API |
| Backend | Liquid.GHC.API |
| backend | Liquid.GHC.API |
| Bag | Liquid.GHC.API |
| bagToList | Liquid.GHC.API |
| BareDef | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| BareMeasure | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| bareOfType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| BareRTAlias | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BareRTEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bareRTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| BareSpec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Type/Class) | Language.Haskell.Liquid.Measure |
| BareType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bargs | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| base62ToI | Language.Haskell.Liquid.GHC.Misc |
| bbody | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| bchopAlts | Language.Haskell.Liquid.Misc |
| BFix | Language.Haskell.Liquid.Parse |
| Bind | Liquid.GHC.API |
| bind | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| binder | Language.Haskell.Liquid.UX.DiffCheck |
| binders | Language.Haskell.Liquid.GHC.Misc |
| bindersOf | Liquid.GHC.API |
| binderVar | Liquid.GHC.API |
| bindF | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| BindingSite | Liquid.GHC.API |
| bindMName | Liquid.GHC.API |
| binds | |
| 1 (Function) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Function) | Language.Haskell.Liquid.Constraint.Types |
| bindSpans | Language.Haskell.Liquid.Constraint.Types |
| Bivariant | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| bkArrow | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bkArrowDeep | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bkClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bkUniv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bkUnivClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bkUnivClass' | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| blankLine | Liquid.GHC.API |
| bname | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| Bndr | Liquid.GHC.API |
| bndrIsJoin_maybe | Liquid.GHC.API |
| Body | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| body | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bodyPred | Language.Haskell.Liquid.Measure |
| boolTy | Liquid.GHC.API |
| boolTyCon | Liquid.GHC.API |
| boolTyConName | Liquid.GHC.API |
| Bound | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| boundRecVar | Language.Haskell.Liquid.Constraint.Monad |
| bounds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Boxed | Liquid.GHC.API |
| Boxity | Liquid.GHC.API |
| bparams | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| BPspec | Language.Haskell.Liquid.Parse |
| BPVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| braces | Liquid.GHC.API |
| brackets | Liquid.GHC.API |
| Branched | Liquid.GHC.API |
| Breakpoint | Liquid.GHC.API |
| breakpointExt | Liquid.GHC.API |
| breakpointFVs | Liquid.GHC.API |
| breakpointId | Liquid.GHC.API |
| breakS | Language.Haskell.Liquid.UX.ACSS |
| BRProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BRType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BScope | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bscope | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bspF | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| btc_class | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| btc_prom | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| btc_tc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BTV | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BTyCon | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| BTyVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| bTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| bufLeftRenderSDoc | Liquid.GHC.API |
| buildCoherenceOblig | Language.Haskell.Liquid.GHC.Misc |
| bullet | Liquid.GHC.API |
| bytesFS | Liquid.GHC.API |
| cabalDir | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CafInfo | Liquid.GHC.API |
| cafInfo | Liquid.GHC.API |
| cannotFindModule | Liquid.GHC.API |
| canonicalizePaths | Language.Haskell.Liquid.UX.CmdLine |
| canonSelectorChains | Language.Haskell.Liquid.GHC.Misc |
| canRewrite | Language.Haskell.Liquid.Constraint.ToFixpoint |
| captureConstraints | Liquid.GHC.API |
| captureTopConstraints | Liquid.GHC.API |
| Case | Liquid.GHC.API |
| CaseBind | Liquid.GHC.API |
| CaseE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| caseEnv | Language.Haskell.Liquid.Constraint.Generate |
| caseExpandDepth | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CasePatBind | Liquid.GHC.API |
| Cast | Liquid.GHC.API |
| CastTy | Liquid.GHC.API |
| cat | Liquid.GHC.API |
| catEithers | Language.Haskell.Liquid.Misc |
| CBVisitable | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| cc_loc | Liquid.GHC.API |
| cerr | Language.Haskell.Liquid.Constraint.Types |
| cFiles | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CG | Language.Haskell.Liquid.Constraint.Types |
| cgADTs | Language.Haskell.Liquid.Constraint.Types |
| cgConsts | Language.Haskell.Liquid.Constraint.Types |
| CGE | Language.Haskell.Liquid.Constraint.Types |
| CGEnv | Language.Haskell.Liquid.Constraint.Types |
| CGInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
| cgInfo | Language.Haskell.Liquid.Constraint.Types |
| cgInfoFInfo | Language.Haskell.Liquid.Constraint.ToFixpoint |
| cgiTypeclass | Language.Haskell.Liquid.Constraint.Types |
| cgLits | Language.Haskell.Liquid.Constraint.Types |
| cgLoc | Language.Haskell.Liquid.Constraint.Types |
| cgVar | Language.Haskell.Liquid.Constraint.Types |
| char | Liquid.GHC.API |
| charDataCon | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.WiredIn |
| charTyCon | Liquid.GHC.API |
| CharTyLit | Liquid.GHC.API |
| checkBareSpec | Language.Haskell.Liquid.Bare.Check |
| checkDerived | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| checkedVars | Language.Haskell.Liquid.UX.DiffCheck |
| checkFilePragmas | Language.Haskell.Liquid.GHC.Interface |
| checkIndex | Language.Haskell.Liquid.Constraint.Termination |
| checkLawInstances | Language.Haskell.Liquid.LawInstances |
| checks | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| checkTargetInfo | Language.Haskell.Liquid.Liquid |
| checkTargetSpec | Language.Haskell.Liquid.Bare.Check |
| checkTargetSrc | Language.Haskell.Liquid.Bare.Check |
| chopAlts | Language.Haskell.Liquid.Misc |
| Ci | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| cid | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Cinfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| cinfoError | Language.Haskell.Liquid.UX.Tidy |
| ci_err | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ci_loc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ci_var | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Class | |
| 1 (Type/Class) | Liquid.GHC.API |
| 2 (Data Constructor) | Language.Haskell.Liquid.Parse |
| classAllSelIds | Liquid.GHC.API |
| classBigSig | Liquid.GHC.API |
| classBinds | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| classCons | Language.Haskell.Liquid.GHC.Interface |
| classDataCon | Liquid.GHC.API |
| classes | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| classifiesTypeWithValues | Liquid.GHC.API |
| classKey | Liquid.GHC.API |
| classMethods | Liquid.GHC.API |
| className | Liquid.GHC.API |
| classRFInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| classRFInfoType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| classSCSelIds | Liquid.GHC.API |
| classSCTheta | Liquid.GHC.API |
| classTyCon | Liquid.GHC.API |
| classTyVars | Liquid.GHC.API |
| CLaws | Language.Haskell.Liquid.Parse |
| claws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| clearSpec | Language.Haskell.Liquid.GHC.Interface |
| clients | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| cls | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ClsInst | Liquid.GHC.API |
| CM | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CmdLineError | Liquid.GHC.API |
| cmdlineParserStyle | Liquid.GHC.API |
| CMeas | Language.Haskell.Liquid.Parse |
| cmeasMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| CMeasure | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| cmeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| cmpAlt | Liquid.GHC.API |
| cmpSymbol | Language.Haskell.Liquid.GHC.Misc |
| cName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| cname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CoAxiom | Liquid.GHC.API |
| CoAxiomRule | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| coAxiomTyCon | Liquid.GHC.API |
| codeStyle | Liquid.GHC.API |
| Coercion | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| coercionKind | Liquid.GHC.API |
| CoercionTy | Liquid.GHC.API |
| coherenceObligToRef | Language.Haskell.Liquid.GHC.Misc |
| coherenceObligToRefE | Language.Haskell.Liquid.GHC.Misc |
| collectArgs | Liquid.GHC.API |
| collectArguments | Language.Haskell.Liquid.GHC.Misc |
| collectBinders | Liquid.GHC.API |
| collectTyAndValBinders | Liquid.GHC.API |
| collectTyBinders | Liquid.GHC.API |
| collectValBinders' | Language.Haskell.Liquid.GHC.Misc |
| colon | Liquid.GHC.API |
| coloured | Liquid.GHC.API |
| combineProofsName | Language.Haskell.Liquid.WiredIn |
| combineSrcSpans | Liquid.GHC.API |
| comma | Liquid.GHC.API |
| CommandLineOption | Liquid.GHC.API |
| compareRType | Language.Haskell.Liquid.Types.Equality |
| compileClasses | Language.Haskell.Liquid.Bare.Typeclass |
| compileFile | Liquid.GHC.API |
| compileSpec | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CompManager | Liquid.GHC.API |
| concatFS | Liquid.GHC.API |
| concatMapM | Language.Haskell.Liquid.Misc |
| concatUnzip | Language.Haskell.Liquid.Misc |
| cond | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| condNull | Language.Haskell.Liquid.Misc |
| Config | |
| 1 (Type/Class) | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| config | Language.Haskell.Liquid.UX.CmdLine |
| ConLike | Liquid.GHC.API |
| consAssmRel | Language.Haskell.Liquid.Constraint.Relational |
| consCBSizedTys | Language.Haskell.Liquid.Constraint.Termination |
| consCBWithExprs | Language.Haskell.Liquid.Constraint.Termination |
| consDataCon | Liquid.GHC.API |
| consE | Language.Haskell.Liquid.Constraint.Generate |
| consRelTop | Language.Haskell.Liquid.Constraint.Relational |
| constEnv | Language.Haskell.Liquid.Constraint.Types |
| constraintToLogic | Language.Haskell.Liquid.Constraint.Constraint |
| continue | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| Contravariant | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| cookSpecType | Language.Haskell.Liquid.Bare.Expand |
| cookSpecTypeE | Language.Haskell.Liquid.Bare.Expand |
| CoreAlt | Liquid.GHC.API |
| CoreArg | Liquid.GHC.API |
| CoreBind | Liquid.GHC.API |
| coreBindSymbols | Language.Haskell.Liquid.GHC.Misc |
| CoreBndr | Liquid.GHC.API |
| coreDefs | Language.Haskell.Liquid.UX.DiffCheck |
| coreDeps | Language.Haskell.Liquid.UX.DiffCheck |
| CoreExpr | Liquid.GHC.API |
| CoreProgram | Liquid.GHC.API |
| cores | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CoreTickish | Liquid.GHC.API |
| coreToDef | Language.Haskell.Liquid.Transforms.CoreToLogic |
| coreToFun | Language.Haskell.Liquid.Transforms.CoreToLogic |
| coreToLogic | Language.Haskell.Liquid.Transforms.CoreToLogic |
| CoreUnfolding | Liquid.GHC.API |
| CoreVisitor | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| coreVisitor | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| CostCentre | Liquid.GHC.API |
| coSubRReft | Language.Haskell.Liquid.Bare.Resolve |
| counterExamples | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CoVarCo | Liquid.GHC.API |
| Covariant | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| cparen | Liquid.GHC.API |
| Crash | Language.Haskell.Liquid.UX.ACSS |
| cSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CStyle | Liquid.GHC.API |
| ctCtx | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ctErr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ctor | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ctorMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ctx | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| CtxError | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ctxM | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| D | Language.Haskell.Liquid.UX.DiffCheck |
| darrow | Liquid.GHC.API |
| DataAlt | Liquid.GHC.API |
| DataCon | Liquid.GHC.API |
| dataConExTyCoVars | Liquid.GHC.API |
| dataConFieldLabels | Liquid.GHC.API |
| dataConFullSig | Liquid.GHC.API |
| dataConImplicitIds | Language.Haskell.Liquid.GHC.Play |
| dataConImplicitTyThings | Liquid.GHC.API |
| dataConInstArgTys | Liquid.GHC.API |
| DataConMap | Language.Haskell.Liquid.Bare.Types |
| dataConMap | Language.Haskell.Liquid.Bare.DataType |
| dataConMsReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| dataConName | Liquid.GHC.API |
| dataConOrigArgTys | Liquid.GHC.API |
| DataConP | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dataConPSpecType | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dataConReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| dataConRepArgTys | Liquid.GHC.API |
| dataConRepStrictness | Liquid.GHC.API |
| dataConRepType | Liquid.GHC.API |
| dataConSig | Liquid.GHC.API.Extra, Liquid.GHC.API |
| dataConTheta | Liquid.GHC.API |
| dataConTy | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dataConTyCon | Liquid.GHC.API |
| dataConTypes | Language.Haskell.Liquid.Measure |
| dataConTys | Language.Haskell.Liquid.Constraint.Types |
| dataConUnivTyVars | Liquid.GHC.API |
| DataConWorkId | Liquid.GHC.API |
| dataConWorkId | Liquid.GHC.API |
| dataConWorkRep | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| DataConWrapId | Liquid.GHC.API |
| dataConWrapId | Liquid.GHC.API |
| dataConWrapId_maybe | Liquid.GHC.API |
| dataConWrapperType | Liquid.GHC.API |
| DataCtor | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DataDecl | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DataDeclKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dataDecls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| dataDeclSize | Language.Haskell.Liquid.Bare.DataType |
| DataFamilyInst | Liquid.GHC.API |
| DataName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dataNameSymbol | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DataReflected | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dataToExpQ' | Language.Haskell.Liquid.UX.QuasiQuoter |
| DataUser | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dATA_FOLDABLE | Liquid.GHC.API |
| DC | Language.Haskell.Liquid.UX.DiffCheck |
| dc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcFields | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcolon | Liquid.GHC.API |
| dcon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcpCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpFreePred | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpFreeTyVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpIsGadt | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpLoc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpLocE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpModule | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcPrefix | Language.Haskell.Liquid.WiredIn |
| dcpTyArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpTyConstrs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcpTyRes | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| dcResult | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcTheta | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dcTyVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DDecl | Language.Haskell.Liquid.Parse |
| debugLevel | Liquid.GHC.API |
| DecoratedSDoc | Liquid.GHC.API |
| Def | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 3 (Type/Class) | Language.Haskell.Liquid.UX.DiffCheck |
| DEFAULT | Liquid.GHC.API |
| defaultDataCons | Language.Haskell.Liquid.GHC.Misc |
| DefaultDepth | Liquid.GHC.API |
| defaultDumpStyle | Liquid.GHC.API |
| defaultErrStyle | Liquid.GHC.API |
| defaultFilterReporter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| defaultPlugin | Liquid.GHC.API |
| defaultSDocContext | Liquid.GHC.API |
| defaultTag | Language.Haskell.Liquid.UX.CTags |
| defaultTyConInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| defaultUserStyle | Liquid.GHC.API |
| defConfig | Language.Haskell.Liquid.UX.CmdLine |
| Define | Language.Haskell.Liquid.Parse |
| defRefType | Language.Haskell.Liquid.Measure |
| defRFInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| defs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| DEnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| denv | Language.Haskell.Liquid.Constraint.Types |
| dependsOn | Language.Haskell.Liquid.UX.DiffCheck |
| Depth | Liquid.GHC.API |
| derivedVar | Language.Haskell.Liquid.Constraint.Template |
| derivedVars | Language.Haskell.Liquid.GHC.Interface |
| deserializeWithData | Liquid.GHC.API |
| deShadowBinds | Liquid.GHC.API |
| DesugaredModule | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| desugarModule | Language.Haskell.Liquid.GHC.Misc |
| desugarModuleIO | Liquid.GHC.API.Extra, Liquid.GHC.API |
| dfromList | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| DFunId | Liquid.GHC.API |
| DFunUnfolding | Liquid.GHC.API |
| dhasinfo | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| Diagnostics | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dictionaryBind | Language.Haskell.Liquid.WiredIn |
| dictionarySymbols | Language.Haskell.Liquid.GHC.Misc |
| dictionaryTyVar | Language.Haskell.Liquid.WiredIn |
| dictionaryVar | Language.Haskell.Liquid.WiredIn |
| diff | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DiffCheck | Language.Haskell.Liquid.UX.DiffCheck |
| diffcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types, Language.Haskell.Liquid.UX.CmdLine |
| dinsert | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| discardConstraints | Liquid.GHC.API |
| dlookup | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| dmap | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| dmapty | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| dm_core_module | Liquid.GHC.API |
| dm_typechecked_module | Liquid.GHC.API |
| dname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DnCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DnName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| docToSDoc | Liquid.GHC.API |
| dollarIdKey | Liquid.GHC.API |
| doOrDoes | Liquid.GHC.API |
| dot | Liquid.GHC.API |
| doTermCheck | Language.Haskell.Liquid.Constraint.Termination |
| double | Liquid.GHC.API |
| doublePrec | Liquid.GHC.API |
| doubleQuotes | Liquid.GHC.API |
| dpos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| driverPlugin | Liquid.GHC.API |
| dropDependency | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| dropForAlls | Liquid.GHC.API |
| dropFst3 | Language.Haskell.Liquid.Misc |
| dropModel | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dropModuleNames | Language.Haskell.Liquid.GHC.Misc |
| dropModuleNamesAndUnique | Language.Haskell.Liquid.GHC.Misc |
| dropModuleNamesCorrect | Language.Haskell.Liquid.GHC.Misc |
| dropModuleUnique | Language.Haskell.Liquid.GHC.Misc |
| dropThd3 | Language.Haskell.Liquid.Misc |
| dropTyVarInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| DSize | Language.Haskell.Liquid.Parse |
| dsize | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| dsLExpr | Liquid.GHC.API |
| DsM | Liquid.GHC.API |
| dsort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dummyLoc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dummyName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| dumpStyle | Liquid.GHC.API |
| dvariance | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| DynFlags | Liquid.GHC.API |
| E | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| EAlias | Language.Haskell.Liquid.Parse |
| ealiases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| eAppWithMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ebinds | Language.Haskell.Liquid.Constraint.Types |
| ectr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| efoldReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| elaborateClassDcp | Language.Haskell.Liquid.Bare.Typeclass |
| elaborateSpecType | Language.Haskell.Liquid.Bare.Elaborate |
| elabRnExpr | Language.Haskell.Liquid.GHC.Misc |
| elemHEnv | Language.Haskell.Liquid.Constraint.Types |
| elemVarSet | Liquid.GHC.API |
| elimBound | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| eliminate | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| elimStats | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| emapReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| emb | Language.Haskell.Liquid.Constraint.Types |
| Embed | Language.Haskell.Liquid.Parse |
| embeds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| empty | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.SpanStack |
| emptyDiagnostics | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| emptyFamInstEnv | Liquid.GHC.API |
| emptyInScopeSet | Liquid.GHC.API |
| emptyKVProf | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| emptyLiftedSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| emptySubst | Liquid.GHC.API |
| emptyTvSubstEnv | Liquid.GHC.API |
| emptyVarSet | Liquid.GHC.API |
| end | Language.Haskell.Liquid.UX.DiffCheck |
| Env | |
| 1 (Type/Class) | Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.Bare.Types |
| envF | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| environmentReduction | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| envToSub | Language.Haskell.Liquid.Constraint.Monad, Language.Haskell.Liquid.Constraint.Split |
| env_top | Liquid.GHC.API |
| eps_ann_env | Liquid.GHC.API |
| eqClassKey | Liquid.GHC.API |
| eqClassName | Liquid.GHC.API |
| eqPrimTyCon | Liquid.GHC.API |
| eqReprPrimTyCon | Liquid.GHC.API |
| eqType | Liquid.GHC.API |
| equals | Liquid.GHC.API |
| ERBasic | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ERChecked | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Err | Language.Haskell.Liquid.Misc |
| ErrAliasApp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrAliasCycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrAssType | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrBadData | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrBadQual | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDataCon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDataConMismatch | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupAlias | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupField | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupIMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupNames | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrDupSpecs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| errDupSpecs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrFail | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrFailUsed | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrFCrash | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrFilePragma | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrGhc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrHMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrHole | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrHoleCycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrIAl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrIAlMis | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrILaw | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrIllegalAliasApp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrInvt | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrLiftExp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrMClass | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrMismatch | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| errMsgSpan | Liquid.GHC.API |
| ErrNoSpec | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Error | |
| 1 (Data Constructor) | Language.Haskell.Liquid.UX.ACSS |
| 2 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrorResult | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| errors | Language.Haskell.Liquid.UX.ACSS |
| errorsWithContext | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| errorToUserError | Language.Haskell.Liquid.UX.Tidy |
| ErrOther | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrParse | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrParseAnn | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrPartPred | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrPosTyCon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrRClass | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrResolve | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| errResolve | Language.Haskell.Liquid.Bare.Resolve |
| ErrRewrite | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrSaved | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrStTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrSubType | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrSubTypeModel | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrTermin | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrTermSpec | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrTyCon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrTySpec | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrUnbound | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ErrUnbPred | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ERUnChecked | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| EvBinds | Liquid.GHC.API |
| exactDC | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| exactDCFlag | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| excludeAutomaticAssumptionsFor | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| exitWithResult | Language.Haskell.Liquid.UX.CmdLine |
| exp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| expandProductType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| expandTypeSynonyms | Liquid.GHC.API |
| expandVarType | Language.Haskell.Liquid.GHC.Misc |
| expectAnyError | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| expectErrorContaining | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| expN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| exportedVarSymbol | Language.Haskell.Liquid.GHC.Misc |
| Expr | Liquid.GHC.API |
| exprAliases | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| exprF | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| exprFreeVarsList | Liquid.GHC.API |
| exprType | Liquid.GHC.API |
| ExprWithTySig | Liquid.GHC.API |
| expSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| extendCvSubst | Liquid.GHC.API |
| extendEnvWithVV | Language.Haskell.Liquid.Constraint.Env |
| extender | Language.Haskell.Liquid.Constraint.Template |
| extendIdSubst | Liquid.GHC.API |
| extendVarSet | Liquid.GHC.API |
| extendVarSetList | Liquid.GHC.API |
| extensionality | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ExternalPackageState | Liquid.GHC.API |
| extQ | Language.Haskell.Liquid.UX.QuasiQuoter |
| extractSpecComments | Language.Haskell.Liquid.GHC.Interface |
| extractSpecQuotes' | Language.Haskell.Liquid.GHC.Interface |
| Fail | Language.Haskell.Liquid.Parse |
| failIfErrsM | Liquid.GHC.API |
| failM | Liquid.GHC.API |
| failMaybe | Language.Haskell.Liquid.Bare.Types |
| fails | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| failure | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| failWithTc | Liquid.GHC.API |
| falseDataCon | Liquid.GHC.API |
| falseDataConId | Liquid.GHC.API |
| FamFlavor | Liquid.GHC.API |
| FamInst | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| famInstArgs | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| FamInstEnv | Liquid.GHC.API |
| famInstEnvElts | Liquid.GHC.API |
| FamInstEnvs | Liquid.GHC.API |
| famInstTyConType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| FastString | Liquid.GHC.API |
| fastStringText | Language.Haskell.Liquid.GHC.Misc |
| fcat | Liquid.GHC.API |
| FE | Language.Haskell.Liquid.Constraint.Types |
| feBinds | Language.Haskell.Liquid.Constraint.Types |
| feEnv | Language.Haskell.Liquid.Constraint.Types |
| feIdEnv | Language.Haskell.Liquid.Constraint.Types |
| FEnv | Language.Haskell.Liquid.Constraint.Types |
| fEnv | Language.Haskell.Liquid.Constraint.Types |
| fenv | Language.Haskell.Liquid.Constraint.Types |
| field | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| FieldLabel | Liquid.GHC.API |
| files | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Filter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| filterBinds | Language.Haskell.Liquid.UX.DiffCheck |
| filterExprArgs | Language.Haskell.Liquid.UX.QuasiQuoter |
| filterReporter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| filterReportErrors | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| FilterReportErrorsArgs | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| filterReportErrorsWith | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| filters | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| findAnns | Liquid.GHC.API |
| findExposedPackageModule | Liquid.GHC.API |
| findImportedModule | Liquid.GHC.API |
| findOccurrence | Language.Haskell.Liquid.GHC.Play |
| findPVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| FindResult | Liquid.GHC.API |
| findVarDef | Language.Haskell.Liquid.GHC.Misc |
| findVarDefMethod | Language.Haskell.Liquid.GHC.Misc |
| first3M | Language.Haskell.Liquid.Misc |
| firstElems | Language.Haskell.Liquid.Misc |
| firstGroup | Language.Haskell.Liquid.Misc |
| firstJust | Language.Haskell.Liquid.Misc |
| firstM | Language.Haskell.Liquid.Misc |
| fixConfig | Language.Haskell.Liquid.Constraint.ToFixpoint |
| fixCs | Language.Haskell.Liquid.Constraint.Types |
| fixExprToHsExpr | Language.Haskell.Liquid.Bare.Elaborate |
| Fixity | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| FixityDirection | Liquid.GHC.API |
| FixitySig | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| FixSig | Liquid.GHC.API |
| FixSubC | Language.Haskell.Liquid.Constraint.Types |
| FixWfC | Language.Haskell.Liquid.Constraint.Types |
| fixWfs | Language.Haskell.Liquid.Constraint.Types |
| fi_flavor | Liquid.GHC.API |
| flattenBinds | Liquid.GHC.API |
| flipVariance | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| float | Liquid.GHC.API |
| flSelector | Liquid.GHC.API |
| foldReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| foldReft' | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| foldRType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| forallcb | Language.Haskell.Liquid.Constraint.Types |
| ForAllCo | Liquid.GHC.API |
| forAllLit | Liquid.GHC.API |
| ForAllTy | Liquid.GHC.API |
| Found | Liquid.GHC.API |
| FoundExprArg | Language.Haskell.Liquid.UX.QuasiQuoter |
| FoundHole | Language.Haskell.Liquid.UX.QuasiQuoter |
| FoundMultiple | Liquid.GHC.API |
| fourth4 | Language.Haskell.Liquid.Misc |
| fractionalClassKey | Liquid.GHC.API |
| fractionalClassKeys | Liquid.GHC.API |
| freeTyVars | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| FreeVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| freeVars | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| fresh | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| Freshable | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| freshIndex | Language.Haskell.Liquid.Constraint.Types |
| freshTyExpr | Language.Haskell.Liquid.Constraint.Fresh |
| freshTyType | Language.Haskell.Liquid.Constraint.Fresh |
| from' | Language.Haskell.Liquid.Types.Generics |
| fromBareSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| fromListHEnv | Language.Haskell.Liquid.Constraint.Types |
| fromListREnv | Language.Haskell.Liquid.Constraint.Env |
| fromPJDoc | Language.Haskell.Liquid.GHC.Logging |
| fromRISig | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| fromRTypeRep | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| fromSerialized | Liquid.GHC.API |
| fromTargetSrc | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| fsep | Liquid.GHC.API |
| fsLit | Liquid.GHC.API |
| fSourcePos | Language.Haskell.Liquid.GHC.Misc |
| fSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| fSrcSpanSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| fst4 | Language.Haskell.Liquid.Misc |
| fst5 | Language.Haskell.Liquid.Misc |
| fstByRank | Language.Haskell.Liquid.Misc |
| fsToUnit | Liquid.GHC.API |
| fsToUnitId | Liquid.GHC.API.Extra, Liquid.GHC.API |
| ftext | Liquid.GHC.API |
| ft_arg | Liquid.GHC.API |
| ft_res | Liquid.GHC.API |
| fuel | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| fullcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| FunCo | Liquid.GHC.API |
| functionComposisionSymbol | Language.Haskell.Liquid.Types.Names, Language.Haskell.Liquid.Types |
| funPrec | Liquid.GHC.API |
| FunTy | Liquid.GHC.API |
| gApp | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| gdepth | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| GeneralFlag | Liquid.GHC.API |
| generalize | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| generateConstraints | Language.Haskell.Liquid.Constraint.Generate |
| generateConstraintsWithEnv | Language.Haskell.Liquid.Constraint.Generate |
| Generically | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Generics |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Generics |
| GenLocated | Liquid.GHC.API |
| GenTickish | Liquid.GHC.API |
| GenTV | Language.Haskell.Liquid.Bare.Types |
| GenWithIsBoot | Liquid.GHC.API |
| geq | Language.Haskell.Liquid.Types.Generics |
| getBareSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| getBinDir | Paths_liquidhaskell_boot |
| getClassPredTys | Liquid.GHC.API |
| getClassPredTys_maybe | Liquid.GHC.API |
| getConfig | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| getCoreToLogicPath | Language.Haskell.Liquid.Misc |
| getCssPath | Language.Haskell.Liquid.Misc |
| getDataConVarUnique | Language.Haskell.Liquid.GHC.Misc |
| getDataDir | Paths_liquidhaskell_boot |
| getDataFileName | Paths_liquidhaskell_boot |
| getDependencies | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| getDependenciesModuleNames | Liquid.GHC.API.Extra, Liquid.GHC.API |
| getDynFlags | Liquid.GHC.API |
| getDynLibDir | Paths_liquidhaskell_boot |
| getEnv | Liquid.GHC.API |
| getFilters | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| getHType | Language.Haskell.Liquid.GHC.Misc |
| getKey | Liquid.GHC.API |
| getLibDir | Paths_liquidhaskell_boot |
| getLibexecDir | Paths_liquidhaskell_boot |
| getLocA | Liquid.GHC.API |
| getLocation | Language.Haskell.Liquid.Constraint.Types, Language.Haskell.Liquid.Constraint.Env |
| getLogger | Liquid.GHC.API |
| getMethodType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| getModName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| getModString | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| getModuleInterface | Liquid.GHC.API |
| getName | Liquid.GHC.API |
| getNonPositivesTyCon | Language.Haskell.Liquid.GHC.Play |
| getNth | Language.Haskell.Liquid.Misc |
| getOccName | Liquid.GHC.API |
| getOccString | Liquid.GHC.API |
| getOpts | Language.Haskell.Liquid.UX.CmdLine |
| getPprDebug | Liquid.GHC.API |
| getPprStyle | Liquid.GHC.API |
| getRdrName | Liquid.GHC.API |
| getSession | Liquid.GHC.API |
| getSourcePos | Language.Haskell.Liquid.GHC.Misc |
| getSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| getSrcSpan | Liquid.GHC.API |
| getSysconfDir | Paths_liquidhaskell_boot |
| getTag | Language.Haskell.Liquid.UX.CTags |
| getTemplates | Language.Haskell.Liquid.Constraint.Types |
| getUnique | Liquid.GHC.API |
| getUniqueM | Liquid.GHC.API |
| ge_RDR | Liquid.GHC.API |
| Ghc | Liquid.GHC.API |
| GhcException | Liquid.GHC.API |
| ghcI | Language.Haskell.Liquid.Constraint.Types |
| GhcLink | Liquid.GHC.API |
| ghcLink | Liquid.GHC.API |
| GhcMode | Liquid.GHC.API |
| ghcMode | Liquid.GHC.API |
| ghcOptions | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| GhcPs | Liquid.GHC.API |
| GhcRn | Liquid.GHC.API |
| GhcSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecData | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecLaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecNames | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecQual | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecRefl | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecSig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSpecVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| GhcSrc | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gHC_REAL | Liquid.GHC.API |
| gHC_VERSION | Language.Haskell.Liquid.GHC.Misc |
| giCbs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giDefVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giDerVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giImpVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| ginteractive | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| giQuals | Language.Haskell.Liquid.Constraint.Qualifier |
| giSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giSrc | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giTarget | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giTargetMod | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| giUseVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| globalize | Language.Haskell.Liquid.Constraint.Env |
| globalRdrEnvElts | Liquid.GHC.API |
| gopt | Liquid.GHC.API |
| gopt_set | Liquid.GHC.API |
| gradual | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| greMangledName | Liquid.GHC.API |
| greNameMangledName | Liquid.GHC.API |
| gresFromAvails | Liquid.GHC.API |
| grtys | Language.Haskell.Liquid.Constraint.Types |
| gsADTs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsAllImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsAsmRel | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsAsmSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsAutoInst | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsAutosize | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsCls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsCMethods | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsConfig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsCtors | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsData | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsDconsP | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsDicts | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsExports | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsFail | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsFiDcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsFiTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsFreeSyms | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsHAxioms | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsIaliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsIgnoreVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsImpAxioms | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsInSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsInvariants | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLawDefs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLawInst | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLazy | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLogicMap | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsLvars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsMeas | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsMeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsMethods | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsMyAxioms | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsName | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsNewTypes | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsNonStTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsPrimTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsQual | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsQualifiers | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsQualImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRefl | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsReflects | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRefSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRelation | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRewrites | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRewritesWith | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsRTAliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsSig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsStTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTcEmbeds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTconsP | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTexprs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTgtVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTyconEnv | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTySigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsTyThings | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsUnsorted | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gsWiredReft | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| gt_RDR | Liquid.GHC.API |
| gwib_isBoot | Liquid.GHC.API |
| gwib_mod | Liquid.GHC.API |
| hang | Liquid.GHC.API |
| hangNotEmpty | Liquid.GHC.API |
| hasBaseTypeVar | Language.Haskell.Liquid.GHC.Misc |
| hasBoolResult | Language.Haskell.Liquid.Bare.Misc |
| HasConfig | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HasDataDecl | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HasDecl | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hasDecl | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HashableType | |
| 1 (Type/Class) | Language.Haskell.Liquid.GHC.Misc |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.Misc |
| hashMapMapKeys | Language.Haskell.Liquid.Misc |
| hashMapMapWithKey | Language.Haskell.Liquid.Misc |
| hasHole | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hasHoleTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hasKey | Liquid.GHC.API |
| hasOpt | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HAxiom | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HBind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HBound | Language.Haskell.Liquid.Parse |
| hbounds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| hcat | Liquid.GHC.API |
| HEnv | Language.Haskell.Liquid.Constraint.Types |
| henv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| higherorder | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| higherOrderFlag | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| higherorderqs | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hloc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HMeas | Language.Haskell.Liquid.Parse |
| hmeas | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| hm_iface | Liquid.GHC.API |
| hole | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| holeFitPlugin | Liquid.GHC.API |
| HoleInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| holes | Language.Haskell.Liquid.Constraint.Types |
| holesCycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HomeModInfo | Liquid.GHC.API |
| HomePackageTable | Liquid.GHC.API |
| HpcTick | Liquid.GHC.API |
| hs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hsannot | Language.Haskell.Liquid.UX.ACSS |
| HsAppTy | Liquid.GHC.API |
| HsArg | Liquid.GHC.API |
| hscDesugar | Liquid.GHC.API |
| HscEnv | Liquid.GHC.API |
| hscolour | Language.Haskell.Liquid.UX.ACSS |
| hsCs | Language.Haskell.Liquid.Constraint.Types |
| hscTcRcLookupName | Liquid.GHC.API |
| hsc_dflags | Liquid.GHC.API |
| hsc_EPS | Liquid.GHC.API |
| hsc_HPT | Liquid.GHC.API |
| hsc_plugins | Liquid.GHC.API |
| hsc_static_plugins | Liquid.GHC.API |
| HsDecl | Liquid.GHC.API |
| HSeg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hsep | Liquid.GHC.API |
| HsExpr | Liquid.GHC.API |
| HsForAllTy | Liquid.GHC.API |
| hsmodDecls | Liquid.GHC.API |
| HsModule | Liquid.GHC.API |
| HsOuterImplicit | Liquid.GHC.API |
| HsOuterTyVarBndrs | Liquid.GHC.API |
| HsOverLit | Liquid.GHC.API |
| HsQualTy | Liquid.GHC.API |
| HsSig | Liquid.GHC.API |
| HsSigType | Liquid.GHC.API |
| hsSpecificationP | Language.Haskell.Liquid.Parse |
| HsTV | Language.Haskell.Liquid.Bare.Types |
| HsType | Liquid.GHC.API |
| hsTypeToHsSigType | Liquid.GHC.API |
| hsTypeToHsSigWcType | Liquid.GHC.API |
| HsTyVar | Liquid.GHC.API |
| HsTyVarBndr | Liquid.GHC.API |
| HsValArg | Liquid.GHC.API |
| HsVar | Liquid.GHC.API |
| HsWC | Liquid.GHC.API |
| hsWfs | Language.Haskell.Liquid.Constraint.Types |
| HsWildCardBndrs | Liquid.GHC.API |
| HsWildCardTy | Liquid.GHC.API |
| hs_addr | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| hs_val | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| htype | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| HVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ial | Language.Haskell.Liquid.Constraint.Types |
| ialiases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Id | Liquid.GHC.API |
| idDataCon | Liquid.GHC.API |
| idDataConM | Language.Haskell.Liquid.GHC.Misc |
| IdDetails | Liquid.GHC.API |
| idDetails | Liquid.GHC.API |
| ideclAs | Liquid.GHC.API |
| ideclName | Liquid.GHC.API |
| IdInfo | Liquid.GHC.API |
| idInfo | Liquid.GHC.API |
| idirs | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| idOccInfo | Liquid.GHC.API |
| IdP | Liquid.GHC.API |
| IdSizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| idType | Liquid.GHC.API |
| IfaceAnnotation | Liquid.GHC.API |
| ifAnnotatedValue | Liquid.GHC.API |
| ifM | Language.Haskell.Liquid.Misc |
| ifPprDebug | Liquid.GHC.API |
| Ignore | Language.Haskell.Liquid.Parse |
| ignoreCoreBinds | Language.Haskell.Liquid.GHC.Misc |
| ignoreInline | Language.Haskell.Liquid.GHC.Misc, Language.Haskell.Liquid.GHC.Interface |
| ignoreLetBinds | Language.Haskell.Liquid.GHC.Misc |
| ignoreOblig | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ignores | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ILaws | Language.Haskell.Liquid.Parse |
| ilaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| IMeas | Language.Haskell.Liquid.Parse |
| imeas | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| imeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ImpAll | Liquid.GHC.API |
| ImpDeclSpec | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| ImpItemSpec | Liquid.GHC.API |
| ImportBySystem | Liquid.GHC.API |
| imports | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ImportSpec | Liquid.GHC.API |
| importVars | Language.Haskell.Liquid.GHC.Interface |
| impossible | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| impSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ImpSpec | Liquid.GHC.API |
| Impt | Language.Haskell.Liquid.Parse |
| iname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Incl | Language.Haskell.Liquid.Parse |
| includes | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| InferMode | Liquid.GHC.API |
| InfixN | Liquid.GHC.API |
| InfixR | Liquid.GHC.API |
| info | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| initCGI | Language.Haskell.Liquid.Constraint.Init |
| initDsTc | Liquid.GHC.API |
| initDsWithModGuts | Liquid.GHC.API |
| initEnv | Language.Haskell.Liquid.Constraint.Init |
| initFEnv | Language.Haskell.Liquid.Constraint.Types |
| initIfaceTcRn | Liquid.GHC.API |
| Inline | Language.Haskell.Liquid.Parse |
| inlineANFBindings | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| inlineAux | Language.Haskell.Liquid.Transforms.InlineAux |
| inlinePragInfo | Liquid.GHC.API |
| InlinePragma | Liquid.GHC.API |
| inlines | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| InlineSig | Liquid.GHC.API |
| inlineSpecType | Language.Haskell.Liquid.Transforms.CoreToLogic |
| inl_act | Liquid.GHC.API |
| inl_inline | Liquid.GHC.API |
| inl_rule | Liquid.GHC.API |
| inl_sat | Liquid.GHC.API |
| inl_src | Liquid.GHC.API |
| innerScTr | Language.Haskell.Liquid.Transforms.Rec |
| insertREnv | Language.Haskell.Liquid.Constraint.Env |
| insertsFEnv | Language.Haskell.Liquid.Constraint.Types |
| insertsSEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| installCoreToDos | Liquid.GHC.API |
| instanceDFunId | Liquid.GHC.API |
| instanceSig | Liquid.GHC.API |
| InstCo | Liquid.GHC.API |
| instEnvElts | Liquid.GHC.API |
| Insts | Language.Haskell.Liquid.Parse |
| insts | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| int | Liquid.GHC.API |
| intDataCon | Liquid.GHC.API |
| integer | Liquid.GHC.API |
| interfaceLoadAction | Liquid.GHC.API |
| Internal | Language.Haskell.Liquid.Constraint.Template |
| interpp'SP | Liquid.GHC.API |
| interpp'SP' | Liquid.GHC.API |
| interppSP | Liquid.GHC.API |
| Interpreter | Liquid.GHC.API |
| interpreter | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| intToString | Language.Haskell.Liquid.Misc |
| intTy | Liquid.GHC.API |
| intTyCon | Liquid.GHC.API |
| intTyConName | Liquid.GHC.API |
| intWithCommas | Liquid.GHC.API |
| intys | Language.Haskell.Liquid.Constraint.Types |
| inv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Invariant | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| invariants | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| invs | Language.Haskell.Liquid.Constraint.Types |
| Invt | Language.Haskell.Liquid.Parse |
| irrelevantMult | Liquid.GHC.API |
| isAlgTyCon | Liquid.GHC.API |
| isAnonBinder | Language.Haskell.Liquid.GHC.Misc |
| isBase | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isBaseTy | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isBaseType | Language.Haskell.Liquid.GHC.Misc |
| isBool | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| IsBoot | Liquid.GHC.API |
| IsBootInterface | Liquid.GHC.API |
| isBoxedTupleTyCon | Liquid.GHC.API |
| isClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isClassBTyCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isClassOpId_maybe | Liquid.GHC.API |
| isClassPred | Liquid.GHC.API |
| isClassTyCon | Liquid.GHC.API |
| isClassType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isConLikeId | Liquid.GHC.API |
| isCoVar | Liquid.GHC.API |
| isDataConId | Language.Haskell.Liquid.GHC.Misc |
| isDeadOcc | Liquid.GHC.API |
| isDecreasing | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isDerivedInstance | Language.Haskell.Liquid.WiredIn |
| isDFunId | Liquid.GHC.API |
| isDictId | Liquid.GHC.API |
| isDictionary | Language.Haskell.Liquid.GHC.Misc |
| isDictionaryExpression | Language.Haskell.Liquid.GHC.Misc |
| isDictonaryId | Liquid.GHC.API |
| isDummy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEmbeddedClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEmbeddedDict | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEmbeddedDictExpr | Language.Haskell.Liquid.GHC.Misc |
| isEmbeddedDictType | Language.Haskell.Liquid.GHC.Misc |
| isEmbeddedDictVar | Language.Haskell.Liquid.GHC.Misc |
| isEmpty | Liquid.GHC.API |
| isEqCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEqPred | Liquid.GHC.API |
| isEqPrimPred | Liquid.GHC.API |
| isEqType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEqual | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEvVar | Language.Haskell.Liquid.GHC.Misc |
| isEvVarType | Liquid.GHC.API |
| isExportedVar | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| isExternalId | Language.Haskell.Liquid.GHC.Misc |
| isExternalName | Liquid.GHC.API |
| isFamilyTyCon | Liquid.GHC.API |
| isFamInstTyCon | Liquid.GHC.API |
| isFracCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isFractionalClass | Language.Haskell.Liquid.GHC.Misc |
| isFromGHCReal | Language.Haskell.Liquid.GHC.Misc |
| isFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isFunTy | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isFunTyCon | Liquid.GHC.API |
| isGadtSyntaxTyCon | Liquid.GHC.API |
| isGoodSrcSpan | Liquid.GHC.API |
| isHole | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isId | Liquid.GHC.API |
| isIdTRecBound | Language.Haskell.Liquid.Transforms.Rec |
| isInternal | Language.Haskell.Liquid.GHC.Misc |
| isInternalName | Liquid.GHC.API |
| isKind | Language.Haskell.Liquid.Bare.Misc |
| isList | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isLocalId | Liquid.GHC.API |
| isMethod | Language.Haskell.Liquid.GHC.Misc |
| isNewTyCon | Liquid.GHC.API |
| isNumCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isNumeric | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isNumericClass | Liquid.GHC.API |
| isNumericPred | Language.Haskell.Liquid.GHC.Misc |
| isOrAre | Liquid.GHC.API |
| isOrdClass | Language.Haskell.Liquid.GHC.Misc |
| isOrdCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isOrdPred | Language.Haskell.Liquid.GHC.Misc |
| isParened | Language.Haskell.Liquid.GHC.Misc |
| isPatErrorAlt | Liquid.GHC.API.Extra, Liquid.GHC.API |
| isPLEVar | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| isPredExpr | Language.Haskell.Liquid.GHC.Misc |
| isPredType | Language.Haskell.Liquid.GHC.Misc |
| isPredVar | Language.Haskell.Liquid.GHC.Misc |
| isPrelEqPred | Language.Haskell.Liquid.GHC.Misc |
| isPrelEqTyCon | Language.Haskell.Liquid.GHC.Misc |
| isPrimTyCon | Liquid.GHC.API |
| isPromotedDataCon | Liquid.GHC.API |
| isPropPV | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isQualified | Language.Haskell.Liquid.GHC.Misc |
| isQualifiedSym | Language.Haskell.Liquid.GHC.Misc |
| isRecordSelector | Liquid.GHC.API |
| isRecursivenewTyCon | Language.Haskell.Liquid.GHC.Play |
| isRVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isSCSel | Language.Haskell.Liquid.GHC.Misc |
| isSizeable | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isSpecImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isSrcImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isStringClassName | Liquid.GHC.API |
| isStrongLoopBreaker | Liquid.GHC.API |
| isSystemName | Liquid.GHC.API |
| isTarget | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTmpSymbol | Language.Haskell.Liquid.GHC.Misc |
| isTmpVar | Language.Haskell.Liquid.GHC.Misc |
| isTrivial | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTuple | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTupleDataCon | Liquid.GHC.API |
| isTupleId | Language.Haskell.Liquid.GHC.Misc |
| isTupleTyCon | Liquid.GHC.API |
| isTypeArg | Liquid.GHC.API |
| isTypeSynonymTyCon | Liquid.GHC.API |
| isTyVar | Liquid.GHC.API |
| isTyVarTy | Liquid.GHC.API |
| isValKind | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isVanillaAlgTyCon | Liquid.GHC.API |
| isVanillaDataCon | Liquid.GHC.API |
| isWiredIn | Language.Haskell.Liquid.WiredIn |
| isWiredInName | Language.Haskell.Liquid.WiredIn |
| isWorker | Language.Haskell.Liquid.GHC.Misc |
| is_as | Liquid.GHC.API |
| is_cls | Liquid.GHC.API |
| is_dfun | Liquid.GHC.API |
| is_dfun_name | Liquid.GHC.API |
| is_dloc | Liquid.GHC.API |
| is_mod | Liquid.GHC.API |
| is_qual | Liquid.GHC.API |
| is_tys | Liquid.GHC.API |
| itName | Liquid.GHC.API |
| itsOrTheir | Liquid.GHC.API |
| join | Language.Haskell.Liquid.Misc |
| joinVar | Language.Haskell.Liquid.Bare.Misc |
| json | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| keepRawTokenStream | Language.Haskell.Liquid.GHC.Interface |
| keyDiff | Language.Haskell.Liquid.Misc |
| keyword | Liquid.GHC.API |
| Kind | Liquid.GHC.API |
| kind | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| kindArity | Language.Haskell.Liquid.GHC.Misc |
| KindCo | Liquid.GHC.API |
| kindTCArity | Language.Haskell.Liquid.GHC.Misc |
| kindToRType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| knd | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| knownGhcDataCon | Language.Haskell.Liquid.Bare.Resolve |
| knownGhcTyCon | Language.Haskell.Liquid.Bare.Resolve |
| knownGhcType | Language.Haskell.Liquid.Bare.Resolve |
| knownGhcVar | Language.Haskell.Liquid.Bare.Resolve |
| kuts | Language.Haskell.Liquid.Constraint.Types |
| KVKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| kvPacks | Language.Haskell.Liquid.Constraint.Types |
| KVProf | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| kvProf | Language.Haskell.Liquid.Constraint.Types |
| L | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.Misc |
| LabelStyle | Liquid.GHC.API |
| Lam | Liquid.GHC.API |
| lambda | Liquid.GHC.API |
| LambdaBind | Liquid.GHC.API |
| LamE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| larrow | Liquid.GHC.API |
| larrowt | Liquid.GHC.API |
| larrowtt | Liquid.GHC.API |
| LAsrt | Language.Haskell.Liquid.Parse |
| lastModified | Language.Haskell.Liquid.Misc |
| LawInstance | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| Lazy | Language.Haskell.Liquid.Parse |
| lazy | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| lbrace | Liquid.GHC.API |
| lbrack | Liquid.GHC.API |
| LC | Language.Haskell.Liquid.Constraint.Types |
| lcb | Language.Haskell.Liquid.Constraint.Types |
| LConstraint | Language.Haskell.Liquid.Constraint.Types |
| lcs | Language.Haskell.Liquid.Constraint.Types |
| lenLocSymbol | Language.Haskell.Liquid.Types.Names, Language.Haskell.Liquid.Types |
| Let | Liquid.GHC.API |
| LetBind | Liquid.GHC.API |
| LetE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| letVars | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| LexicalFixity | Liquid.GHC.API |
| lexprCtOrigin | Liquid.GHC.API |
| le_RDR | Liquid.GHC.API |
| lhs | Language.Haskell.Liquid.Constraint.Types |
| LHsDecl | Liquid.GHC.API |
| LHsExpr | Liquid.GHC.API |
| LHsType | Liquid.GHC.API |
| lift | Language.Haskell.Liquid.GHC.Resugar |
| liftedAliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedAsmSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedAutois | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedAutosize | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedAxeqs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedBounds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedClasses | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedClaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedCmeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedDataDecls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedDefs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedDsize | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedDvariance | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedEaliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedEmbeds | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedExpSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedIaliases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedIlaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedImeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedImports | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedImpSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedInvariants | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedLvars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedMeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedNewtyDecls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedQualifiers | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedRinstance | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| LiftedSpec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| liftedTypeKind | Liquid.GHC.API |
| liftIO | Liquid.GHC.API |
| lilEqus | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| lilName | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| lilPos | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| lilTyArgs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| LImportDecl | Liquid.GHC.API |
| linear | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lineCol | Language.Haskell.Liquid.GHC.Misc |
| LinkInMemory | Liquid.GHC.API |
| liquidBegin | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| liquidEnd | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| liquidHaskellMain | Language.Haskell.Liquid.Cabal |
| LiquidQuote | |
| 1 (Type/Class) | Language.Haskell.Liquid.UX.QuasiQuoter |
| 2 (Data Constructor) | Language.Haskell.Liquid.UX.QuasiQuoter |
| liquidQuoteSpec | Language.Haskell.Liquid.UX.QuasiQuoter |
| listTyCon | Liquid.GHC.API |
| listTyConName | Liquid.GHC.API |
| liSupers | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| Lit | Liquid.GHC.API |
| LitAlt | Liquid.GHC.API |
| LitChar | Liquid.GHC.API |
| LitDouble | Liquid.GHC.API |
| litEnv | Language.Haskell.Liquid.Constraint.Types |
| Literal | Liquid.GHC.API |
| literalConst | Language.Haskell.Liquid.Types.Literals, Language.Haskell.Liquid.Types |
| literalFReft | Language.Haskell.Liquid.Types.Literals, Language.Haskell.Liquid.Types |
| literalFRefType | Language.Haskell.Liquid.Types.Literals, Language.Haskell.Liquid.Types |
| literals | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| literalType | Liquid.GHC.API |
| LitFloat | Liquid.GHC.API |
| LitNumber | Liquid.GHC.API |
| LitNumInt | Liquid.GHC.API |
| LitNumType | Liquid.GHC.API |
| LitString | Liquid.GHC.API |
| LitTy | Liquid.GHC.API |
| LM | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LMap | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmapEAlias | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmExpr | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmSymDefs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| lmVarSyms | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| loadInterface | Liquid.GHC.API |
| loadLiftedSpec | Language.Haskell.Liquid.Bare |
| Loc | |
| 1 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.Misc |
| loc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| localBindsOfType | Language.Haskell.Liquid.Constraint.Env |
| localSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| LocalVars | Language.Haskell.Liquid.Bare.Types |
| localVarSymbol | Language.Haskell.Liquid.GHC.Misc |
| Located | |
| 1 (Type/Class) | Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LocatedN | Liquid.GHC.API |
| LocBareType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| locE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| locNamedThing | Language.Haskell.Liquid.GHC.Misc |
| locs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| locSourcePos | Language.Haskell.Liquid.UX.QuasiQuoter |
| LocSpecType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LocSymbol | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LocText | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| logErrors | Language.Haskell.Liquid.Constraint.Types |
| Logger | Liquid.GHC.API |
| loggingVerbosity | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LogicMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| logicType | Language.Haskell.Liquid.Transforms.CoreToLogic |
| lollipop | Liquid.GHC.API |
| Lookup | Language.Haskell.Liquid.Bare.Resolve |
| lookupGhcDataCon | Language.Haskell.Liquid.Bare.Resolve |
| lookupGhcDnTyCon | Language.Haskell.Liquid.Bare.Resolve |
| lookupGhcNamedVar | Language.Haskell.Liquid.Bare.Resolve |
| lookupGhcTyCon | Language.Haskell.Liquid.Bare.Resolve |
| lookupGhcVar | Language.Haskell.Liquid.Bare.Resolve |
| lookupGRE_RdrName | Liquid.GHC.API |
| lookupHpt | Liquid.GHC.API |
| lookupModSummary | Liquid.GHC.API.Extra, Liquid.GHC.API |
| lookupNewType | Language.Haskell.Liquid.Constraint.Monad |
| lookupRdrName | Language.Haskell.Liquid.GHC.Misc |
| lookupREnv | Language.Haskell.Liquid.Constraint.Env |
| lookupTyThings | Language.Haskell.Liquid.GHC.Interface |
| lower | Language.Haskell.Liquid.GHC.Resugar |
| lparen | Liquid.GHC.API |
| lq | Language.Haskell.Liquid.UX.QuasiQuoter, LiquidHaskellBoot |
| lqDec | Language.Haskell.Liquid.UX.QuasiQuoter |
| lqPos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LqTV | Language.Haskell.Liquid.Bare.Types |
| lqTy | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| LRCo | Liquid.GHC.API |
| lt_RDR | Liquid.GHC.API |
| LVars | Language.Haskell.Liquid.Parse |
| lvars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| M | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| makeBound | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| makeClassAuxTypes | Language.Haskell.Liquid.Bare.Typeclass |
| makeClasses | Language.Haskell.Liquid.Bare.Class |
| makeClassMeasureSpec | Language.Haskell.Liquid.Bare.Measure |
| makeCLaws | Language.Haskell.Liquid.Bare.Class |
| makeConTypes | Language.Haskell.Liquid.Bare.DataType |
| makeDataConChecker | Language.Haskell.Liquid.Bare.DataType |
| makeDataConSelector | Language.Haskell.Liquid.Bare.DataType |
| makeDataDecls | Language.Haskell.Liquid.Bare.DataType |
| makeDecrIndex | Language.Haskell.Liquid.Constraint.Termination |
| makeDecrType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| makeDefaultMethods | Language.Haskell.Liquid.Bare.Class |
| makeDictionaries | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| makeDictionary | Language.Haskell.Liquid.Types.Dictionaries, Language.Haskell.Liquid.Types |
| makeEnv | Language.Haskell.Liquid.Bare.Resolve |
| makeFamInstEnv | Language.Haskell.Liquid.GHC.Interface |
| makeHaskellAxioms | Language.Haskell.Liquid.Bare.Axiom |
| makeHaskellDataDecls | Language.Haskell.Liquid.Bare.Measure |
| makeHaskellInlines | Language.Haskell.Liquid.Bare.Measure |
| makeHaskellMeasures | Language.Haskell.Liquid.Bare.Measure |
| makeInstanceLaws | Language.Haskell.Liquid.Bare.Laws |
| makeLexRefa | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| makeLogicMap | Language.Haskell.Liquid.GHC.Interface |
| makeMeasureSelectors | Language.Haskell.Liquid.Bare.Measure |
| makeMeasureSpec | Language.Haskell.Liquid.Bare.Measure |
| makeMeasureSpec' | Language.Haskell.Liquid.Bare.Measure |
| makeMethodTypes | Language.Haskell.Liquid.Bare.Class |
| makeNumEnv | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| makeOccurrence | Language.Haskell.Liquid.GHC.Play |
| makeOccurrences | Language.Haskell.Liquid.GHC.Play |
| makePluggedDataCon | Language.Haskell.Liquid.Bare.Plugged |
| makePluggedSig | Language.Haskell.Liquid.Bare.Plugged |
| makeRecInvariants | Language.Haskell.Liquid.Constraint.Types |
| makeRecordSelectorSigs | Language.Haskell.Liquid.Bare.DataType |
| makeRTEnv | Language.Haskell.Liquid.Bare.Expand |
| makeRTVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| makeSpecDictionaries | Language.Haskell.Liquid.Bare.Class |
| makeTagEnv | Language.Haskell.Liquid.UX.CTags |
| makeTargetSpec | Language.Haskell.Liquid.Bare |
| makeTermEnvs | Language.Haskell.Liquid.Constraint.Termination |
| makeTyConInfo | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| makeTyConVariance | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| Many | Liquid.GHC.API |
| mapAccumM | Language.Haskell.Liquid.Misc |
| mapBind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapBot | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapErr | Language.Haskell.Liquid.Misc |
| mapExprReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapFifth5 | Language.Haskell.Liquid.Misc |
| mapFourth4 | Language.Haskell.Liquid.Misc |
| mapFst3 | Language.Haskell.Liquid.Misc |
| mapN | Language.Haskell.Liquid.Misc |
| mapNs | Language.Haskell.Liquid.Misc |
| mapPropM | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapReftM | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapRFInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapRTAVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mapSnd3 | Language.Haskell.Liquid.Misc |
| mapSndM | Language.Haskell.Liquid.Misc |
| mapThd3 | Language.Haskell.Liquid.Misc |
| mapType | Language.Haskell.Liquid.GHC.Play |
| mapTyVarValue | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| matchingFilters | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| matchKindArgs | Language.Haskell.Liquid.Bare.Misc |
| maxCaseExpand | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| maxParams | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| maxPartSize | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| maybeAuxVar | Language.Haskell.Liquid.GHC.Misc |
| maybeResolveSym | Language.Haskell.Liquid.Bare.Resolve |
| maybeUnfoldingTemplate | Liquid.GHC.API |
| mayHaveCafRefs | Liquid.GHC.API |
| Meas | Language.Haskell.Liquid.Parse |
| MeasEnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Bare.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Bare.Types |
| measMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Measure | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| measure | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MeasureKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| measures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| measureSpecType | Language.Haskell.Liquid.Transforms.CoreToLogic |
| measureToBare | Language.Haskell.Liquid.Bare.ToBare |
| meClasses | Language.Haskell.Liquid.Bare.Types |
| meClassSyms | Language.Haskell.Liquid.Bare.Types |
| meCLaws | Language.Haskell.Liquid.Bare.Types |
| meDataCons | Language.Haskell.Liquid.Bare.Types |
| meetDataConSpec | Language.Haskell.Liquid.Bare.DataType |
| meetVarTypes | Language.Haskell.Liquid.Types.Meet, Language.Haskell.Liquid.Types |
| meMeasureSpec | Language.Haskell.Liquid.Bare.Types |
| meMethods | Language.Haskell.Liquid.Bare.Types |
| memTagEnv | Language.Haskell.Liquid.UX.CTags |
| Messages | Liquid.GHC.API |
| meSyms | Language.Haskell.Liquid.Bare.Types |
| methodSymbols | Language.Haskell.Liquid.GHC.Misc |
| MethodType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MGIModGuts | Language.Haskell.Liquid.GHC.Types |
| mgiNamestring | Language.Haskell.Liquid.GHC.Types |
| mgi_binds | Language.Haskell.Liquid.GHC.Types |
| mgi_cls_inst | Language.Haskell.Liquid.GHC.Types |
| mgi_exports | Language.Haskell.Liquid.GHC.Types |
| mgi_module | Language.Haskell.Liquid.GHC.Types |
| mgi_tcs | Language.Haskell.Liquid.GHC.Types |
| mg_binds | Liquid.GHC.API |
| mg_exports | Liquid.GHC.API |
| mg_fam_inst_env | Liquid.GHC.API |
| mg_inst_env | Liquid.GHC.API |
| mg_module | Liquid.GHC.API |
| mg_tcs | Liquid.GHC.API |
| mg_usages | Liquid.GHC.API |
| MI | Language.Haskell.Liquid.GHC.Types |
| miModGuts | Language.Haskell.Liquid.GHC.Types |
| minPartSize | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| minus_RDR | Liquid.GHC.API |
| mi_anns | Liquid.GHC.API |
| mi_exports | Liquid.GHC.API |
| mi_globals | Liquid.GHC.API |
| mi_module | Liquid.GHC.API |
| mkAlive | Language.Haskell.Liquid.GHC.Misc |
| mkApps | Liquid.GHC.API |
| mkArrow | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MkBareSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| mkBTyCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mkClassPred | Liquid.GHC.API |
| mkCoreApps | Liquid.GHC.API |
| mkCoreConApps | Liquid.GHC.API |
| mkCoreLams | Liquid.GHC.API |
| mkCoreLets | Liquid.GHC.API |
| mkDiagnostics | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mkDumpStyle | Liquid.GHC.API |
| mkErrStyle | Liquid.GHC.API |
| mkExportedLocalId | Liquid.GHC.API |
| mkFastString | Liquid.GHC.API |
| mkFastStringByteString | Liquid.GHC.API |
| mkForAllTys | Liquid.GHC.API |
| mkFunTy | Liquid.GHC.API |
| mkGeneralSrcSpan | Liquid.GHC.API |
| mkGlobalRdrEnv | Liquid.GHC.API |
| mkGraph | Language.Haskell.Liquid.Misc |
| mkHsApp | Liquid.GHC.API |
| mkHsDictLet | Liquid.GHC.API |
| mkHsForAllInvisTele | Liquid.GHC.API |
| mkHsFractional | Liquid.GHC.API |
| mkHsIntegral | Liquid.GHC.API |
| mkHsLam | Liquid.GHC.API |
| mkI | Language.Haskell.Liquid.Transforms.CoreToLogic, Language.Haskell.Liquid.Types.Literals, Language.Haskell.Liquid.Types |
| mkIntegralLit | Liquid.GHC.API |
| mkInternalName | Liquid.GHC.API |
| mkKindTyCon | Liquid.GHC.API |
| mkLams | Liquid.GHC.API |
| mkLit | Language.Haskell.Liquid.Transforms.CoreToLogic |
| mkLocalVar | Liquid.GHC.API |
| mkLongErrAt | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Logging |
| mkM | Language.Haskell.Liquid.Measure |
| mkModuleName | Liquid.GHC.API |
| mkModuleNameFS | Liquid.GHC.API |
| mkMSpec | Language.Haskell.Liquid.Measure |
| mkMSpec' | Language.Haskell.Liquid.Measure |
| mkOpts | Language.Haskell.Liquid.UX.CmdLine |
| mkOutput | Language.Haskell.Liquid.UX.Annotate |
| mkQual | Liquid.GHC.API |
| mkRealSrcLoc | Liquid.GHC.API |
| mkRealSrcSpan | Liquid.GHC.API |
| mkRepReflCo | Liquid.GHC.API |
| mkRFInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mkRnEnv2 | Liquid.GHC.API |
| mkRTyConIAl | Language.Haskell.Liquid.Constraint.Types |
| mkRTyConInv | Language.Haskell.Liquid.Constraint.Types |
| mkS | Language.Haskell.Liquid.Transforms.CoreToLogic, Language.Haskell.Liquid.Types.Literals, Language.Haskell.Liquid.Types |
| mkSpecDecs | Language.Haskell.Liquid.UX.QuasiQuoter |
| mkSrcLoc | Liquid.GHC.API |
| mkSrcSpan | Liquid.GHC.API |
| mkStableModule | Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API |
| MkStableName | Language.Haskell.Liquid.GHC.Types |
| mkStableName | Language.Haskell.Liquid.GHC.Types |
| mkSystemName | Liquid.GHC.API |
| mkTCheck | Language.Haskell.Liquid.Constraint.Termination |
| mkTcOcc | Liquid.GHC.API |
| mkTHFractionalLit | Liquid.GHC.API |
| mkTvSubstPrs | Liquid.GHC.API |
| mkTyApps | Liquid.GHC.API |
| mkTyArg | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.TypeRep |
| mkTyConApp | Liquid.GHC.API |
| mkTyConInfo | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| mkTyVar | Liquid.GHC.API |
| mkTyVarOcc | Liquid.GHC.API |
| mkTyVarTy | Liquid.GHC.API |
| mkTyVarTys | Liquid.GHC.API |
| mkUniqSet | Liquid.GHC.API |
| mkUnique | Liquid.GHC.API |
| mkUnivs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mkUnqual | Liquid.GHC.API |
| MkUReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mkUserLocal | Liquid.GHC.API |
| mkUserStyle | Liquid.GHC.API |
| mkVarExpr | Language.Haskell.Liquid.Bare.Misc |
| mkVarOcc | Liquid.GHC.API |
| mkVarOccFS | Liquid.GHC.API |
| mkVarUnqual | Liquid.GHC.API |
| mkWarning | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ml_hs_file | Liquid.GHC.API |
| ModGuts | Liquid.GHC.API |
| ModIface_ | Liquid.GHC.API |
| modifyIdInfo | Liquid.GHC.API |
| modInfoLookupNameIO | Liquid.GHC.API.Extra, Liquid.GHC.API |
| modInfoTopLevelScope | Liquid.GHC.API |
| ModLocation | Liquid.GHC.API |
| ModName | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ModSpecs | Language.Haskell.Liquid.Bare.Types |
| ModSummary | Liquid.GHC.API |
| modSummaryHsFile | Language.Haskell.Liquid.GHC.Interface |
| ModType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Module | Liquid.GHC.API |
| moduleInfoTc | Liquid.GHC.API.Extra, Liquid.GHC.API |
| ModuleName | Liquid.GHC.API |
| moduleName | Liquid.GHC.API |
| moduleNameFS | Liquid.GHC.API |
| moduleNameString | Liquid.GHC.API |
| ModuleNameWithIsBoot | Liquid.GHC.API |
| moduleStableString | Liquid.GHC.API |
| ModuleTarget | Liquid.GHC.API |
| moduleUnit | Liquid.GHC.API |
| moduleUnitId | Liquid.GHC.API.Extra, Liquid.GHC.API |
| MonadUnique | Liquid.GHC.API |
| ms | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsAbsMeasure | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsChecker | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msEqns | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msg | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msg' | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsgEnvelope | Liquid.GHC.API |
| msgReporter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| msKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsLifted | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsMeasure | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MSpec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| MsReflect | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| MsSelector | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| msUnSorted | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ms_hspp_file | Liquid.GHC.API |
| ms_hspp_opts | Liquid.GHC.API |
| ms_location | Liquid.GHC.API |
| ms_mod | Liquid.GHC.API |
| ms_mod_name | Liquid.GHC.API |
| MT | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| mulArrow | Liquid.GHC.API |
| mungeNames | Language.Haskell.Liquid.GHC.Misc |
| myQualify | Language.Haskell.Liquid.GHC.Misc |
| nam | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Name | Liquid.GHC.API |
| namedLocSymbol | Language.Haskell.Liquid.GHC.Misc |
| namedPanic | Language.Haskell.Liquid.GHC.Misc |
| NamedThing | Liquid.GHC.API |
| nameModule | Liquid.GHC.API |
| nameModule_maybe | Liquid.GHC.API |
| NameNotInScope1 | Liquid.GHC.API |
| NameNotInScope2 | Liquid.GHC.API |
| nameOccName | Liquid.GHC.API |
| NameQual | Liquid.GHC.API |
| nameRdrName | Liquid.GHC.API |
| names | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| nameSrcLoc | Liquid.GHC.API |
| nameSrcSpan | Liquid.GHC.API |
| nameStableString | Liquid.GHC.API |
| NameUnqual | Liquid.GHC.API |
| Nat | Language.Haskell.Liquid.Misc |
| naturalTy | Liquid.GHC.API |
| negateName | Liquid.GHC.API |
| negOcc | Language.Haskell.Liquid.GHC.Play |
| nest | Liquid.GHC.API |
| neverQualify | Liquid.GHC.API |
| neverQualifyModules | Liquid.GHC.API |
| neverQualifyNames | Liquid.GHC.API |
| neverQualifyPackages | Liquid.GHC.API |
| newBinds | Language.Haskell.Liquid.UX.DiffCheck |
| newSpec | Language.Haskell.Liquid.UX.DiffCheck |
| newTyConInstRhs | Liquid.GHC.API |
| newTyConRhs | Liquid.GHC.API |
| newtyDecls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| newTyEnv | Language.Haskell.Liquid.Constraint.Types |
| newUnique | Liquid.GHC.API |
| nilDataCon | Liquid.GHC.API |
| nlHsAppTy | Liquid.GHC.API |
| nlHsFunTy | Liquid.GHC.API |
| nlHsIf | Liquid.GHC.API |
| nlHsTyConApp | Liquid.GHC.API |
| nlHsTyVar | Liquid.GHC.API |
| nlHsVar | Liquid.GHC.API |
| nlList | Liquid.GHC.API |
| nlVarPat | Liquid.GHC.API |
| noADT | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noAnn | Liquid.GHC.API |
| noannotations | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noAnnSrcSpan | Liquid.GHC.API |
| NoCafRefs | Liquid.GHC.API |
| NoCheck | Language.Haskell.Liquid.Constraint.Termination |
| noCheckImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noCheckUnknown | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noclasscheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NoDecl | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noEnvironmentReduction | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noErrors | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noExtField | Liquid.GHC.API |
| noLazyPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noLiftedImport | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noLocA | Liquid.GHC.API |
| NoModel | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| nonDetCmpType | Liquid.GHC.API |
| NonRec | Liquid.GHC.API |
| NonRecBindE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noOccInfo | Liquid.GHC.API |
| NoPackage | Liquid.GHC.API |
| noPatternInline | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| nopolyinfer | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| nopositivity | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NoReason | Liquid.GHC.API |
| NoRestrictions | Liquid.GHC.API |
| normalize | Language.Haskell.Liquid.Transforms.CoreToLogic |
| normalizePds | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| noSimplifyCore | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| noslice | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NoSourceText | Liquid.GHC.API |
| noSrcSpan | Liquid.GHC.API |
| nostructuralterm | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NotBoot | Liquid.GHC.API |
| notermination | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NotFound | Liquid.GHC.API |
| nototality | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NotPromoted | Liquid.GHC.API |
| notracePpr | Language.Haskell.Liquid.GHC.Misc |
| notruetypes | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NotTopLevel | Liquid.GHC.API |
| noTyVars | Language.Haskell.Liquid.GHC.Misc |
| not_RDR | Liquid.GHC.API |
| nowarnings | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| NTDecl | Language.Haskell.Liquid.Parse |
| NthCo | Liquid.GHC.API |
| nubHashLast | Language.Haskell.Liquid.Misc |
| nubHashLastM | Language.Haskell.Liquid.Misc |
| nubHashOn | Language.Haskell.Liquid.Misc |
| numericClassKeys | Liquid.GHC.API |
| NumTyLit | Liquid.GHC.API |
| O | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| obl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Oblig | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| oblig | Language.Haskell.Liquid.Constraint.Types |
| occInfo | Liquid.GHC.API |
| OccName | Liquid.GHC.API |
| occNameFS | Liquid.GHC.API |
| occNameString | Liquid.GHC.API |
| occurAnalysePgm | Liquid.GHC.API |
| OccurrenceMap | Language.Haskell.Liquid.GHC.Play |
| OCons | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ofBareType | Language.Haskell.Liquid.Bare.Resolve |
| ofBareTypeE | Language.Haskell.Liquid.Bare.Resolve |
| ofBPVar | Language.Haskell.Liquid.Bare.Resolve |
| ofRSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ofType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| ofUReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| OInv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| OkRT | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| oldOutput | Language.Haskell.Liquid.UX.DiffCheck |
| oldPLE | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| oneLine | Language.Haskell.Liquid.GHC.Misc |
| Only | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Opt_DeferTypedHoles | Liquid.GHC.API |
| Opt_Haddock | Liquid.GHC.API |
| Opt_ImplicitImportQualified | Liquid.GHC.API |
| Opt_KeepRawTokenStream | Liquid.GHC.API |
| Opt_PIC | Liquid.GHC.API |
| ordClassKey | Liquid.GHC.API |
| ordClassName | Liquid.GHC.API |
| ordSrcSpan | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| orHeader | Language.Haskell.Liquid.UX.CmdLine |
| orMessages | Language.Haskell.Liquid.UX.CmdLine |
| OTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| outerScTr | Language.Haskell.Liquid.Transforms.Rec |
| Output | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Outputable | Liquid.GHC.API |
| OutputableBndr | Liquid.GHC.API |
| OutputableP | Liquid.GHC.API |
| OutputResult | |
| 1 (Type/Class) | Language.Haskell.Liquid.UX.CmdLine |
| 2 (Data Constructor) | Language.Haskell.Liquid.UX.CmdLine |
| o_bots | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_result | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_templs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_types | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| o_vars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 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 |
| qiModules | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| QImports | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| qiNames | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| qname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Qualif | Language.Haskell.Liquid.Parse |
| qualifiedImports | Language.Haskell.Liquid.GHC.Interface |
| qualifiedNameFS | Liquid.GHC.API.Extra, Liquid.GHC.API |
| qualifiedNameSymbol | Language.Haskell.Liquid.GHC.Misc |
| qualifiers | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Qualify | Language.Haskell.Liquid.Bare.Resolve |
| qualify | Language.Haskell.Liquid.Bare.Resolve |
| qualifyExpand | Language.Haskell.Liquid.Bare.Expand |
| qualifyModName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| QualifyName | Liquid.GHC.API |
| qualifySymbol | Language.Haskell.Liquid.GHC.Misc |
| qualifyTop | Language.Haskell.Liquid.Bare.Resolve |
| qualifyTopDummy | Language.Haskell.Liquid.Bare.Resolve |
| qualModule | Liquid.GHC.API |
| qualName | Liquid.GHC.API |
| qualPackage | Liquid.GHC.API |
| quantifyFreeRTy | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| quantifyRTy | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| queryQual | Liquid.GHC.API |
| QueryQualify | Liquid.GHC.API |
| QueryQualifyModule | Liquid.GHC.API |
| queryQualifyModule | Liquid.GHC.API |
| QueryQualifyName | Liquid.GHC.API |
| queryQualifyName | Liquid.GHC.API |
| QueryQualifyPackage | Liquid.GHC.API |
| queryQualifyPackage | Liquid.GHC.API |
| quote | Liquid.GHC.API |
| quotedListWithNor | Liquid.GHC.API |
| quotedListWithOr | Liquid.GHC.API |
| quotes | Liquid.GHC.API |
| R | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RAllE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RAllP | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RAllT | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rankNTypes | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RApp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rApp | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| RAppTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rational | Liquid.GHC.API |
| RawTV | Language.Haskell.Liquid.Bare.Types |
| RBEnv | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| RBound | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| rbrace | Liquid.GHC.API |
| rbrack | Liquid.GHC.API |
| RClass | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rcMethods | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rcName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rcSupers | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rcTyVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rdcs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RDEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RdrName | Liquid.GHC.API |
| RE | Language.Haskell.Liquid.Bare.Types |
| readVars | Language.Haskell.Liquid.Types.Visitors, Language.Haskell.Liquid.Types |
| RealDataCon | Liquid.GHC.API |
| realIdUnfolding | Liquid.GHC.API |
| reAllImps | Language.Haskell.Liquid.Bare.Types |
| reallyAlwaysQualify | Liquid.GHC.API |
| reallyAlwaysQualifyNames | Liquid.GHC.API |
| RealSrcLoc | Liquid.GHC.API |
| realSrcLocSourcePos | Language.Haskell.Liquid.GHC.Misc |
| RealSrcSpan | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| realSrcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
| realSrcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| realSrcSpanStart | Liquid.GHC.API |
| realTcArity | Language.Haskell.Liquid.GHC.Misc |
| Rec | Liquid.GHC.API |
| RecBindE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| recCount | Language.Haskell.Liquid.Constraint.Types |
| reCfg | Language.Haskell.Liquid.Bare.Types |
| recs | Language.Haskell.Liquid.Constraint.Types |
| RecSelId | Liquid.GHC.API |
| recType | Language.Haskell.Liquid.Constraint.Termination |
| reduceFilters | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| Ref | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ref | Language.Haskell.Liquid.Constraint.Types |
| refinementEQs | Language.Haskell.Liquid.Constraint.ToFixpoint |
| Reflect | Language.Haskell.Liquid.Parse |
| reflection | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| reflects | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| reflSigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| refresh | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| refreshArgs | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| refreshArgsSub | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| refreshArgsTop | Language.Haskell.Liquid.Constraint.Fresh |
| refreshHoles | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| refreshTy | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| refreshVV | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| reGlobal | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| reGlobSyms | Language.Haskell.Liquid.Bare.Types |
| Relational | Language.Haskell.Liquid.Parse |
| relational | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| relevantModules | Liquid.GHC.API.Extra, Liquid.GHC.API |
| RelExpr | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| reLMap | Language.Haskell.Liquid.Bare.Types |
| reLocal | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| reLocalVars | Language.Haskell.Liquid.Bare.Types |
| removeInvariant | Language.Haskell.Liquid.Constraint.Types |
| renamedResultAction | Liquid.GHC.API |
| renderModule | Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API |
| renderWithContext | Liquid.GHC.API |
| renderWithStyle | Liquid.GHC.API.Extra, Liquid.GHC.API |
| REnv | |
| 1 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| renv | Language.Haskell.Liquid.Constraint.Types |
| replaceN | Language.Haskell.Liquid.Misc |
| replacePreds | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| replacePredsWithRefs | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| replaceSubset | Language.Haskell.Liquid.Misc |
| replaceWith | Language.Haskell.Liquid.Misc |
| reportError | Liquid.GHC.API |
| reportErrors | Liquid.GHC.API |
| reportResult | Language.Haskell.Liquid.UX.CmdLine |
| REq | Language.Haskell.Liquid.Types.Equality |
| reQualImps | Language.Haskell.Liquid.Bare.Types |
| Required | Liquid.GHC.API |
| resolveLocalBinds | Language.Haskell.Liquid.Bare.Resolve |
| resolveLocSym | Language.Haskell.Liquid.Bare.Resolve |
| ResolveSym | Language.Haskell.Liquid.Bare.Resolve |
| reSrc | Language.Haskell.Liquid.Bare.Types |
| restoreInvariant | Language.Haskell.Liquid.Constraint.Types |
| Result | Language.Haskell.Liquid.UX.Tidy |
| result | Language.Haskell.Liquid.UX.Tidy |
| reSyms | Language.Haskell.Liquid.Bare.Types |
| Rewrite | Language.Haskell.Liquid.Parse |
| rewriteBinds | Language.Haskell.Liquid.Transforms.Rewrite |
| rewrites | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| Rewritewith | Language.Haskell.Liquid.Parse |
| rewriteWith | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| REx | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rEx | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| RExprArg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RFInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rFun' | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rFunDebug | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rf_args | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rf_body | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RHole | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rhs | Language.Haskell.Liquid.Constraint.Types |
| RI | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RIAssumed | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| riclass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RIL | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RILaws | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rilEqus | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rilName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rilPos | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rilSupers | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rilTyArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RInst | Language.Haskell.Liquid.Parse |
| RInstance | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rinstance | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| rinvs | Language.Haskell.Liquid.Constraint.Types |
| RISig | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| risigs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ritype | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rname | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rnLExpr | Liquid.GHC.API |
| Role | Liquid.GHC.API |
| rparen | Liquid.GHC.API |
| RProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rPropP | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RPVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RRBEnv | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| RRBound | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| rRCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RRProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RRTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RRType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTA | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTAlias | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtBody | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtc_info | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtc_tc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtTArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTV | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTVar | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtVArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rTVarInfo | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| rTVarToBind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTVInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTVNoInfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTVU | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtv_is_pol | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtv_is_val | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtv_kind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtv_name | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTyCon | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTyConIAl | Language.Haskell.Liquid.Constraint.Types |
| RTyConInv | Language.Haskell.Liquid.Constraint.Types |
| rTyConPropVs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rTyConPVs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rtypeDoc | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| rTypeReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTypeRep | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rTypeSort | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| rTypeSortedReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| rTypeSortedReft' | Language.Haskell.Liquid.Constraint.Env |
| rTypeValueVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| RTyVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| rtyVarType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_allarg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_arg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_args | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_bind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_env | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_exarg | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_in | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_obl | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_out | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_pargs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_pvbind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_ref | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_reft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_res | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_rinfo | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_tvbind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_ty | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_tycon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rt_var | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ruleMatchTyKiX | Liquid.GHC.API |
| runMapTyVars | Language.Haskell.Liquid.Bare.Misc |
| runSDoc | Liquid.GHC.API |
| runToLogic | Language.Haskell.Liquid.Transforms.CoreToLogic |
| runToLogicWithBoolBinds | Language.Haskell.Liquid.Transforms.CoreToLogic |
| RVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| rVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| rwTerminationCheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Safe | Language.Haskell.Liquid.UX.ACSS |
| safeBkArrow | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| safeFromAsserted | Language.Haskell.Liquid.Constraint.Template |
| safeFromJust | Language.Haskell.Liquid.Misc |
| safeFromLeft | Language.Haskell.Liquid.Misc |
| safeZip3WithError | Language.Haskell.Liquid.Misc |
| safeZip4WithError | Language.Haskell.Liquid.Misc |
| safeZipWithError | Language.Haskell.Liquid.Misc |
| saveLiftedSpec | Language.Haskell.Liquid.Bare |
| saveQuery | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| saveResult | Language.Haskell.Liquid.UX.DiffCheck |
| sayReadFile | Language.Haskell.Liquid.Misc |
| scrapeImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| scrapeInternals | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| scrapeUsedImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SDC | Liquid.GHC.API |
| SDoc | Liquid.GHC.API |
| sdocCanUseUnicode | Liquid.GHC.API |
| sdocColScheme | Liquid.GHC.API |
| SDocContext | Liquid.GHC.API |
| sdocDefaultDepth | Liquid.GHC.API |
| sDocDoc | Language.Haskell.Liquid.GHC.Misc |
| sdocErrorSpans | Liquid.GHC.API |
| sdocHexWordLiterals | Liquid.GHC.API |
| sdocImpredicativeTypes | Liquid.GHC.API |
| sdocLastColour | Liquid.GHC.API |
| sdocLinearTypes | Liquid.GHC.API |
| sdocLineLength | Liquid.GHC.API |
| sdocOption | Liquid.GHC.API |
| sdocPprDebug | Liquid.GHC.API |
| sdocPrintAxiomIncomps | Liquid.GHC.API |
| sdocPrintCaseAsLet | Liquid.GHC.API |
| sdocPrintEqualityRelations | Liquid.GHC.API |
| sdocPrintExplicitCoercions | Liquid.GHC.API |
| sdocPrintExplicitForalls | Liquid.GHC.API |
| sdocPrintExplicitKinds | Liquid.GHC.API |
| sdocPrintExplicitRuntimeReps | Liquid.GHC.API |
| sdocPrintPotentialInstances | Liquid.GHC.API |
| sdocPrintTypeAbbreviations | Liquid.GHC.API |
| sdocPrintTypecheckerElaboration | Liquid.GHC.API |
| sdocPrintUnicodeSyntax | Liquid.GHC.API |
| sdocShouldUseColor | Liquid.GHC.API |
| sdocStarIsType | Liquid.GHC.API |
| sdocStyle | Liquid.GHC.API |
| sdocSuppressCoercions | Liquid.GHC.API |
| sdocSuppressIdInfo | Liquid.GHC.API |
| sdocSuppressModulePrefixes | Liquid.GHC.API |
| sdocSuppressStgExts | Liquid.GHC.API |
| sdocSuppressTicks | Liquid.GHC.API |
| sdocSuppressTypeApplications | Liquid.GHC.API |
| sdocSuppressTypeSignatures | Liquid.GHC.API |
| sdocSuppressUnfoldings | Liquid.GHC.API |
| sdocSuppressUniques | Liquid.GHC.API |
| sdocSuppressVarKinds | Liquid.GHC.API |
| sdocUnitIdForUser | Liquid.GHC.API |
| sdocWithContext | Liquid.GHC.API |
| second3M | Language.Haskell.Liquid.Misc |
| secondM | Language.Haskell.Liquid.Misc |
| selfSymbol | Language.Haskell.Liquid.Types.Names, Language.Haskell.Liquid.Types |
| semi | Liquid.GHC.API |
| senv | Language.Haskell.Liquid.Constraint.Types |
| sep | Liquid.GHC.API |
| sepModNames | Language.Haskell.Liquid.GHC.Misc |
| sepUnique | Language.Haskell.Liquid.GHC.Misc |
| setBind | Language.Haskell.Liquid.Constraint.Env |
| setCafInfo | Liquid.GHC.API |
| setIdInfo | Liquid.GHC.API |
| setIdTRecBound | Language.Haskell.Liquid.Transforms.Rec |
| setLocation | Language.Haskell.Liquid.Constraint.Env |
| setOccInfo | Liquid.GHC.API |
| setRecs | Language.Haskell.Liquid.Constraint.Env |
| setRtvPol | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| setStyleColoured | Liquid.GHC.API |
| setTRec | Language.Haskell.Liquid.Constraint.Env |
| setVarName | Liquid.GHC.API |
| setVarType | Liquid.GHC.API |
| setVarUnique | Liquid.GHC.API |
| Severity | Liquid.GHC.API |
| SevWarning | Liquid.GHC.API |
| shiftVV | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| shortErrors | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| shortNames | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| showCBs | Language.Haskell.Liquid.GHC.Misc |
| showpp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| showPpr | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| showPprQualified | Liquid.GHC.API.Extra, Liquid.GHC.API |
| showPprUnsafe | Liquid.GHC.API |
| showSDoc | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| showSDocDump | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| showSDocOneLine | Liquid.GHC.API |
| showSDocQualified | Liquid.GHC.API.Extra, Liquid.GHC.API |
| showSDocUnsafe | Liquid.GHC.API |
| showSpan | Language.Haskell.Liquid.GHC.SpanStack |
| showTy | Language.Haskell.Liquid.GHC.TypeRep |
| Sig | Liquid.GHC.API |
| SigD | Liquid.GHC.API |
| sigEmbs | Language.Haskell.Liquid.Bare.Types |
| SigEnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Bare.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Bare.Types |
| sigExports | Language.Haskell.Liquid.Bare.Types |
| sigRTEnv | Language.Haskell.Liquid.Bare.Types |
| sigs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| sigTyRTyMap | Language.Haskell.Liquid.Bare.Types |
| Simpl | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplesymbol | Language.Haskell.Liquid.GHC.Misc |
| simpleSymbolVar | Language.Haskell.Liquid.Bare.Misc |
| simpleVersion | Language.Haskell.Liquid.UX.SimpleVersion |
| Simplified | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBareType | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBareType' | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBareType'' | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBounds | Language.Haskell.Liquid.Transforms.Simplify |
| simplifyInfer | Liquid.GHC.API |
| simplifyInteractive | Liquid.GHC.API |
| single | Language.Haskell.Liquid.Misc |
| singleSpecP | Language.Haskell.Liquid.Parse |
| SizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| sizeFunction | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| skipModule | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| slice | Language.Haskell.Liquid.UX.DiffCheck |
| sliceSpecs | Language.Haskell.Liquid.Bare.Slice |
| sLit | Liquid.GHC.API |
| smtsolver | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| smtTimeout | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| snd4 | Language.Haskell.Liquid.Misc |
| snd5 | Language.Haskell.Liquid.Misc |
| sortDiff | Language.Haskell.Liquid.Misc |
| sortOn | Language.Haskell.Liquid.Misc |
| SourceError | Liquid.GHC.API |
| sourceErrors | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| sourceName | Liquid.GHC.API |
| SourceNote | Liquid.GHC.API |
| sourcePos2SrcSpan | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcLoc | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| sourceSpan | Liquid.GHC.API |
| SourceText | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| SP | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| space | Liquid.GHC.API |
| Span | |
| 1 (Type/Class) | Language.Haskell.Liquid.GHC.SpanStack |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.SpanStack |
| SpanStack | Language.Haskell.Liquid.GHC.SpanStack |
| SpData | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| speakN | Liquid.GHC.API |
| speakNOf | Liquid.GHC.API |
| speakNth | Liquid.GHC.API |
| Spec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| specExpandType | Language.Haskell.Liquid.Bare.Expand |
| Specificity | Liquid.GHC.API |
| SpecifiedSpec | Liquid.GHC.API |
| SpecImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| specLazy | Language.Haskell.Liquid.Constraint.Types |
| specLVars | Language.Haskell.Liquid.Constraint.Types |
| SpecMeasure | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| SpecProp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpecRep | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpecRTAlias | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpecRTEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpecRTVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| specSpecificationP | Language.Haskell.Liquid.Parse |
| specTmVars | Language.Haskell.Liquid.Constraint.Types |
| specToBare | Language.Haskell.Liquid.Bare.ToBare |
| SpecType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpLaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| spliceRunAction | Liquid.GHC.API |
| splitAppTys | Liquid.GHC.API |
| splitC | Language.Haskell.Liquid.Constraint.Split |
| splitForAllTyCoVars | Liquid.GHC.API |
| splitFunTys | Liquid.GHC.API |
| splitFunTy_maybe | Liquid.GHC.API |
| splitModuleName | Language.Haskell.Liquid.GHC.Misc |
| splitModuleUnique | Language.Haskell.Liquid.GHC.Misc |
| splitters | Language.Haskell.Liquid.Misc |
| splitTyConApp | Liquid.GHC.API |
| splitTyConApp_maybe | Liquid.GHC.API |
| splitW | Language.Haskell.Liquid.Constraint.Split |
| splitXRelatedRefs | Language.Haskell.Liquid.Transforms.RefSplit |
| SpNames | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SpQual | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SpRefl | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SpSig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SpTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| sptypes | Language.Haskell.Liquid.UX.ACSS |
| SpVar | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| Src | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| srcErrorMessages | Liquid.GHC.API |
| srcF | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SrcImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SrcLoc | Liquid.GHC.API |
| srcLocCol | Liquid.GHC.API |
| srcLocFile | Liquid.GHC.API |
| srcLocLine | Liquid.GHC.API |
| srcModuleName | Language.Haskell.Liquid.UX.ACSS |
| SrcSpan | Liquid.GHC.API |
| srcSpan | Language.Haskell.Liquid.GHC.SpanStack |
| srcSpanEndCol | Liquid.GHC.API |
| srcSpanEndLine | Liquid.GHC.API |
| srcSpanEndLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanFile | Liquid.GHC.API |
| srcSpanFileMb | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| srcSpanFilename | Language.Haskell.Liquid.GHC.Misc |
| srcSpanFileName_maybe | Liquid.GHC.API |
| srcSpanFSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| srcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
| srcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| srcSpanStartCol | Liquid.GHC.API |
| srcSpanStartLine | Liquid.GHC.API |
| srcSpanStartLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanToRealSrcSpan | Liquid.GHC.API |
| srcVars | Language.Haskell.Liquid.Bare.Resolve |
| StableModule | Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API |
| StableName | Language.Haskell.Liquid.GHC.Types |
| stableNameCmp | Liquid.GHC.API |
| start | Language.Haskell.Liquid.UX.DiffCheck |
| Status | Language.Haskell.Liquid.UX.ACSS |
| status | Language.Haskell.Liquid.UX.ACSS |
| StopLn | Liquid.GHC.API |
| StrataCheck | Language.Haskell.Liquid.Constraint.Termination |
| strengthen | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| strengthenDataConType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| strengthenRefTypeGen | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| StrictnessMark | Liquid.GHC.API |
| stringClassArg | Language.Haskell.Liquid.GHC.Play |
| StringFilter | Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types |
| stringTheory | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| stringTy | Liquid.GHC.API |
| stringTyCon | Language.Haskell.Liquid.GHC.Misc |
| stringTyConWithKind | Language.Haskell.Liquid.GHC.Misc |
| stringTyVar | Language.Haskell.Liquid.GHC.Misc |
| stringVar | Language.Haskell.Liquid.GHC.Misc |
| stripParens | Language.Haskell.Liquid.GHC.Misc |
| stripParensSym | Language.Haskell.Liquid.GHC.Misc |
| stripRTypeBase | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| StrTyLit | Liquid.GHC.API |
| structuralTerm | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| sub | Language.Haskell.Liquid.GHC.Play |
| Subable | Language.Haskell.Liquid.GHC.Play |
| SubC | |
| 1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
| SubCo | Liquid.GHC.API |
| SubR | Language.Haskell.Liquid.Constraint.Types |
| substExpr | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Play |
| substParg | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| substPVar | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| substTy | Liquid.GHC.API |
| substTysWith | Language.Haskell.Liquid.GHC.Play |
| substTyWith | Liquid.GHC.API |
| SubsTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| subsTyVarMeet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVarMeet' | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVarNoMeet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVarsMeet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVarsNoMeet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subt | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| subts | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subTy | Language.Haskell.Liquid.GHC.Play |
| subVar | |
| 1 (Function) | Language.Haskell.Liquid.GHC.Play |
| 2 (Function) | Language.Haskell.Liquid.Constraint.Types |
| subvPredicate | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subvUReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| svar | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| syenv | Language.Haskell.Liquid.Constraint.Types |
| symbolFastString | Language.Haskell.Liquid.GHC.Misc |
| symbolName | Language.Haskell.Liquid.UX.QuasiQuoter |
| symbolRTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Misc, Language.Haskell.Liquid.Types |
| symbolTyCon | Language.Haskell.Liquid.GHC.Misc |
| symbolTyConWithKind | Language.Haskell.Liquid.GHC.Misc |
| symbolTyVar | Language.Haskell.Liquid.GHC.Misc |
| SymCo | Liquid.GHC.API |
| SymSizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| synTyConDefn_maybe | Liquid.GHC.API |
| synTyConRhs_maybe | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| szFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tact | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tactM | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TagEnv | Language.Haskell.Liquid.UX.CTags |
| TagKey | Language.Haskell.Liquid.UX.CTags |
| takeLast | Language.Haskell.Liquid.Misc |
| takeModuleNames | Language.Haskell.Liquid.GHC.Misc |
| takeModuleUnique | Language.Haskell.Liquid.GHC.Misc |
| Target | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TargetDependencies | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| TargetInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| TargetSpec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| TargetSrc | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| TargetVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tAs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tcAdts | Language.Haskell.Liquid.Bare.Types |
| tcDataConMap | Language.Haskell.Liquid.Bare.Types |
| tcDataCons | Language.Haskell.Liquid.Bare.Types |
| tcEmbs | Language.Haskell.Liquid.Bare.Types |
| TcEvBinds | Liquid.GHC.API |
| TcGblEnv | Liquid.GHC.API |
| tcg_anns | Liquid.GHC.API |
| tcg_exports | Liquid.GHC.API |
| tcg_insts | Liquid.GHC.API |
| tcg_mod | Liquid.GHC.API |
| tcg_rdr_env | Liquid.GHC.API |
| tcg_rn_imports | Liquid.GHC.API |
| TCheck | Language.Haskell.Liquid.Constraint.Termination |
| tcheck | Language.Haskell.Liquid.Constraint.Types |
| tcInferRho | Liquid.GHC.API |
| tcInferSigma | Liquid.GHC.API |
| TcM | Liquid.GHC.API |
| tcmFIRTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tcmFtcArity | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tcmTyRTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tcName | Language.Haskell.Liquid.Bare.Types |
| tcname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tcpCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcpFreePredTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcpFreeTyVarsTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcpLoc | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcPlugin | Liquid.GHC.API |
| tcpSizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcpVariancePs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tcpVarianceTs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| TcRn | Liquid.GHC.API |
| tcRnLookupRdrName | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| tcSelMeasures | Language.Haskell.Liquid.Bare.Types |
| tcSelVars | Language.Haskell.Liquid.Bare.Types |
| tcSplitDFunTy | Liquid.GHC.API |
| tcSplitMethodTy | Liquid.GHC.API |
| tcTyConMap | Language.Haskell.Liquid.Bare.Types |
| tcTyCons | Language.Haskell.Liquid.Bare.Types |
| tcUnifyTy | Liquid.GHC.API |
| tcValBinds | Liquid.GHC.API |
| TcWiredIn | |
| 1 (Type/Class) | Language.Haskell.Liquid.GHC.Misc |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.Misc |
| tcWiredInFixity | Language.Haskell.Liquid.GHC.Misc |
| tcWiredInName | Language.Haskell.Liquid.GHC.Misc |
| tcWiredInType | Language.Haskell.Liquid.GHC.Misc |
| Template | Language.Haskell.Liquid.Constraint.Template |
| termExprs | Language.Haskell.Liquid.Constraint.Types |
| termexprs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| TerminationCheck | Language.Haskell.Liquid.Constraint.Termination |
| terminationCheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| terminationVars | Language.Haskell.Liquid.Termination.Structural |
| TError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| texp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| text | Liquid.GHC.API |
| textToExpQ | Language.Haskell.Liquid.UX.QuasiQuoter |
| tgEnv | Language.Haskell.Liquid.Constraint.Types |
| tgKey | Language.Haskell.Liquid.Constraint.Types |
| thd4 | Language.Haskell.Liquid.Misc |
| thd5 | Language.Haskell.Liquid.Misc |
| thin | Language.Haskell.Liquid.UX.DiffCheck |
| third3 | Language.Haskell.Liquid.Misc |
| third3M | Language.Haskell.Liquid.Misc |
| third4 | Language.Haskell.Liquid.Misc |
| thisPackage | Liquid.GHC.API.Extra, Liquid.GHC.API |
| thl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| thrd3 | Language.Haskell.Liquid.Misc |
| throwErrorInQ | Language.Haskell.Liquid.UX.QuasiQuoter |
| throwGhcException | Liquid.GHC.API |
| throwGhcExceptionIO | Liquid.GHC.API |
| Tick | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.SpanStack |
| tickId | Liquid.GHC.API |
| tickModule | Liquid.GHC.API |
| tickSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| tidyCBs | Language.Haskell.Liquid.GHC.Misc |
| tidyError | Language.Haskell.Liquid.UX.Errors |
| tidySpecType | Language.Haskell.Liquid.UX.Tidy |
| tidySymbol | Language.Haskell.Liquid.UX.Tidy |
| timeBinds | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| timedAction | Language.Haskell.Liquid.Misc |
| times_RDR | Liquid.GHC.API |
| tm_checked_module_info | Liquid.GHC.API |
| tm_internals_ | Liquid.GHC.API |
| tm_parsed_module | Liquid.GHC.API |
| to' | Language.Haskell.Liquid.Types.Generics |
| toBareSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| todo | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| toFixSDoc | Language.Haskell.Liquid.GHC.Misc |
| tokeniseWithLoc | |
| 1 (Function) | Language.Haskell.Liquid.UX.ACSS |
| 2 (Function) | Language.Haskell.Liquid.UX.Annotate |
| toLiftedSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| toListREnv | Language.Haskell.Liquid.Constraint.Env |
| toLogicMap | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TopLevelFlag | Liquid.GHC.API |
| topNormaliseType_maybe | Liquid.GHC.API |
| topPrec | Liquid.GHC.API |
| topRTypeBase | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| topSpecType | Language.Haskell.Liquid.Constraint.Template |
| toRSort | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| toRTypeRep | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| toSerialized | Liquid.GHC.API |
| toStableModule | Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API |
| totalHaskell | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| totalityCheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| toTargetSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| toTargetSrc | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| toType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| toUnitId | Liquid.GHC.API |
| tracePpr | Language.Haskell.Liquid.GHC.Misc |
| TransCo | Liquid.GHC.API |
| transformRecExpr | Language.Haskell.Liquid.Transforms.Rec |
| transformScope | Language.Haskell.Liquid.Transforms.Rec |
| trec | Language.Haskell.Liquid.Constraint.Types |
| true | Language.Haskell.Liquid.Types.Fresh, Language.Haskell.Liquid.Types |
| trueDataCon | Liquid.GHC.API |
| trueDataConId | Liquid.GHC.API |
| trueTy | Language.Haskell.Liquid.Constraint.Fresh |
| true_RDR | Liquid.GHC.API |
| tryIgnore | Language.Haskell.Liquid.Misc |
| tupleDataCon | Liquid.GHC.API |
| tupleTyCon | Liquid.GHC.API |
| tUs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tvId | Language.Haskell.Liquid.GHC.Misc |
| txRefSort | Language.Haskell.Liquid.Bare.Resolve |
| tycDCons | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TycEnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Bare.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Bare.Types |
| tycKind | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tyClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tyClasses | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| tycName | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TyCon | Liquid.GHC.API |
| tycon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TyConable | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TyConApp | Liquid.GHC.API |
| tyConAppArgs_maybe | Liquid.GHC.API |
| TyConAppCo | Liquid.GHC.API |
| tyConAppTyCon_maybe | Liquid.GHC.API |
| tyConArity | Liquid.GHC.API |
| TyConBinder | Liquid.GHC.API |
| tyConBinders | Liquid.GHC.API |
| TyConBndrVis | Liquid.GHC.API |
| tyConBTyCon | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| tyConClass_maybe | Liquid.GHC.API |
| tyConDataCons | Liquid.GHC.API |
| tyConDataCons_maybe | Liquid.GHC.API |
| tyConEmbed | Language.Haskell.Liquid.Constraint.Types |
| tyConFamInst_maybe | Liquid.GHC.API |
| TyConInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tyConInfo | Language.Haskell.Liquid.Constraint.Types |
| tyConKind | Liquid.GHC.API |
| TyConMap | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tyConName | |
| 1 (Function) | Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| TyConOcc | Language.Haskell.Liquid.GHC.Play |
| TyConOccurrence | Language.Haskell.Liquid.GHC.Play |
| TyConP | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| tyConRealArity | Liquid.GHC.API.Extra, Liquid.GHC.API |
| tyConSingleDataCon_maybe | Liquid.GHC.API |
| tyConTyVars | Liquid.GHC.API |
| tyConTyVarsDef | Language.Haskell.Liquid.GHC.Misc |
| tycPropTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tycPVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tycSFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tycSrcPos | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tycTyVars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| tyInstance | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TyLit | Liquid.GHC.API |
| typ | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Type | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| typeAliases | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TypecheckedModule | Liquid.GHC.API |
| typecheckModuleIO | Liquid.GHC.API.Extra, Liquid.GHC.API |
| typeCheckResultAction | Liquid.GHC.API |
| typeclass | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| TypeInstE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| types | Language.Haskell.Liquid.UX.ACSS |
| TypeSig | Liquid.GHC.API |
| typeSort | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| typeSymbolKind | Liquid.GHC.API |
| typeUniqueString | Language.Haskell.Liquid.GHC.Misc |
| typeUniqueSymbol | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| TyThing | Liquid.GHC.API |
| TyThingMap | Language.Haskell.Liquid.Bare.Types |
| TyVar | Liquid.GHC.API |
| TyVarBinder | Liquid.GHC.API |
| tyVarKind | Liquid.GHC.API |
| tyvars | Language.Haskell.Liquid.Types.Bounds, Language.Haskell.Liquid.Types |
| tyVarsPosition | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| TyVarTy | Liquid.GHC.API |
| tyVarVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_args | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_binds | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_info | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_preds | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_refts | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_res | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_vars | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_var_info | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ty_var_value | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| uError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| uf_tmpl | Liquid.GHC.API |
| underscore | Liquid.GHC.API |
| Unfolding | Liquid.GHC.API |
| unfoldingInfo | Liquid.GHC.API |
| UnhelpfulGenerated | Liquid.GHC.API |
| UnhelpfulInteractive | Liquid.GHC.API |
| UnhelpfulNoLocationInfo | Liquid.GHC.API |
| UnhelpfulOther | Liquid.GHC.API |
| UnhelpfulSpan | Liquid.GHC.API |
| UnhelpfulSpanReason | Liquid.GHC.API |
| UnhelpfulWiredIn | Liquid.GHC.API |
| unicodeSyntax | Liquid.GHC.API |
| uniq | Liquid.GHC.API |
| Uniquable | Liquid.GHC.API |
| Unique | Liquid.GHC.API |
| uniqueByKey | Language.Haskell.Liquid.Misc |
| uniqueByKey' | Language.Haskell.Liquid.Misc |
| uniqueHash | Language.Haskell.Liquid.GHC.Misc |
| UnitId | Liquid.GHC.API |
| unitString | Liquid.GHC.API |
| unitVarSet | Liquid.GHC.API |
| UnivCo | Liquid.GHC.API |
| UnivCoProvenance | Liquid.GHC.API |
| Unknown | Language.Haskell.Liquid.Constraint.Template |
| unLoc | Liquid.GHC.API |
| unOCons | Language.Haskell.Liquid.Constraint.Termination |
| unpackFS | Liquid.GHC.API |
| unpackRealSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| unQualifySymbol | Language.Haskell.Liquid.Bare.Resolve |
| Unsafe | Language.Haskell.Liquid.UX.ACSS |
| unsafeFromLiftedSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| unsorted | Language.Haskell.Liquid.Constraint.Types |
| UnSortedExpr | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| UnSortedExprs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| unStableModule | Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API |
| unStableName | Language.Haskell.Liquid.GHC.Types |
| unTemplate | Language.Haskell.Liquid.Constraint.Template |
| unTick | Language.Haskell.Liquid.GHC.Misc |
| unTickExpr | Language.Haskell.Liquid.GHC.Misc |
| untidyCore | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| unzip4 | Language.Haskell.Liquid.Misc |
| up | Language.Haskell.Liquid.Misc |
| updateLocA | Language.Haskell.Liquid.Constraint.Monad |
| updateRTVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| updKVProf | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| updLiftedSpec | Language.Haskell.Liquid.GHC.Interface |
| updOptLevel | Liquid.GHC.API |
| updSDocContext | Liquid.GHC.API |
| uPVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| UReft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| uReft | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| UReftable | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| uRType | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| uRType' | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| uRTypeGen | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| ur_pred | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ur_reft | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| UsedPVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| UserError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| userStyle | Liquid.GHC.API |
| UserTyVar | Liquid.GHC.API |
| useSpcQuals | Language.Haskell.Liquid.Constraint.Qualifier |
| Using | Language.Haskell.Liquid.Parse |
| uTop | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| Val | Language.Haskell.Liquid.Misc |
| val | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Validate | Language.Haskell.Liquid.Misc |
| validTyVar | Language.Haskell.Liquid.GHC.Misc |
| VanillaId | Liquid.GHC.API |
| vanillaIdInfo | Liquid.GHC.API |
| Var | |
| 1 (Data Constructor) | Liquid.GHC.API |
| 2 (Type/Class) | Liquid.GHC.API |
| 3 (Data Constructor) | Language.Haskell.Liquid.GHC.SpanStack |
| var | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| VarBndr | Liquid.GHC.API |
| Varia | Language.Haskell.Liquid.Parse |
| Variance | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| VarianceInfo | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| variancePsArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| varianceTyArgs | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| varLocInfo | Language.Haskell.Liquid.GHC.Misc |
| varMeasures | Language.Haskell.Liquid.Bare.Measure |
| varName | Liquid.GHC.API |
| VarOrLocSymbol | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| varQual_RDR | Liquid.GHC.API |
| varRSort | Language.Haskell.Liquid.Bare.Types |
| VarSet | Liquid.GHC.API |
| varSortedReft | Language.Haskell.Liquid.Bare.Types |
| varTemplate | Language.Haskell.Liquid.Constraint.Template |
| varType | Liquid.GHC.API |
| varUnique | Liquid.GHC.API |
| vbar | Liquid.GHC.API |
| vcat | Liquid.GHC.API |
| version | Paths_liquidhaskell_boot |
| VisArg | Liquid.GHC.API |
| vmap | Language.Haskell.Liquid.Bare.Misc |
| Warning | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| WarnReason | Liquid.GHC.API |
| weakenResult | Language.Haskell.Liquid.Transforms.CoreToLogic |
| WfC | |
| 1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
| whenPprDebug | Liquid.GHC.API |
| WhereFrom | Liquid.GHC.API |
| wiredDataCons | Language.Haskell.Liquid.WiredIn |
| wiredReflects | Language.Haskell.Liquid.Bare.Axiom |
| wiredSortedSyms | Language.Haskell.Liquid.WiredIn |
| wiredTyCons | Language.Haskell.Liquid.WiredIn |
| withErrStyle | Liquid.GHC.API |
| WithModel | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| withPprStyle | Liquid.GHC.API |
| withPragmas | Language.Haskell.Liquid.UX.CmdLine |
| withSession | Liquid.GHC.API |
| withTiming | Liquid.GHC.API |
| withUserStyle | Liquid.GHC.API |
| withWiredIn | Language.Haskell.Liquid.GHC.Misc |
| word | Liquid.GHC.API |
| World | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| wrapParens | Language.Haskell.Liquid.GHC.Misc |
| xopt_set | Liquid.GHC.API |
| zip4 | Language.Haskell.Liquid.Misc |
| zip5 | Language.Haskell.Liquid.Misc |
| zipMaybe | Language.Haskell.Liquid.Misc |
| zipWithDef | Language.Haskell.Liquid.Misc |
| zipWithDefM | Language.Haskell.Liquid.Misc |
| zonkTopLExpr | Liquid.GHC.API |
| ztext | Liquid.GHC.API |
| _giCbs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giDefVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giDerVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giImpVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giTarget | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giTargetMod | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _giUseVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsAllImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsCls | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsConfig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsData | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsExports | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsFiDcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsFiTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsLaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsLSpec | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsName | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsPrimTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsQual | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsQualImps | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsRefl | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsSig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsTcs | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsTerm | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsTyThings | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _gsVars | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| _reSubst | Language.Haskell.Liquid.Bare.Types |
| _reTyThings | Language.Haskell.Liquid.Bare.Types |