| ial | Language.Haskell.Liquid.Constraint.Types |
| ialiases | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| IAmALoopBreaker | Language.Haskell.Liquid.GHC.API |
| IAmDead | Language.Haskell.Liquid.GHC.API |
| icExtendGblRdrEnv | Language.Haskell.Liquid.GHC.API |
| icInScopeTTs | Language.Haskell.Liquid.GHC.API |
| icInteractiveModule | Language.Haskell.Liquid.GHC.API |
| icPrintUnqual | Language.Haskell.Liquid.GHC.API |
| ic_cwd | Language.Haskell.Liquid.GHC.API |
| ic_default | Language.Haskell.Liquid.GHC.API |
| ic_dflags | Language.Haskell.Liquid.GHC.API |
| ic_fix_env | Language.Haskell.Liquid.GHC.API |
| ic_imports | Language.Haskell.Liquid.GHC.API |
| ic_instances | Language.Haskell.Liquid.GHC.API |
| ic_int_print | Language.Haskell.Liquid.GHC.API |
| ic_mod_index | Language.Haskell.Liquid.GHC.API |
| ic_monad | Language.Haskell.Liquid.GHC.API |
| ic_resume | Language.Haskell.Liquid.GHC.API |
| ic_rn_gbl_env | Language.Haskell.Liquid.GHC.API |
| ic_tythings | Language.Haskell.Liquid.GHC.API |
| Id | Language.Haskell.Liquid.GHC.API |
| idArity | Language.Haskell.Liquid.GHC.API |
| idCafInfo | Language.Haskell.Liquid.GHC.API |
| idCallArity | Language.Haskell.Liquid.GHC.API |
| idCoreRules | Language.Haskell.Liquid.GHC.API |
| idDataCon | Language.Haskell.Liquid.GHC.API |
| idDataConM | Language.Haskell.Liquid.GHC.Misc |
| idDemandInfo | Language.Haskell.Liquid.GHC.API |
| idDetails | Language.Haskell.Liquid.GHC.API |
| ideclAs | Language.Haskell.Liquid.GHC.API |
| ideclExt | Language.Haskell.Liquid.GHC.API |
| ideclHiding | Language.Haskell.Liquid.GHC.API |
| ideclImplicit | Language.Haskell.Liquid.GHC.API |
| ideclName | Language.Haskell.Liquid.GHC.API |
| ideclPkgQual | Language.Haskell.Liquid.GHC.API |
| ideclQualified | Language.Haskell.Liquid.GHC.API |
| ideclSafe | Language.Haskell.Liquid.GHC.API |
| ideclSource | Language.Haskell.Liquid.GHC.API |
| ideclSourceSrc | Language.Haskell.Liquid.GHC.API |
| identicalClsInstHead | Language.Haskell.Liquid.GHC.API |
| idFunRepArity | Language.Haskell.Liquid.GHC.API |
| idHasRules | Language.Haskell.Liquid.GHC.API |
| idInfo | Language.Haskell.Liquid.GHC.API |
| idInlineActivation | Language.Haskell.Liquid.GHC.API |
| idInlinePragma | Language.Haskell.Liquid.GHC.API |
| idirs | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| idIsFrom | Language.Haskell.Liquid.GHC.API |
| idJoinArity | Language.Haskell.Liquid.GHC.API |
| idName | Language.Haskell.Liquid.GHC.API |
| idOccInfo | Language.Haskell.Liquid.GHC.API |
| idOneShotInfo | Language.Haskell.Liquid.GHC.API |
| IdP | Language.Haskell.Liquid.GHC.API |
| idRuleMatchInfo | Language.Haskell.Liquid.GHC.API |
| IdSig | Language.Haskell.Liquid.GHC.API |
| IdSizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| idSpecialisation | Language.Haskell.Liquid.GHC.API |
| idStateHackOneShotInfo | Language.Haskell.Liquid.GHC.API |
| idStrictness | Language.Haskell.Liquid.GHC.API |
| idType | Language.Haskell.Liquid.GHC.API |
| idUnfolding | Language.Haskell.Liquid.GHC.API |
| IdUnfoldingFun | Language.Haskell.Liquid.GHC.API |
| idUnique | Language.Haskell.Liquid.GHC.API |
| IE | Language.Haskell.Liquid.GHC.API |
| IEDoc | Language.Haskell.Liquid.GHC.API |
| IEDocNamed | Language.Haskell.Liquid.GHC.API |
| IEGroup | Language.Haskell.Liquid.GHC.API |
| ieLWrappedName | Language.Haskell.Liquid.GHC.API |
| IEModuleContents | Language.Haskell.Liquid.GHC.API |
| IEName | Language.Haskell.Liquid.GHC.API |
| ieName | Language.Haskell.Liquid.GHC.API |
| ieNames | Language.Haskell.Liquid.GHC.API |
| IEPattern | Language.Haskell.Liquid.GHC.API |
| IEThingAbs | Language.Haskell.Liquid.GHC.API |
| IEThingAll | Language.Haskell.Liquid.GHC.API |
| IEThingWith | Language.Haskell.Liquid.GHC.API |
| IEType | Language.Haskell.Liquid.GHC.API |
| IEVar | Language.Haskell.Liquid.GHC.API |
| IEWildcard | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| IEWrappedName | Language.Haskell.Liquid.GHC.API |
| ieWrappedName | Language.Haskell.Liquid.GHC.API |
| ie_global | Language.Haskell.Liquid.GHC.API |
| ie_local | Language.Haskell.Liquid.GHC.API |
| ie_visible | Language.Haskell.Liquid.GHC.API |
| IfaceExport | Language.Haskell.Liquid.GHC.API |
| IfaceTrustInfo | Language.Haskell.Liquid.GHC.API |
| IfAlt | Language.Haskell.Liquid.GHC.API |
| ifGeneratingDynamicToo | Language.Haskell.Liquid.GHC.API |
| ifM | Language.Haskell.Liquid.Misc |
| 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 |
| IgnorePackage | Language.Haskell.Liquid.GHC.API |
| IgnorePackageFlag | Language.Haskell.Liquid.GHC.API |
| ignorePackageFlags | Language.Haskell.Liquid.GHC.API |
| ignoreParens | Language.Haskell.Liquid.GHC.API |
| ignores | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| IIDecl | Language.Haskell.Liquid.GHC.API |
| IIModule | Language.Haskell.Liquid.GHC.API |
| IL | Language.Haskell.Liquid.GHC.API |
| ILaws | Language.Haskell.Liquid.Parse |
| ilaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| iLDV_CREATE_MASK | Language.Haskell.Liquid.GHC.API |
| iLDV_STATE_CREATE | Language.Haskell.Liquid.GHC.API |
| iLDV_STATE_USE | Language.Haskell.Liquid.GHC.API |
| il_neg | Language.Haskell.Liquid.GHC.API |
| il_text | Language.Haskell.Liquid.GHC.API |
| il_value | Language.Haskell.Liquid.GHC.API |
| 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 | Language.Haskell.Liquid.GHC.API |
| ImpDeclSpec | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| ImpItemSpec | Language.Haskell.Liquid.GHC.API |
| ImplicitBidirectional | Language.Haskell.Liquid.GHC.API |
| implicitClassThings | Language.Haskell.Liquid.GHC.API |
| ImplicitSplice | Language.Haskell.Liquid.GHC.API |
| implicitTyConThings | Language.Haskell.Liquid.GHC.API |
| implicitTyThings | Language.Haskell.Liquid.GHC.API |
| ImplictE | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| ImportDecl | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| ImportDeclQualifiedStyle | Language.Haskell.Liquid.GHC.API |
| importDeclQualifiedStyle | Language.Haskell.Liquid.GHC.API |
| ImportedBy | Language.Haskell.Liquid.GHC.API |
| ImportedBySystem | Language.Haskell.Liquid.GHC.API |
| ImportedByUser | Language.Haskell.Liquid.GHC.API |
| importedByUser | Language.Haskell.Liquid.GHC.API |
| ImportedMods | Language.Haskell.Liquid.GHC.API |
| ImportedModsVal | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| importPaths | Language.Haskell.Liquid.GHC.API |
| imports | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| ImportSpec | Language.Haskell.Liquid.GHC.API |
| importSpecLoc | Language.Haskell.Liquid.GHC.API |
| importSpecModule | Language.Haskell.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 |
| ImpSome | Language.Haskell.Liquid.GHC.API |
| ImpSpec | Language.Haskell.Liquid.GHC.API |
| Impt | Language.Haskell.Liquid.Parse |
| imv_all_exports | Language.Haskell.Liquid.GHC.API |
| imv_is_hiding | Language.Haskell.Liquid.GHC.API |
| imv_is_safe | Language.Haskell.Liquid.GHC.API |
| imv_name | Language.Haskell.Liquid.GHC.API |
| imv_qualified | Language.Haskell.Liquid.GHC.API |
| imv_span | Language.Haskell.Liquid.GHC.API |
| InAlt | Language.Haskell.Liquid.GHC.API |
| iname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| InArg | Language.Haskell.Liquid.GHC.API |
| InBind | Language.Haskell.Liquid.GHC.API |
| InBndr | Language.Haskell.Liquid.GHC.API |
| inCharRange | Language.Haskell.Liquid.GHC.API |
| Incl | Language.Haskell.Liquid.Parse |
| includePaths | Language.Haskell.Liquid.GHC.API |
| includePathsGlobal | Language.Haskell.Liquid.GHC.API |
| includePathsQuote | Language.Haskell.Liquid.GHC.API |
| includes | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| IncludeSpecs | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| InCoercion | Language.Haskell.Liquid.GHC.API |
| Incoherent | Language.Haskell.Liquid.GHC.API |
| incoherentOnLoc | Language.Haskell.Liquid.GHC.API |
| InCoVar | Language.Haskell.Liquid.GHC.API |
| incrCase | Language.Haskell.Liquid.Synthesize.Monad |
| incrSM | Language.Haskell.Liquid.Synthesize.Monad |
| IndefiniteUnitId | Language.Haskell.Liquid.GHC.API |
| IndefModule | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| indefModuleName | Language.Haskell.Liquid.GHC.API |
| indefModuleToModule | Language.Haskell.Liquid.GHC.API |
| indefModuleUnitId | Language.Haskell.Liquid.GHC.API |
| IndefUnitId | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| indefUnitIdComponentId | Language.Haskell.Liquid.GHC.API |
| indefUnitIdFreeHoles | Language.Haskell.Liquid.GHC.API |
| indefUnitIdFS | Language.Haskell.Liquid.GHC.API |
| indefUnitIdInsts | Language.Haskell.Liquid.GHC.API |
| indefUnitIdKey | Language.Haskell.Liquid.GHC.API |
| indefUnitIdToUnitId | Language.Haskell.Liquid.GHC.API |
| indent | Language.Haskell.Liquid.Synthesize.GHC |
| InExpr | Language.Haskell.Liquid.GHC.API |
| Inferred | Language.Haskell.Liquid.GHC.API |
| infinity | Language.Haskell.Liquid.GHC.API |
| Infix | Language.Haskell.Liquid.GHC.API |
| InfixCon | Language.Haskell.Liquid.GHC.API |
| InfixL | Language.Haskell.Liquid.GHC.API |
| InfixN | Language.Haskell.Liquid.GHC.API |
| InfixR | Language.Haskell.Liquid.GHC.API |
| info | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| infoTablePenalty | Language.Haskell.Liquid.GHC.API |
| InId | Language.Haskell.Liquid.GHC.API |
| inIntRange | Language.Haskell.Liquid.GHC.API |
| initCGI | Language.Haskell.Liquid.Constraint.Init |
| initDynFlags | Language.Haskell.Liquid.GHC.API |
| initEnv | Language.Haskell.Liquid.Constraint.Init |
| initExitJoinUnique | Language.Haskell.Liquid.GHC.API |
| initExprMem | Language.Haskell.Liquid.Synthesize.Monad |
| initFEnv | Language.Haskell.Liquid.Constraint.Types |
| initGhcMonad | Language.Haskell.Liquid.GHC.API |
| initial | Language.Haskell.Liquid.Interactive.Handler |
| InitialPhase | Language.Haskell.Liquid.GHC.API |
| initialUnique | Language.Haskell.Liquid.GHC.API |
| initialVersion | Language.Haskell.Liquid.GHC.API |
| initRecTc | Language.Haskell.Liquid.GHC.API |
| initSSEnv | Language.Haskell.Liquid.Synthesize.Env |
| initState | Language.Haskell.Liquid.Synthesize.Monad |
| initTidyOccEnv | Language.Haskell.Liquid.GHC.API |
| initTyVarUnique | Language.Haskell.Liquid.GHC.API |
| Injective | Language.Haskell.Liquid.GHC.API |
| Injectivity | Language.Haskell.Liquid.GHC.API |
| InjectivityAnn | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| InKind | Language.Haskell.Liquid.GHC.API |
| Inlinable | Language.Haskell.Liquid.GHC.API |
| Inline | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Data Constructor) | Language.Haskell.Liquid.Parse |
| inlineCheck | Language.Haskell.Liquid.GHC.API |
| InlineCompulsory | Language.Haskell.Liquid.GHC.API |
| InlinePragma | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| inlinePragmaActivation | Language.Haskell.Liquid.GHC.API |
| inlinePragmaRuleMatchInfo | Language.Haskell.Liquid.GHC.API |
| inlinePragmaSat | Language.Haskell.Liquid.GHC.API |
| inlinePragmaSpec | Language.Haskell.Liquid.GHC.API |
| InlineRhs | Language.Haskell.Liquid.GHC.API |
| inlines | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| InlineSig | Language.Haskell.Liquid.GHC.API |
| InlineSpec | Language.Haskell.Liquid.GHC.API |
| inlineSpecType | Language.Haskell.Liquid.Transforms.CoreToLogic |
| InlineStable | Language.Haskell.Liquid.GHC.API |
| inLocalRdrEnvScope | Language.Haskell.Liquid.GHC.API |
| inl_act | Language.Haskell.Liquid.GHC.API |
| inl_inline | Language.Haskell.Liquid.GHC.API |
| inl_rule | Language.Haskell.Liquid.GHC.API |
| inl_sat | Language.Haskell.Liquid.GHC.API |
| inl_src | Language.Haskell.Liquid.GHC.API |
| innerScTr | Language.Haskell.Liquid.Transforms.Rec |
| InPat | Language.Haskell.Liquid.GHC.API |
| InputFileBuffer | Language.Haskell.Liquid.GHC.API |
| InScopeEnv | Language.Haskell.Liquid.GHC.API |
| insEMem0 | Language.Haskell.Liquid.Synthesize.Monad |
| insertREnv | Language.Haskell.Liquid.Constraint.Env |
| insertsFEnv | Language.Haskell.Liquid.Constraint.Types |
| insertsSEnv | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| InsideLam | Language.Haskell.Liquid.GHC.API |
| insideLam | Language.Haskell.Liquid.GHC.API |
| InstallationError | Language.Haskell.Liquid.GHC.API |
| InstalledFindResult | Language.Haskell.Liquid.GHC.API |
| InstalledFound | Language.Haskell.Liquid.GHC.API |
| InstalledModule | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| InstalledModuleEnv | Language.Haskell.Liquid.GHC.API |
| installedModuleEq | Language.Haskell.Liquid.GHC.API |
| installedModuleName | Language.Haskell.Liquid.GHC.API |
| installedModuleUnitId | Language.Haskell.Liquid.GHC.API |
| InstalledNoPackage | Language.Haskell.Liquid.GHC.API |
| InstalledNotFound | Language.Haskell.Liquid.GHC.API |
| InstalledUnitId | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| installedUnitIdEq | Language.Haskell.Liquid.GHC.API |
| installedUnitIdFS | Language.Haskell.Liquid.GHC.API |
| installedUnitIdString | Language.Haskell.Liquid.GHC.API |
| instanceBindFun | Language.Haskell.Liquid.GHC.API |
| instanceCantMatch | Language.Haskell.Liquid.GHC.API |
| instanceDFunId | Language.Haskell.Liquid.GHC.API |
| instanceHead | Language.Haskell.Liquid.GHC.API |
| instanceRoughTcs | Language.Haskell.Liquid.GHC.API |
| instanceSig | Language.Haskell.Liquid.GHC.API |
| instantiate | Language.Haskell.Liquid.Synthesize.Monad |
| instantiateTL | Language.Haskell.Liquid.Synthesize.Monad |
| instantiateTy | Language.Haskell.Liquid.Synthesize.Monad |
| InstCo | Language.Haskell.Liquid.GHC.API |
| InstD | Language.Haskell.Liquid.GHC.API |
| InstDecl | Language.Haskell.Liquid.GHC.API |
| instDeclDataFamInsts | Language.Haskell.Liquid.GHC.API |
| InstEnv | Language.Haskell.Liquid.GHC.API |
| instEnvClasses | Language.Haskell.Liquid.GHC.API |
| instEnvElts | Language.Haskell.Liquid.GHC.API |
| InstEnvs | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| instIsVisible | Language.Haskell.Liquid.GHC.API |
| InstMatch | Language.Haskell.Liquid.GHC.API |
| Insts | Language.Haskell.Liquid.Parse |
| insts | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| Int16ElemRep | Language.Haskell.Liquid.GHC.API |
| int16ElemRepDataConTy | Language.Haskell.Liquid.GHC.API |
| int16PrimTy | Language.Haskell.Liquid.GHC.API |
| int16PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int16PrimTyConName | Language.Haskell.Liquid.GHC.API |
| Int16Rep | Language.Haskell.Liquid.GHC.API |
| int16RepDataConTy | Language.Haskell.Liquid.GHC.API |
| int16X16PrimTy | Language.Haskell.Liquid.GHC.API |
| int16X16PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int16X32PrimTy | Language.Haskell.Liquid.GHC.API |
| int16X32PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int16X8PrimTy | Language.Haskell.Liquid.GHC.API |
| int16X8PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int2CharLit | Language.Haskell.Liquid.GHC.API |
| int2DoubleLit | Language.Haskell.Liquid.GHC.API |
| int2FloatLit | Language.Haskell.Liquid.GHC.API |
| int2WordLit | Language.Haskell.Liquid.GHC.API |
| Int32ElemRep | Language.Haskell.Liquid.GHC.API |
| int32ElemRepDataConTy | Language.Haskell.Liquid.GHC.API |
| int32PrimTy | Language.Haskell.Liquid.GHC.API |
| int32PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int32PrimTyConName | Language.Haskell.Liquid.GHC.API |
| Int32Rep | Language.Haskell.Liquid.GHC.API |
| int32RepDataConTy | Language.Haskell.Liquid.GHC.API |
| int32X16PrimTy | Language.Haskell.Liquid.GHC.API |
| int32X16PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int32X4PrimTy | Language.Haskell.Liquid.GHC.API |
| int32X4PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int32X8PrimTy | Language.Haskell.Liquid.GHC.API |
| int32X8PrimTyCon | Language.Haskell.Liquid.GHC.API |
| Int64ElemRep | Language.Haskell.Liquid.GHC.API |
| int64ElemRepDataConTy | Language.Haskell.Liquid.GHC.API |
| int64PrimTy | Language.Haskell.Liquid.GHC.API |
| int64PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int64PrimTyConName | Language.Haskell.Liquid.GHC.API |
| Int64Rep | Language.Haskell.Liquid.GHC.API |
| int64RepDataConTy | Language.Haskell.Liquid.GHC.API |
| int64X2PrimTy | Language.Haskell.Liquid.GHC.API |
| int64X2PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int64X4PrimTy | Language.Haskell.Liquid.GHC.API |
| int64X4PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int64X8PrimTy | Language.Haskell.Liquid.GHC.API |
| int64X8PrimTyCon | Language.Haskell.Liquid.GHC.API |
| Int8ElemRep | Language.Haskell.Liquid.GHC.API |
| int8ElemRepDataConTy | Language.Haskell.Liquid.GHC.API |
| int8PrimTy | Language.Haskell.Liquid.GHC.API |
| int8PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int8PrimTyConName | Language.Haskell.Liquid.GHC.API |
| Int8Rep | Language.Haskell.Liquid.GHC.API |
| int8RepDataConTy | Language.Haskell.Liquid.GHC.API |
| int8X16PrimTy | Language.Haskell.Liquid.GHC.API |
| int8X16PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int8X32PrimTy | Language.Haskell.Liquid.GHC.API |
| int8X32PrimTyCon | Language.Haskell.Liquid.GHC.API |
| int8X64PrimTy | Language.Haskell.Liquid.GHC.API |
| int8X64PrimTyCon | Language.Haskell.Liquid.GHC.API |
| intDataCon | Language.Haskell.Liquid.GHC.API |
| intDataCon_RDR | Language.Haskell.Liquid.GHC.API |
| IntegerGMP | Language.Haskell.Liquid.GHC.API |
| IntegerLibrary | Language.Haskell.Liquid.GHC.API |
| integerLibrary | Language.Haskell.Liquid.GHC.API |
| IntegerSimple | Language.Haskell.Liquid.GHC.API |
| integerUnitId | Language.Haskell.Liquid.GHC.API |
| integralFractionalLit | Language.Haskell.Liquid.GHC.API |
| IntegralLit | Language.Haskell.Liquid.GHC.API |
| InteractiveContext | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| InteractiveImport | Language.Haskell.Liquid.GHC.API |
| InteractiveName | Language.Haskell.Liquid.GHC.API |
| interactivePrint | Language.Haskell.Liquid.GHC.API |
| interactiveSrcLoc | Language.Haskell.Liquid.GHC.API |
| interactiveSrcSpan | Language.Haskell.Liquid.GHC.API |
| interactiveUnitId | Language.Haskell.Liquid.GHC.API |
| InterestingCxt | Language.Haskell.Liquid.GHC.API |
| interpreterDynamic | Language.Haskell.Liquid.GHC.API |
| interpreterProfiled | Language.Haskell.Liquid.GHC.API |
| interpWays | Language.Haskell.Liquid.GHC.API |
| intersectFVs | Language.Haskell.Liquid.GHC.API |
| intersectModuleSet | Language.Haskell.Liquid.GHC.API |
| intersectNameSet | Language.Haskell.Liquid.GHC.API |
| intersectOccSet | Language.Haskell.Liquid.GHC.API |
| intersectsNameSet | Language.Haskell.Liquid.GHC.API |
| intersectsOccSet | Language.Haskell.Liquid.GHC.API |
| intGtLimit | Language.Haskell.Liquid.GHC.API |
| intPrimTy | Language.Haskell.Liquid.GHC.API |
| intPrimTyCon | Language.Haskell.Liquid.GHC.API |
| intPrimTyConName | Language.Haskell.Liquid.GHC.API |
| IntRep | Language.Haskell.Liquid.GHC.API |
| intRepDataConTy | Language.Haskell.Liquid.GHC.API |
| intToString | Language.Haskell.Liquid.Misc |
| intTy | Language.Haskell.Liquid.GHC.API |
| intTyCon | Language.Haskell.Liquid.GHC.API |
| intTyConName | Language.Haskell.Liquid.GHC.API |
| intTyCon_RDR | Language.Haskell.Liquid.GHC.API |
| IntWithInf | Language.Haskell.Liquid.GHC.API |
| InType | Language.Haskell.Liquid.GHC.API |
| intys | Language.Haskell.Liquid.Constraint.Types |
| InTyVar | Language.Haskell.Liquid.GHC.API |
| inv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| InVar | Language.Haskell.Liquid.GHC.API |
| Invariant | Language.Haskell.Liquid.Types.Variance, Language.Haskell.Liquid.Types |
| invariants | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types |
| InvisArg | Language.Haskell.Liquid.GHC.API |
| invisibleTyBndrCount | Language.Haskell.Liquid.GHC.API |
| invs | Language.Haskell.Liquid.Constraint.Types |
| Invt | Language.Haskell.Liquid.Parse |
| inWordRange | Language.Haskell.Liquid.GHC.API |
| ioMsgMaybe | Language.Haskell.Liquid.GHC.API |
| IPBind | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| IPBinds | Language.Haskell.Liquid.GHC.API |
| IpId | Language.Haskell.Liquid.GHC.API |
| isAbstractClass | Language.Haskell.Liquid.GHC.API |
| isAbstractTyCon | Language.Haskell.Liquid.GHC.API |
| isActive | Language.Haskell.Liquid.GHC.API |
| isActiveIn | Language.Haskell.Liquid.GHC.API |
| isAlgTyCon | Language.Haskell.Liquid.GHC.API |
| isAlgType | Language.Haskell.Liquid.GHC.API |
| isAlwaysActive | Language.Haskell.Liquid.GHC.API |
| isAlwaysTailCalled | Language.Haskell.Liquid.GHC.API |
| isAnonBinder | Language.Haskell.Liquid.GHC.Misc |
| isAnonTyCoBinder | Language.Haskell.Liquid.GHC.API |
| isAnyInlinePragma | Language.Haskell.Liquid.GHC.API |
| isAtomicHsExpr | Language.Haskell.Liquid.GHC.API |
| isAutoRule | Language.Haskell.Liquid.GHC.API |
| isAvx2Enabled | Language.Haskell.Liquid.GHC.API |
| isAvx512cdEnabled | Language.Haskell.Liquid.GHC.API |
| isAvx512erEnabled | Language.Haskell.Liquid.GHC.API |
| isAvx512fEnabled | Language.Haskell.Liquid.GHC.API |
| isAvx512pfEnabled | Language.Haskell.Liquid.GHC.API |
| isAvxEnabled | Language.Haskell.Liquid.GHC.API |
| isBanged | Language.Haskell.Liquid.GHC.API |
| isBangedHsBind | Language.Haskell.Liquid.GHC.API |
| isBangedLPat | Language.Haskell.Liquid.GHC.API |
| 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 |
| isBmi2Enabled | Language.Haskell.Liquid.GHC.API |
| isBmiEnabled | Language.Haskell.Liquid.GHC.API |
| isBool | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| IsBootInterface | Language.Haskell.Liquid.GHC.API |
| isBootSummary | Language.Haskell.Liquid.GHC.API |
| isBootUnfolding | Language.Haskell.Liquid.GHC.API |
| isBottomingId | Language.Haskell.Liquid.GHC.API |
| isBoxed | Language.Haskell.Liquid.GHC.API |
| isBoxedTupleTyCon | Language.Haskell.Liquid.GHC.API |
| isBuiltInOcc_maybe | Language.Haskell.Liquid.GHC.API |
| isBuiltinRule | Language.Haskell.Liquid.GHC.API |
| isBuiltInSynFamTyCon_maybe | Language.Haskell.Liquid.GHC.API |
| isBuiltInSyntax | Language.Haskell.Liquid.GHC.API |
| isCheapUnfolding | Language.Haskell.Liquid.GHC.API |
| isClass | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isClassBTyCon | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isClassDecl | Language.Haskell.Liquid.GHC.API |
| isClassOpId_maybe | Language.Haskell.Liquid.GHC.API |
| isClassPred | Language.Haskell.Liquid.GHC.API |
| isClassTyCon | Language.Haskell.Liquid.GHC.API |
| isClassType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isClosedSynFamilyTyConWithAxiom_maybe | Language.Haskell.Liquid.GHC.API |
| isClosedTypeFamilyInfo | Language.Haskell.Liquid.GHC.API |
| isCoArg | Language.Haskell.Liquid.GHC.API |
| isCoercionTy | Language.Haskell.Liquid.GHC.API |
| isCoercionTy_maybe | Language.Haskell.Liquid.GHC.API |
| isCompleteMatchSig | Language.Haskell.Liquid.GHC.API |
| isComprehensionContext | Language.Haskell.Liquid.GHC.API |
| isCompulsoryUnfolding | Language.Haskell.Liquid.GHC.API |
| isConLike | Language.Haskell.Liquid.GHC.API |
| isConLikeId | Language.Haskell.Liquid.GHC.API |
| isConLikeUnfolding | Language.Haskell.Liquid.GHC.API |
| isConstraintKindCon | Language.Haskell.Liquid.GHC.API |
| isCoVar | Language.Haskell.Liquid.GHC.API |
| isCoVarType | Language.Haskell.Liquid.GHC.API |
| isCTupleTyConName | Language.Haskell.Liquid.GHC.API |
| IsData | Language.Haskell.Liquid.GHC.API |
| isDataConId | Language.Haskell.Liquid.GHC.Misc |
| isDataConId_maybe | Language.Haskell.Liquid.GHC.API |
| isDataConName | Language.Haskell.Liquid.GHC.API |
| isDataConNameSpace | Language.Haskell.Liquid.GHC.API |
| isDataConRecordSelector | Language.Haskell.Liquid.GHC.API |
| isDataConWorkId | Language.Haskell.Liquid.GHC.API |
| isDataConWorkId_maybe | Language.Haskell.Liquid.GHC.API |
| isDataConWrapId | Language.Haskell.Liquid.GHC.API |
| isDataConWrapId_maybe | Language.Haskell.Liquid.GHC.API |
| isDataDecl | Language.Haskell.Liquid.GHC.API |
| isDataFamilyAppType | Language.Haskell.Liquid.GHC.API |
| isDataFamilyDecl | Language.Haskell.Liquid.GHC.API |
| isDataFamilyTyCon | Language.Haskell.Liquid.GHC.API |
| isDataOcc | Language.Haskell.Liquid.GHC.API |
| isDataProductTyCon_maybe | Language.Haskell.Liquid.GHC.API |
| isDataSumTyCon_maybe | Language.Haskell.Liquid.GHC.API |
| isDataSymOcc | Language.Haskell.Liquid.GHC.API |
| isDataTyCon | Language.Haskell.Liquid.GHC.API |
| isDeadBinder | Language.Haskell.Liquid.GHC.API |
| isDeadOcc | Language.Haskell.Liquid.GHC.API |
| isDecl | Language.Haskell.Liquid.GHC.API |
| isDecreasing | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isDecreasing' | Language.Haskell.Liquid.Synthesize.Monad |
| isDefaultInlinePragma | Language.Haskell.Liquid.GHC.API |
| IsDefaultMethod | Language.Haskell.Liquid.GHC.API |
| isDefaultMethod | Language.Haskell.Liquid.GHC.API |
| isDefaultMethodOcc | Language.Haskell.Liquid.GHC.API |
| isDerivedInstance | Language.Haskell.Liquid.WiredIn |
| isDerivedOccName | Language.Haskell.Liquid.GHC.API |
| isDFunId | Language.Haskell.Liquid.GHC.API |
| isDictionary | Language.Haskell.Liquid.GHC.Misc |
| isDictionaryExpression | Language.Haskell.Liquid.GHC.Misc |
| isDictonaryId | Language.Haskell.Liquid.GHC.API |
| isDummy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEarlyActive | Language.Haskell.Liquid.GHC.API |
| isEmptyFVs | Language.Haskell.Liquid.GHC.API |
| isEmptyIPBindsPR | Language.Haskell.Liquid.GHC.API |
| isEmptyIPBindsTc | Language.Haskell.Liquid.GHC.API |
| isEmptyLHsBinds | Language.Haskell.Liquid.GHC.API |
| isEmptyLHsQTvs | Language.Haskell.Liquid.GHC.API |
| isEmptyLocalBindsPR | Language.Haskell.Liquid.GHC.API |
| isEmptyLocalBindsTc | Language.Haskell.Liquid.GHC.API |
| isEmptyMatchGroup | Language.Haskell.Liquid.GHC.API |
| isEmptyMessages | Language.Haskell.Liquid.GHC.API |
| isEmptyModuleEnv | Language.Haskell.Liquid.GHC.API |
| isEmptyNameSet | Language.Haskell.Liquid.GHC.API |
| isEmptyOccSet | Language.Haskell.Liquid.GHC.API |
| isEmptyTCvSubst | Language.Haskell.Liquid.GHC.API |
| isEmptyValBinds | Language.Haskell.Liquid.GHC.API |
| isEnumerationTyCon | Language.Haskell.Liquid.GHC.API |
| isEqPred | Language.Haskell.Liquid.GHC.API |
| isEqPrimPred | Language.Haskell.Liquid.GHC.API |
| isEqType | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isEqual | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| IServ | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| iservLookupSymbolCache | Language.Haskell.Liquid.GHC.API |
| iservPendingFrees | Language.Haskell.Liquid.GHC.API |
| iservPipe | Language.Haskell.Liquid.GHC.API |
| iservProcess | Language.Haskell.Liquid.GHC.API |
| isEvaldUnfolding | Language.Haskell.Liquid.GHC.API |
| isEvVar | Language.Haskell.Liquid.GHC.Misc |
| isEvVarType | Language.Haskell.Liquid.GHC.API |
| isExact | Language.Haskell.Liquid.GHC.API |
| isExact_maybe | Language.Haskell.Liquid.GHC.API |
| isExpandableUnfolding | Language.Haskell.Liquid.GHC.API |
| isExplicitItem | Language.Haskell.Liquid.GHC.API |
| isExportedId | Language.Haskell.Liquid.GHC.API |
| isExportedVar | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| isExternalName | Language.Haskell.Liquid.GHC.API |
| isFamFreeTy | Language.Haskell.Liquid.GHC.API |
| isFamFreeTyCon | Language.Haskell.Liquid.GHC.API |
| isFamilyDecl | Language.Haskell.Liquid.GHC.API |
| isFamilyTyCon | Language.Haskell.Liquid.GHC.API |
| isFamInstTyCon | Language.Haskell.Liquid.GHC.API |
| isFCallId | Language.Haskell.Liquid.GHC.API |
| isFCallId_maybe | Language.Haskell.Liquid.GHC.API |
| isFeasible | Language.Haskell.Liquid.Synthesize.Generate |
| isFixityLSig | Language.Haskell.Liquid.GHC.API |
| isForAllTy | Language.Haskell.Liquid.GHC.API |
| isForAllTy_co | Language.Haskell.Liquid.GHC.API |
| isForAllTy_ty | Language.Haskell.Liquid.GHC.API |
| isFracCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isFractionalClass | Language.Haskell.Liquid.GHC.Misc |
| isFragileUnfolding | Language.Haskell.Liquid.GHC.API |
| isFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| IsFunction | Language.Haskell.Liquid.GHC.API |
| isFunction | Language.Haskell.Liquid.Synthesize.Misc |
| isFunLike | Language.Haskell.Liquid.GHC.API |
| isFunTy | |
| 1 (Function) | Language.Haskell.Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isFunTyCon | Language.Haskell.Liquid.GHC.API |
| isGadtSyntaxTyCon | Language.Haskell.Liquid.GHC.API |
| isGcPtrRep | Language.Haskell.Liquid.GHC.API |
| isGenerated | Language.Haskell.Liquid.GHC.API |
| isGenerativeTyCon | Language.Haskell.Liquid.GHC.API |
| isGenInjAlgRhs | Language.Haskell.Liquid.GHC.API |
| isGlobalId | Language.Haskell.Liquid.GHC.API |
| isGoodSrcSpan | Language.Haskell.Liquid.GHC.API |
| isHole | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isHoleModule | Language.Haskell.Liquid.GHC.API |
| isHoleName | Language.Haskell.Liquid.GHC.API |
| isHoleVar | Language.Haskell.Liquid.GHC.Play |
| isHpcUsed | Language.Haskell.Liquid.GHC.API |
| isHsBootOrSig | Language.Haskell.Liquid.GHC.API |
| isHsigFile | Language.Haskell.Liquid.GHC.API |
| isHsKindedTyVar | Language.Haskell.Liquid.GHC.API |
| isId | Language.Haskell.Liquid.GHC.API |
| isIdTRecBound | Language.Haskell.Liquid.Transforms.Rec |
| isImplicitId | Language.Haskell.Liquid.GHC.API |
| isImplicitTyCon | Language.Haskell.Liquid.GHC.API |
| isImplicitTyThing | Language.Haskell.Liquid.GHC.API |
| isImport | Language.Haskell.Liquid.GHC.API |
| isImportDeclQualified | Language.Haskell.Liquid.GHC.API |
| isInCB | Language.Haskell.Liquid.Synthesize.GHC |
| isIncludeFile | Language.Haskell.Liquid.Misc |
| isIncoherent | Language.Haskell.Liquid.GHC.API |
| isInfixFunBind | Language.Haskell.Liquid.GHC.API |
| isInfixMatch | Language.Haskell.Liquid.GHC.API |
| isInjectiveTyCon | Language.Haskell.Liquid.GHC.API |
| isInlinablePragma | Language.Haskell.Liquid.GHC.API |
| isInlineLSig | Language.Haskell.Liquid.GHC.API |
| isInlinePragma | Language.Haskell.Liquid.GHC.API |
| isInScope | Language.Haskell.Liquid.GHC.API |
| isInteractiveModule | Language.Haskell.Liquid.GHC.API |
| isInternal | Language.Haskell.Liquid.GHC.Misc |
| isInternalName | Language.Haskell.Liquid.GHC.API |
| isInterpretable | Language.Haskell.Liquid.GHC.API |
| isInvisibleArgFlag | Language.Haskell.Liquid.GHC.API |
| isInvisibleBinder | Language.Haskell.Liquid.GHC.API |
| isInvisibleTyConBinder | Language.Haskell.Liquid.GHC.API |
| isIrrefutableHsPat | Language.Haskell.Liquid.GHC.API |
| isJoinId | Language.Haskell.Liquid.GHC.API |
| isJoinId_maybe | Language.Haskell.Liquid.GHC.API |
| isKind | Language.Haskell.Liquid.Bare.Misc |
| isKindLevel | Language.Haskell.Liquid.GHC.API |
| isKindLevPoly | Language.Haskell.Liquid.GHC.API |
| isKindTyCon | Language.Haskell.Liquid.GHC.API |
| isLHsForAllTy | Language.Haskell.Liquid.GHC.API |
| isLiftedRuntimeRep | Language.Haskell.Liquid.GHC.API |
| isLiftedTypeKind | Language.Haskell.Liquid.GHC.API |
| isLiftedTypeKindTyConName | Language.Haskell.Liquid.GHC.API |
| isLiftedType_maybe | Language.Haskell.Liquid.GHC.API |
| isList | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isLitTy | Language.Haskell.Liquid.GHC.API |
| isLitValue | Language.Haskell.Liquid.GHC.API |
| isLitValue_maybe | Language.Haskell.Liquid.GHC.API |
| isLoaded | Language.Haskell.Liquid.GHC.API |
| isLocalGRE | Language.Haskell.Liquid.GHC.API |
| isLocalId | Language.Haskell.Liquid.GHC.API |
| isLocalRule | Language.Haskell.Liquid.GHC.API |
| isLocalVar | Language.Haskell.Liquid.GHC.API |
| isManyOccs | Language.Haskell.Liquid.GHC.API |
| isMarkedStrict | Language.Haskell.Liquid.GHC.API |
| isMethod | Language.Haskell.Liquid.GHC.Misc |
| isMinimalLSig | Language.Haskell.Liquid.GHC.API |
| isModuleTrusted | Language.Haskell.Liquid.GHC.API |
| isMonadCompContext | Language.Haskell.Liquid.GHC.API |
| isMonadFailStmtContext | Language.Haskell.Liquid.GHC.API |
| isNamedBinder | Language.Haskell.Liquid.GHC.API |
| isNamedTyConBinder | Language.Haskell.Liquid.GHC.API |
| isNaughtyRecordSelector | Language.Haskell.Liquid.GHC.API |
| isNeverActive | Language.Haskell.Liquid.GHC.API |
| isNeverLevPolyId | Language.Haskell.Liquid.GHC.API |
| isNewTyCon | Language.Haskell.Liquid.GHC.API |
| isNoLink | Language.Haskell.Liquid.GHC.API |
| isNonCoVarId | Language.Haskell.Liquid.GHC.API |
| isNonRec | Language.Haskell.Liquid.GHC.API |
| isNoParent | Language.Haskell.Liquid.GHC.API |
| isNotTopLevel | Language.Haskell.Liquid.GHC.API |
| isNullaryRepDataCon | Language.Haskell.Liquid.GHC.API |
| isNullarySrcDataCon | Language.Haskell.Liquid.GHC.API |
| isNumCls | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isNumeric | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isNumLitTy | Language.Haskell.Liquid.GHC.API |
| isObject | Language.Haskell.Liquid.GHC.API |
| isObjectLinkable | Language.Haskell.Liquid.GHC.API |
| isObjectTarget | Language.Haskell.Liquid.GHC.API |
| isOneLineSpan | Language.Haskell.Liquid.GHC.API |
| isOneOcc | Language.Haskell.Liquid.GHC.API |
| isOneShot | Language.Haskell.Liquid.GHC.API |
| isOneShotBndr | Language.Haskell.Liquid.GHC.API |
| isOneShotInfo | Language.Haskell.Liquid.GHC.API |
| isOpenFamilyTyCon | Language.Haskell.Liquid.GHC.API |
| isOpenTypeFamilyInfo | Language.Haskell.Liquid.GHC.API |
| isOpenTypeFamilyTyCon | Language.Haskell.Liquid.GHC.API |
| isOrig | Language.Haskell.Liquid.GHC.API |
| isOrig_maybe | Language.Haskell.Liquid.GHC.API |
| IsOrphan | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| isOrphan | Language.Haskell.Liquid.GHC.API |
| isOverlappable | Language.Haskell.Liquid.GHC.API |
| isOverlapping | Language.Haskell.Liquid.GHC.API |
| isOverloadedRecFldGRE | Language.Haskell.Liquid.GHC.API |
| isParened | Language.Haskell.Liquid.GHC.Misc |
| isPatSynCtxt | Language.Haskell.Liquid.GHC.API |
| isPatSynRecordSelector | Language.Haskell.Liquid.GHC.API |
| isPiTy | Language.Haskell.Liquid.GHC.API |
| isPLEVar | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| isPragLSig | Language.Haskell.Liquid.GHC.API |
| isPredExpr | Language.Haskell.Liquid.GHC.Misc |
| isPredType | Language.Haskell.Liquid.GHC.Misc |
| isPredVar | Language.Haskell.Liquid.GHC.Misc |
| isPrimitiveType | Language.Haskell.Liquid.GHC.API |
| isPrimOpId | Language.Haskell.Liquid.GHC.API |
| isPrimOpId_maybe | Language.Haskell.Liquid.GHC.API |
| isPrimTyCon | Language.Haskell.Liquid.GHC.API |
| isProbablyOneShotLambda | Language.Haskell.Liquid.GHC.API |
| isProductTyCon | Language.Haskell.Liquid.GHC.API |
| IsPromoted | Language.Haskell.Liquid.GHC.API |
| isPromoted | Language.Haskell.Liquid.GHC.API |
| isPromotedDataCon | Language.Haskell.Liquid.GHC.API |
| isPromotedDataCon_maybe | Language.Haskell.Liquid.GHC.API |
| isPromotedTupleTyCon | Language.Haskell.Liquid.GHC.API |
| isPropPV | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isQual | Language.Haskell.Liquid.GHC.API |
| isQualified | Language.Haskell.Liquid.GHC.Misc |
| isQualifiedSym | Language.Haskell.Liquid.GHC.Misc |
| isQual_maybe | Language.Haskell.Liquid.GHC.API |
| isQuietHsCmd | Language.Haskell.Liquid.GHC.API |
| isQuietHsExpr | Language.Haskell.Liquid.GHC.API |
| isRdrDataCon | Language.Haskell.Liquid.GHC.API |
| isRdrTc | Language.Haskell.Liquid.GHC.API |
| isRdrTyVar | Language.Haskell.Liquid.GHC.API |
| isRec | Language.Haskell.Liquid.GHC.API |
| isRecFldGRE | Language.Haskell.Liquid.GHC.API |
| isRecordSelector | Language.Haskell.Liquid.GHC.API |
| isRecursivenewTyCon | Language.Haskell.Liquid.GHC.Play |
| isRuntimeArg | Language.Haskell.Liquid.GHC.API |
| isRuntimeRepKindedTy | Language.Haskell.Liquid.GHC.API |
| isRuntimeRepTy | Language.Haskell.Liquid.GHC.API |
| isRuntimeRepVar | Language.Haskell.Liquid.GHC.API |
| isRuntimeVar | Language.Haskell.Liquid.GHC.API |
| isRVar | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| IsSafeImport | Language.Haskell.Liquid.GHC.API |
| isSafeOverlap | Language.Haskell.Liquid.GHC.API |
| isSCCFunSig | Language.Haskell.Liquid.GHC.API |
| isSingletonMatchGroup | Language.Haskell.Liquid.GHC.API |
| isSizeable | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isSpecImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isSpecInstLSig | Language.Haskell.Liquid.GHC.API |
| isSpecLSig | Language.Haskell.Liquid.GHC.API |
| isSrcImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isSrcRdrName | Language.Haskell.Liquid.GHC.API |
| isSrcStrict | Language.Haskell.Liquid.GHC.API |
| isSrcUnpacked | Language.Haskell.Liquid.GHC.API |
| isSse2Enabled | Language.Haskell.Liquid.GHC.API |
| isSse4_2Enabled | Language.Haskell.Liquid.GHC.API |
| isSseEnabled | Language.Haskell.Liquid.GHC.API |
| isStableSource | Language.Haskell.Liquid.GHC.API |
| isStableUnfolding | Language.Haskell.Liquid.GHC.API |
| isStateHackType | Language.Haskell.Liquid.GHC.API |
| isStmt | Language.Haskell.Liquid.GHC.API |
| isStrictId | Language.Haskell.Liquid.GHC.API |
| isStrictType | Language.Haskell.Liquid.GHC.API |
| isStrLitTy | Language.Haskell.Liquid.GHC.API |
| isStrongLoopBreaker | Language.Haskell.Liquid.GHC.API |
| isSubspanOf | Language.Haskell.Liquid.GHC.API |
| IsSwapped | Language.Haskell.Liquid.GHC.API |
| isSwapped | Language.Haskell.Liquid.GHC.API |
| isSymOcc | Language.Haskell.Liquid.GHC.API |
| isSynDecl | Language.Haskell.Liquid.GHC.API |
| isSystemName | Language.Haskell.Liquid.GHC.API |
| isTarget | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTauTy | Language.Haskell.Liquid.GHC.API |
| isTauTyCon | Language.Haskell.Liquid.GHC.API |
| isTcClsNameSpace | Language.Haskell.Liquid.GHC.API |
| isTcLevPoly | Language.Haskell.Liquid.GHC.API |
| isTcOcc | Language.Haskell.Liquid.GHC.API |
| isTcTyCon | Language.Haskell.Liquid.GHC.API |
| isTcTyVar | Language.Haskell.Liquid.GHC.API |
| isTemplateHaskellOrQQNonBoot | Language.Haskell.Liquid.GHC.API |
| isTmpSymbol | Language.Haskell.Liquid.GHC.Misc |
| isTmpVar | Language.Haskell.Liquid.GHC.Misc |
| isTopLevel | Language.Haskell.Liquid.GHC.API |
| isTrivial | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTuple | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| isTupleDataCon | Language.Haskell.Liquid.GHC.API |
| isTupleId | Language.Haskell.Liquid.GHC.Misc |
| isTupleTyCon | Language.Haskell.Liquid.GHC.API |
| isTvNameSpace | Language.Haskell.Liquid.GHC.API |
| isTvOcc | Language.Haskell.Liquid.GHC.API |
| isTyBinder | Language.Haskell.Liquid.GHC.API |
| isTyCoArg | Language.Haskell.Liquid.GHC.API |
| isTyConAssoc | Language.Haskell.Liquid.GHC.API |
| isTyConName | Language.Haskell.Liquid.GHC.API |
| isTyConWithSrcDataCons | Language.Haskell.Liquid.GHC.API |
| isTyCoVar | Language.Haskell.Liquid.GHC.API |
| isTypeableBindOcc | Language.Haskell.Liquid.GHC.API |
| isTypeArg | Language.Haskell.Liquid.GHC.API |
| isTypedBracket | Language.Haskell.Liquid.GHC.API |
| isTypedSplice | Language.Haskell.Liquid.GHC.API |
| isTypeFamilyDecl | Language.Haskell.Liquid.GHC.API |
| isTypeFamilyTyCon | Language.Haskell.Liquid.GHC.API |
| isTypeLevel | Language.Haskell.Liquid.GHC.API |
| isTypeLevPoly | Language.Haskell.Liquid.GHC.API |
| isTypeLSig | Language.Haskell.Liquid.GHC.API |
| isTypeSynonymTyCon | Language.Haskell.Liquid.GHC.API |
| isTyVar | Language.Haskell.Liquid.GHC.API |
| isTyVarBinder | Language.Haskell.Liquid.GHC.API |
| isTyVarName | Language.Haskell.Liquid.GHC.API |
| isTyVarTy | Language.Haskell.Liquid.GHC.API |
| isUnboxedSumCon | Language.Haskell.Liquid.GHC.API |
| isUnboxedSumTyCon | Language.Haskell.Liquid.GHC.API |
| isUnboxedSumType | Language.Haskell.Liquid.GHC.API |
| isUnboxedTupleCon | Language.Haskell.Liquid.GHC.API |
| isUnboxedTupleTyCon | Language.Haskell.Liquid.GHC.API |
| isUnboxedTupleType | Language.Haskell.Liquid.GHC.API |
| isUnderscoreFS | Language.Haskell.Liquid.GHC.API |
| isUnliftedHsBind | Language.Haskell.Liquid.GHC.API |
| isUnliftedRuntimeRep | Language.Haskell.Liquid.GHC.API |
| isUnliftedTyCon | Language.Haskell.Liquid.GHC.API |
| isUnliftedType | Language.Haskell.Liquid.GHC.API |
| isUnliftedTypeKind | Language.Haskell.Liquid.GHC.API |
| isUnqual | Language.Haskell.Liquid.GHC.API |
| isValArg | Language.Haskell.Liquid.GHC.API |
| IsValid | Language.Haskell.Liquid.GHC.API |
| isValid | Language.Haskell.Liquid.GHC.API |
| isValidJoinPointType | Language.Haskell.Liquid.GHC.API |
| isValidKnownKeyUnique | Language.Haskell.Liquid.GHC.API |
| isValKind | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| isValName | Language.Haskell.Liquid.GHC.API |
| isValNameSpace | Language.Haskell.Liquid.GHC.API |
| isValOcc | Language.Haskell.Liquid.GHC.API |
| isValueUnfolding | Language.Haskell.Liquid.GHC.API |
| isVanillaAlgTyCon | Language.Haskell.Liquid.GHC.API |
| isVanillaDataCon | Language.Haskell.Liquid.GHC.API |
| isVar | Language.Haskell.Liquid.Synthesize.GHC |
| isVarName | Language.Haskell.Liquid.GHC.API |
| isVarNameSpace | Language.Haskell.Liquid.GHC.API |
| isVarOcc | Language.Haskell.Liquid.GHC.API |
| isVisibleArgFlag | Language.Haskell.Liquid.GHC.API |
| isVisibleBinder | Language.Haskell.Liquid.GHC.API |
| isVisibleTyConBinder | Language.Haskell.Liquid.GHC.API |
| isVoidRep | Language.Haskell.Liquid.GHC.API |
| isWarnMsgFatal | Language.Haskell.Liquid.GHC.API |
| isWeakLoopBreaker | Language.Haskell.Liquid.GHC.API |
| isWellTyped | Language.Haskell.Liquid.Synthesize.Check |
| isWiredIn | Language.Haskell.Liquid.WiredIn |
| isWiredInName | |
| 1 (Function) | Language.Haskell.Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.WiredIn |
| isWorker | Language.Haskell.Liquid.GHC.Misc |
| isZeroLit | Language.Haskell.Liquid.GHC.API |
| is_as | Language.Haskell.Liquid.GHC.API |
| is_body_stmt | Language.Haskell.Liquid.GHC.API |
| is_cls | Language.Haskell.Liquid.GHC.API |
| is_cls_nm | Language.Haskell.Liquid.GHC.API |
| is_decl | Language.Haskell.Liquid.GHC.API |
| is_dfun | Language.Haskell.Liquid.GHC.API |
| is_dfun_name | Language.Haskell.Liquid.GHC.API |
| is_dloc | Language.Haskell.Liquid.GHC.API |
| is_enum | Language.Haskell.Liquid.GHC.API |
| is_explicit | Language.Haskell.Liquid.GHC.API |
| is_flag | Language.Haskell.Liquid.GHC.API |
| is_iloc | Language.Haskell.Liquid.GHC.API |
| is_item | Language.Haskell.Liquid.GHC.API |
| is_mod | Language.Haskell.Liquid.GHC.API |
| is_orphan | Language.Haskell.Liquid.GHC.API |
| is_qual | Language.Haskell.Liquid.GHC.API |
| is_tcs | Language.Haskell.Liquid.GHC.API |
| is_tvs | Language.Haskell.Liquid.GHC.API |
| is_tys | Language.Haskell.Liquid.GHC.API |