| Safe | Language.Haskell.Liquid.UX.ACSS |
| safeBkArrow | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| safeDirectImpsReq | Language.Haskell.Liquid.GHC.API |
| safeFromJust | Language.Haskell.Liquid.Misc |
| safeFromLeft | Language.Haskell.Liquid.Misc |
| safeHaskell | Language.Haskell.Liquid.GHC.API |
| SafeHaskellMode | Language.Haskell.Liquid.GHC.API |
| safeHaskellModeEnabled | Language.Haskell.Liquid.GHC.API |
| safeHaskellOn | Language.Haskell.Liquid.GHC.API |
| safeImplicitImpsReq | Language.Haskell.Liquid.GHC.API |
| safeImportsOn | Language.Haskell.Liquid.GHC.API |
| safeInfer | Language.Haskell.Liquid.GHC.API |
| safeInferOn | Language.Haskell.Liquid.GHC.API |
| safeInferred | Language.Haskell.Liquid.GHC.API |
| safeIxScruts | Language.Haskell.Liquid.Synthesize.Monad |
| safeLanguageOn | Language.Haskell.Liquid.GHC.API |
| safeZip3WithError | Language.Haskell.Liquid.Misc |
| safeZipWithError | Language.Haskell.Liquid.Misc |
| sameVis | Language.Haskell.Liquid.GHC.API |
| sArgsDepth | Language.Haskell.Liquid.Synthesize.Monad |
| sArgsId | Language.Haskell.Liquid.Synthesize.Monad |
| 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 |
| SCCFunSig | Language.Haskell.Liquid.GHC.API |
| sCGEnv | Language.Haskell.Liquid.Synthesize.Monad |
| sCGI | Language.Haskell.Liquid.Synthesize.Monad |
| sContext | Language.Haskell.Liquid.Synthesize.Monad |
| scopedSort | Language.Haskell.Liquid.GHC.API |
| sCount | Language.Haskell.Liquid.Interactive.Types |
| 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 |
| script | Gradual.GUI.Misc |
| scrutinees | Language.Haskell.Liquid.Synthesize.Monad |
| SDeps | Gradual.GUI.Types |
| sDepth | Language.Haskell.Liquid.Synthesize.Monad |
| sDocDoc | Language.Haskell.Liquid.GHC.Misc |
| SearchMode | Language.Haskell.Liquid.Synthesize.Generate |
| second3M | Language.Haskell.Liquid.Misc |
| secondM | Language.Haskell.Liquid.Misc |
| SectionL | Language.Haskell.Liquid.GHC.API |
| SectionR | Language.Haskell.Liquid.GHC.API |
| selectorAmbiguousFieldOcc | Language.Haskell.Liquid.GHC.API |
| senv | Language.Haskell.Liquid.Constraint.Types |
| sepModNames | Language.Haskell.Liquid.GHC.Misc |
| sepUnique | Language.Haskell.Liquid.GHC.Misc |
| seqOccInfo | Language.Haskell.Liquid.GHC.API |
| seqType | Language.Haskell.Liquid.GHC.API |
| seqTypes | Language.Haskell.Liquid.GHC.API |
| setBind | Language.Haskell.Liquid.Constraint.Env |
| setCaseBndrEvald | Language.Haskell.Liquid.GHC.API |
| setCoHoleCoVar | Language.Haskell.Liquid.GHC.API |
| setContext | Language.Haskell.Liquid.GHC.API |
| setFlagsFromEnvFile | Language.Haskell.Liquid.GHC.API |
| setGeneralFlag' | Language.Haskell.Liquid.GHC.API |
| setGHCiMonad | Language.Haskell.Liquid.GHC.API |
| setIdArity | Language.Haskell.Liquid.GHC.API |
| setIdCafInfo | Language.Haskell.Liquid.GHC.API |
| setIdCallArity | Language.Haskell.Liquid.GHC.API |
| setIdDemandInfo | Language.Haskell.Liquid.GHC.API |
| setIdDetails | Language.Haskell.Liquid.GHC.API |
| setIdExported | Language.Haskell.Liquid.GHC.API |
| setIdInfo | Language.Haskell.Liquid.GHC.API |
| setIdName | Language.Haskell.Liquid.GHC.API |
| setIdNotExported | Language.Haskell.Liquid.GHC.API |
| setIdOccInfo | Language.Haskell.Liquid.GHC.API |
| setIdOneShotInfo | Language.Haskell.Liquid.GHC.API |
| setIdSpecialisation | Language.Haskell.Liquid.GHC.API |
| setIdStrictness | Language.Haskell.Liquid.GHC.API |
| setIdTRecBound | Language.Haskell.Liquid.Transforms.Rec |
| setIdType | Language.Haskell.Liquid.GHC.API |
| setIdUnfolding | Language.Haskell.Liquid.GHC.API |
| setIdUnique | Language.Haskell.Liquid.GHC.API |
| setInlineActivation | Language.Haskell.Liquid.GHC.API |
| setInlinePragma | Language.Haskell.Liquid.GHC.API |
| setInlinePragmaActivation | Language.Haskell.Liquid.GHC.API |
| setInlinePragmaRuleMatchInfo | Language.Haskell.Liquid.GHC.API |
| setInteractiveDynFlags | Language.Haskell.Liquid.GHC.API |
| setInteractivePackage | Language.Haskell.Liquid.GHC.API |
| setInteractivePrintName | Language.Haskell.Liquid.GHC.API |
| setJoinResTy | Language.Haskell.Liquid.GHC.API |
| setLocation | Language.Haskell.Liquid.Constraint.Env |
| setLogAction | Language.Haskell.Liquid.GHC.API |
| setNameLoc | Language.Haskell.Liquid.GHC.API |
| setNameUnique | Language.Haskell.Liquid.GHC.API |
| setOccNameSpace | Language.Haskell.Liquid.GHC.API |
| setOneShotLambda | Language.Haskell.Liquid.GHC.API |
| setOverlapModeMaybe | Language.Haskell.Liquid.GHC.API |
| setPId | Gradual.Types |
| setProgramDynFlags | Language.Haskell.Liquid.GHC.API |
| setRecs | Language.Haskell.Liquid.Constraint.Env |
| setRecTcMaxBound | Language.Haskell.Liquid.GHC.API |
| setRtvPol | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| setRuleIdName | Language.Haskell.Liquid.GHC.API |
| setSafeMode | Language.Haskell.Liquid.GHC.API |
| setSession | Language.Haskell.Liquid.GHC.API |
| setSessionDynFlags | Language.Haskell.Liquid.GHC.API |
| setTargets | Language.Haskell.Liquid.GHC.API |
| setTcTyConKind | Language.Haskell.Liquid.GHC.API |
| setTcTyVarDetails | Language.Haskell.Liquid.GHC.API |
| Settings | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| settings | Language.Haskell.Liquid.GHC.API |
| setTmpDir | Language.Haskell.Liquid.GHC.API |
| setTRec | Language.Haskell.Liquid.Constraint.Env |
| setTvSubstEnv | Language.Haskell.Liquid.GHC.API |
| setTyVarKind | Language.Haskell.Liquid.GHC.API |
| setTyVarName | Language.Haskell.Liquid.GHC.API |
| setTyVarUnique | Language.Haskell.Liquid.GHC.API |
| setUnitId | Language.Haskell.Liquid.GHC.API |
| setUnsafeGlobalDynFlags | Language.Haskell.Liquid.GHC.API |
| setVarName | Language.Haskell.Liquid.GHC.API |
| setVarType | Language.Haskell.Liquid.GHC.API |
| setVarUnique | Language.Haskell.Liquid.GHC.API |
| SevDump | Language.Haskell.Liquid.GHC.API |
| Severity | Language.Haskell.Liquid.GHC.API |
| SevError | Language.Haskell.Liquid.GHC.API |
| SevFatal | Language.Haskell.Liquid.GHC.API |
| SevInfo | Language.Haskell.Liquid.GHC.API |
| SevInteractive | Language.Haskell.Liquid.GHC.API |
| SevOutput | Language.Haskell.Liquid.GHC.API |
| SevWarning | Language.Haskell.Liquid.GHC.API |
| sExprId | Language.Haskell.Liquid.Synthesize.Monad |
| sExprMem | Language.Haskell.Liquid.Synthesize.Monad |
| sExtraGccViaCFlags | Language.Haskell.Liquid.GHC.API |
| sFCfg | Language.Haskell.Liquid.Synthesize.Monad |
| sFileSettings | Language.Haskell.Liquid.GHC.API |
| sFix | Language.Haskell.Liquid.Synthesize.Monad |
| sForalls | Language.Haskell.Liquid.Synthesize.Monad |
| Sf_Ignore | Language.Haskell.Liquid.GHC.API |
| Sf_None | Language.Haskell.Liquid.GHC.API |
| Sf_Safe | Language.Haskell.Liquid.GHC.API |
| Sf_SafeInferred | Language.Haskell.Liquid.GHC.API |
| Sf_Trustworthy | Language.Haskell.Liquid.GHC.API |
| Sf_Unsafe | Language.Haskell.Liquid.GHC.API |
| sGccSupportsNoPie | Language.Haskell.Liquid.GHC.API |
| sGhcDebugged | Language.Haskell.Liquid.GHC.API |
| sGhciUsagePath | Language.Haskell.Liquid.GHC.API |
| sGhcNameVersion | Language.Haskell.Liquid.GHC.API |
| sGhcRTSWays | Language.Haskell.Liquid.GHC.API |
| sGhcRtsWithLibdw | Language.Haskell.Liquid.GHC.API |
| sGhcThreaded | Language.Haskell.Liquid.GHC.API |
| sGhcUsagePath | Language.Haskell.Liquid.GHC.API |
| sGhcWithInterpreter | Language.Haskell.Liquid.GHC.API |
| sGhcWithNativeCodeGen | Language.Haskell.Liquid.GHC.API |
| sGhcWithSMP | Language.Haskell.Liquid.GHC.API |
| sGoalTys | Language.Haskell.Liquid.Synthesize.Monad |
| sGoalTyVar | Language.Haskell.Liquid.Synthesize.Monad |
| shadowNames | Language.Haskell.Liquid.GHC.API |
| ShHoleSubst | Language.Haskell.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 |
| shouldUseColor | Language.Haskell.Liquid.GHC.API |
| shouldUseHexWordLiterals | Language.Haskell.Liquid.GHC.API |
| showCand | Language.Haskell.Liquid.Synthesize.Misc |
| showCands | Language.Haskell.Liquid.Synthesize.Misc |
| showCBs | Language.Haskell.Liquid.GHC.Misc |
| showCoreAlt | Language.Haskell.Liquid.Synthesize.Misc |
| showCoreAlts | Language.Haskell.Liquid.Synthesize.Misc |
| showEmem | Language.Haskell.Liquid.Synthesize.Misc |
| showEmem' | Language.Haskell.Liquid.Synthesize.Misc |
| showGhcException | Language.Haskell.Liquid.GHC.API |
| showGoals | Language.Haskell.Liquid.Synthesize.Misc |
| showModMsg | Language.Haskell.Liquid.GHC.API |
| showModule | Language.Haskell.Liquid.GHC.API |
| showModuleIndex | Language.Haskell.Liquid.GHC.API |
| showOpt | Language.Haskell.Liquid.GHC.API |
| showPass | Language.Haskell.Liquid.GHC.API |
| showpp | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| showPpr | Language.Haskell.Liquid.GHC.Misc |
| showRichTokenStream | Language.Haskell.Liquid.GHC.API |
| showSDoc | Language.Haskell.Liquid.GHC.Misc |
| showSDocDump | Language.Haskell.Liquid.GHC.Misc |
| showSpan | Language.Haskell.Liquid.GHC.SpanStack |
| showTy | Language.Haskell.Liquid.GHC.TypeRep |
| Sig | Language.Haskell.Liquid.GHC.API |
| SigD | Language.Haskell.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 |
| Signal | Language.Haskell.Liquid.GHC.API |
| SigPat | Language.Haskell.Liquid.GHC.API |
| sigPrec | Language.Haskell.Liquid.GHC.API |
| 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 |
| simpleImportDecl | Language.Haskell.Liquid.GHC.API |
| simplesymbol | Language.Haskell.Liquid.GHC.Misc |
| simpleSymbolVar | Language.Haskell.Liquid.Bare.Misc |
| Simplified | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplify | Gradual.Trivial |
| simplifyBareType | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBareType' | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBareType'' | Language.Haskell.Liquid.UX.QuasiQuoter |
| simplifyBounds | Language.Haskell.Liquid.Transforms.Simplify |
| simplifyExpr | Gradual.PrettyPrinting |
| simplPhases | Language.Haskell.Liquid.GHC.API |
| simplTickFactor | Language.Haskell.Liquid.GHC.API |
| single | Language.Haskell.Liquid.Misc |
| singleSpecP | Language.Haskell.Liquid.Parse |
| SingleStep | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| sIntegerLibrary | Language.Haskell.Liquid.GHC.API |
| sIntegerLibraryType | Language.Haskell.Liquid.GHC.API |
| SizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| sizeFunction | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| sIZEOF_CostCentreStack | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgArrBytes_NoHdr | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgFunInfoExtraRev | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgMutArrPtrs_NoHdr | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgSmallMutArrPtrs_NoHdr | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgSMPThunkHeader | Language.Haskell.Liquid.GHC.API |
| sIZEOF_StgUpdateFrame_NoHdr | Language.Haskell.Liquid.GHC.API |
| sLdIsGnuLd | Language.Haskell.Liquid.GHC.API |
| sLdSupportsBuildId | Language.Haskell.Liquid.GHC.API |
| sLdSupportsCompactUnwind | Language.Haskell.Liquid.GHC.API |
| sLdSupportsFilelist | Language.Haskell.Liquid.GHC.API |
| sLeadingUnderscore | Language.Haskell.Liquid.GHC.API |
| sLibFFI | Language.Haskell.Liquid.GHC.API |
| slice | Language.Haskell.Liquid.UX.DiffCheck |
| sLit | Language.Haskell.Liquid.GHC.API |
| sl_fs | Language.Haskell.Liquid.GHC.API |
| sl_st | Language.Haskell.Liquid.GHC.API |
| SM | Language.Haskell.Liquid.Synthesize.Monad |
| smallArrayPrimTyCon | Language.Haskell.Liquid.GHC.API |
| smallMutableArrayPrimTyCon | Language.Haskell.Liquid.GHC.API |
| sMbEnv | Language.Haskell.Liquid.Interactive.Types |
| 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 |
| soExt | Language.Haskell.Liquid.GHC.API |
| SoftScope | Language.Haskell.Liquid.GHC.API |
| SolarisLD | Language.Haskell.Liquid.GHC.API |
| solDelim | Language.Haskell.Liquid.Synthesize.Misc |
| solverIterations | Language.Haskell.Liquid.GHC.API |
| sOpt_a | Language.Haskell.Liquid.GHC.API |
| sOpt_c | Language.Haskell.Liquid.GHC.API |
| sOpt_cxx | Language.Haskell.Liquid.GHC.API |
| sOpt_F | Language.Haskell.Liquid.GHC.API |
| sOpt_i | Language.Haskell.Liquid.GHC.API |
| sOpt_L | Language.Haskell.Liquid.GHC.API |
| sOpt_l | Language.Haskell.Liquid.GHC.API |
| sOpt_lc | Language.Haskell.Liquid.GHC.API |
| sOpt_lcc | Language.Haskell.Liquid.GHC.API |
| sOpt_lm | Language.Haskell.Liquid.GHC.API |
| sOpt_lo | Language.Haskell.Liquid.GHC.API |
| sOpt_P | Language.Haskell.Liquid.GHC.API |
| sOpt_P_fingerprint | Language.Haskell.Liquid.GHC.API |
| sOpt_windres | Language.Haskell.Liquid.GHC.API |
| Sorry | Language.Haskell.Liquid.GHC.API |
| sortDiff | Language.Haskell.Liquid.Misc |
| sortLocated | Language.Haskell.Liquid.GHC.API |
| sortOn | Language.Haskell.Liquid.Misc |
| SourceError | Language.Haskell.Liquid.GHC.API |
| sourceErrors | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SourceModified | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| sourceName | Language.Haskell.Liquid.GHC.API |
| SourceNote | Language.Haskell.Liquid.GHC.API |
| sourcePos2SrcSpan | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcLoc | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| sourceSpan | Language.Haskell.Liquid.GHC.API |
| SourceText | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| SourceUnmodified | Language.Haskell.Liquid.GHC.API |
| SourceUnmodifiedAndStable | Language.Haskell.Liquid.GHC.API |
| SP | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| Span | |
| 1 (Type/Class) | Language.Haskell.Liquid.GHC.SpanStack |
| 2 (Data Constructor) | Language.Haskell.Liquid.GHC.SpanStack |
| spans | Language.Haskell.Liquid.GHC.API |
| SpanStack | Language.Haskell.Liquid.GHC.SpanStack |
| SpData | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 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 |
| specConstrCount | Language.Haskell.Liquid.GHC.API |
| specConstrRecursive | Language.Haskell.Liquid.GHC.API |
| specConstrThreshold | Language.Haskell.Liquid.GHC.API |
| specDecr | Language.Haskell.Liquid.Constraint.Types |
| specExpandType | Language.Haskell.Liquid.Bare.Expand |
| specialPromotedDc | Language.Haskell.Liquid.GHC.API |
| Specified | Language.Haskell.Liquid.GHC.API |
| SpecImport | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SpecInstSig | Language.Haskell.Liquid.GHC.API |
| 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 |
| SpecPrag | Language.Haskell.Liquid.GHC.API |
| SpecPrags | Language.Haskell.Liquid.GHC.API |
| 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 |
| SpecSig | Language.Haskell.Liquid.GHC.API |
| 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 |
| sPgm_a | Language.Haskell.Liquid.GHC.API |
| sPgm_ar | Language.Haskell.Liquid.GHC.API |
| sPgm_c | Language.Haskell.Liquid.GHC.API |
| sPgm_dll | Language.Haskell.Liquid.GHC.API |
| sPgm_F | Language.Haskell.Liquid.GHC.API |
| sPgm_i | Language.Haskell.Liquid.GHC.API |
| sPgm_L | Language.Haskell.Liquid.GHC.API |
| sPgm_l | Language.Haskell.Liquid.GHC.API |
| sPgm_lc | Language.Haskell.Liquid.GHC.API |
| sPgm_lcc | Language.Haskell.Liquid.GHC.API |
| sPgm_libtool | Language.Haskell.Liquid.GHC.API |
| sPgm_lm | Language.Haskell.Liquid.GHC.API |
| sPgm_lo | Language.Haskell.Liquid.GHC.API |
| sPgm_P | Language.Haskell.Liquid.GHC.API |
| sPgm_ranlib | Language.Haskell.Liquid.GHC.API |
| sPgm_T | Language.Haskell.Liquid.GHC.API |
| sPgm_windres | Language.Haskell.Liquid.GHC.API |
| sPlatformConstants | Language.Haskell.Liquid.GHC.API |
| sPlatformMisc | Language.Haskell.Liquid.GHC.API |
| SpLaws | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SpliceD | Language.Haskell.Liquid.GHC.API |
| SpliceDecl | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| SpliceDecoration | Language.Haskell.Liquid.GHC.API |
| SpliceExplicitFlag | Language.Haskell.Liquid.GHC.API |
| SplicePat | Language.Haskell.Liquid.GHC.API |
| SplicePointName | Language.Haskell.Liquid.GHC.API |
| splitAppTy | Language.Haskell.Liquid.GHC.API |
| splitAppTys | Language.Haskell.Liquid.GHC.API |
| splitAppTy_maybe | Language.Haskell.Liquid.GHC.API |
| splitC | Language.Haskell.Liquid.Constraint.Split |
| splitCastTy_maybe | Language.Haskell.Liquid.GHC.API |
| splitDataProductType_maybe | Language.Haskell.Liquid.GHC.API |
| splitForAllTy | Language.Haskell.Liquid.GHC.API |
| splitForAllTys | Language.Haskell.Liquid.GHC.API |
| splitForAllTysSameVis | Language.Haskell.Liquid.GHC.API |
| splitForAllTy_co_maybe | Language.Haskell.Liquid.GHC.API |
| splitForAllTy_maybe | Language.Haskell.Liquid.GHC.API |
| splitForAllTy_ty_maybe | Language.Haskell.Liquid.GHC.API |
| splitForAllVarBndrs | Language.Haskell.Liquid.GHC.API |
| splitFunTy | Language.Haskell.Liquid.GHC.API |
| splitFunTys | Language.Haskell.Liquid.GHC.API |
| splitFunTy_maybe | Language.Haskell.Liquid.GHC.API |
| splitHsFunType | Language.Haskell.Liquid.GHC.API |
| splitInfo | Language.Haskell.Liquid.GHC.API |
| splitLHsForAllTyInvis | Language.Haskell.Liquid.GHC.API |
| splitLHsInstDeclTy | Language.Haskell.Liquid.GHC.API |
| splitLHsPatSynTy | Language.Haskell.Liquid.GHC.API |
| splitLHsQualTy | Language.Haskell.Liquid.GHC.API |
| splitLHsSigmaTyInvis | Language.Haskell.Liquid.GHC.API |
| splitListTyConApp_maybe | Language.Haskell.Liquid.GHC.API |
| splitModuleInsts | Language.Haskell.Liquid.GHC.API |
| splitModuleName | Language.Haskell.Liquid.GHC.Misc |
| splitPiTy | Language.Haskell.Liquid.GHC.API |
| splitPiTys | Language.Haskell.Liquid.GHC.API |
| splitPiTysInvisible | Language.Haskell.Liquid.GHC.API |
| splitPiTysInvisibleN | Language.Haskell.Liquid.GHC.API |
| splitPiTy_maybe | Language.Haskell.Liquid.GHC.API |
| splitters | Language.Haskell.Liquid.Misc |
| splitTyConApp | Language.Haskell.Liquid.GHC.API |
| splitTyConApp_maybe | Language.Haskell.Liquid.GHC.API |
| splitUnitIdInsts | Language.Haskell.Liquid.GHC.API |
| splitVisVarsOfType | Language.Haskell.Liquid.GHC.API |
| splitVisVarsOfTypes | Language.Haskell.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 |
| sProgramName | Language.Haskell.Liquid.GHC.API |
| sProjectVersion | Language.Haskell.Liquid.GHC.API |
| SpSig | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| SptEntry | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| 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 |
| sRawSettings | Language.Haskell.Liquid.GHC.API |
| Src | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| srcDataName | Language.Haskell.Liquid.GHC.API |
| srcDeps | Gradual.GUI.Types |
| srcErrorMessages | Language.Haskell.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 |
| SrcLazy | Language.Haskell.Liquid.GHC.API |
| SrcLoc | Language.Haskell.Liquid.GHC.API |
| srcLocCol | Language.Haskell.Liquid.GHC.API |
| srcLocFile | Language.Haskell.Liquid.GHC.API |
| srcLocLine | Language.Haskell.Liquid.GHC.API |
| srcLocSpan | Language.Haskell.Liquid.GHC.API |
| srcModuleName | Language.Haskell.Liquid.UX.ACSS |
| SrcNoUnpack | Language.Haskell.Liquid.GHC.API |
| SrcSpan | Language.Haskell.Liquid.GHC.API |
| srcSpan | Language.Haskell.Liquid.GHC.SpanStack |
| srcSpanEnd | Language.Haskell.Liquid.GHC.API |
| srcSpanEndCol | Language.Haskell.Liquid.GHC.API |
| srcSpanEndLine | Language.Haskell.Liquid.GHC.API |
| srcSpanEndLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanFile | Language.Haskell.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 | Language.Haskell.Liquid.GHC.API |
| srcSpanFirstCharacter | Language.Haskell.Liquid.GHC.API |
| srcSpanFSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| SrcSpanLess | Language.Haskell.Liquid.GHC.API |
| srcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
| srcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| srcSpanStart | Language.Haskell.Liquid.GHC.API |
| srcSpanStartCol | Language.Haskell.Liquid.GHC.API |
| srcSpanStartLine | Language.Haskell.Liquid.GHC.API |
| srcSpanStartLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanTick | Language.Haskell.Liquid.GHC.Misc |
| SrcStrict | Language.Haskell.Liquid.GHC.API |
| SrcStrictness | Language.Haskell.Liquid.GHC.API |
| SrcUnpack | Language.Haskell.Liquid.GHC.API |
| SrcUnpackedness | Language.Haskell.Liquid.GHC.API |
| srcVars | Language.Haskell.Liquid.Bare.Resolve |
| SSDecrTerm | Language.Haskell.Liquid.Synthesize.Monad |
| ssDecrTerm | Language.Haskell.Liquid.Synthesize.Monad |
| SSEnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Synthesize.GHC |
| 2 (Type/Class) | Language.Haskell.Liquid.Synthesize.Monad |
| ssEnv | Language.Haskell.Liquid.Synthesize.Monad |
| sseVersion | Language.Haskell.Liquid.GHC.API |
| ssIdx | Language.Haskell.Liquid.Synthesize.Monad |
| SState | |
| 1 (Type/Class) | Language.Haskell.Liquid.Synthesize.Monad |
| 2 (Data Constructor) | Language.Haskell.Liquid.Synthesize.Monad |
| sSystemPackageConfig | Language.Haskell.Liquid.GHC.API |
| stableAvailCmp | Language.Haskell.Liquid.GHC.API |
| StableModule | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types |
| stableModuleCmp | Language.Haskell.Liquid.GHC.API |
| stableModuleNameCmp | Language.Haskell.Liquid.GHC.API |
| StableName | Language.Haskell.Liquid.GHC.Types |
| stableNameCmp | Language.Haskell.Liquid.GHC.API |
| stableNamePrimTyCon | Language.Haskell.Liquid.GHC.API |
| stablePtrPrimTyCon | Language.Haskell.Liquid.GHC.API |
| sTablesNextToCode | Language.Haskell.Liquid.GHC.API |
| stableUnitIdCmp | Language.Haskell.Liquid.GHC.API |
| StandaloneKindSig | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| standaloneKindSigName | Language.Haskell.Liquid.GHC.API |
| sTargetPlatform | Language.Haskell.Liquid.GHC.API |
| sTargetPlatformString | Language.Haskell.Liquid.GHC.API |
| starInfo | Language.Haskell.Liquid.GHC.API |
| startsWithUnderscore | Language.Haskell.Liquid.GHC.API |
| State | |
| 1 (Type/Class) | Language.Haskell.Liquid.Interactive.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Interactive.Types |
| stateHackOneShot | Language.Haskell.Liquid.GHC.API |
| statePrimTyCon | Language.Haskell.Liquid.GHC.API |
| staticPlugins | Language.Haskell.Liquid.GHC.API |
| Status | Language.Haskell.Liquid.UX.ACSS |
| status | |
| 1 (Function) | Language.Haskell.Liquid.UX.ACSS |
| 2 (Function) | Language.Haskell.Liquid.Interactive.Types |
| sTD_HDR_SIZE | Language.Haskell.Liquid.GHC.API |
| sTmpDir | Language.Haskell.Liquid.GHC.API |
| Stmt | Language.Haskell.Liquid.GHC.API |
| StmtCtxt | Language.Haskell.Liquid.GHC.API |
| StmtLR | Language.Haskell.Liquid.GHC.API |
| StockStrategy | Language.Haskell.Liquid.GHC.API |
| sToolDir | Language.Haskell.Liquid.GHC.API |
| sToolSettings | Language.Haskell.Liquid.GHC.API |
| sTopDir | Language.Haskell.Liquid.GHC.API |
| 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 |
| strictnessBefore | Language.Haskell.Liquid.GHC.API |
| StrictnessMark | Language.Haskell.Liquid.GHC.API |
| stringClassArg | Language.Haskell.Liquid.GHC.Play |
| StringLiteral | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| stringTheory | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| stringToInstalledUnitId | Language.Haskell.Liquid.GHC.API |
| stringToUnitId | Language.Haskell.Liquid.GHC.API |
| stringTy | Language.Haskell.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 |
| stripCoercionTy | Language.Haskell.Liquid.GHC.API |
| stripNArgs | Language.Haskell.Liquid.GHC.API |
| stripParens | Language.Haskell.Liquid.GHC.Misc |
| stripParensSym | Language.Haskell.Liquid.GHC.Misc |
| stripRTypeBase | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| strongLoopBreaker | Language.Haskell.Liquid.GHC.API |
| StrTyLit | Language.Haskell.Liquid.GHC.API |
| structCheck | Language.Haskell.Liquid.Synthesize.Monad |
| structuralCheck | Language.Haskell.Liquid.Synthesize.Monad |
| structuralTerm | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| stubDir | Language.Haskell.Liquid.GHC.API |
| 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 | Language.Haskell.Liquid.GHC.API |
| subgoals | Language.Haskell.Liquid.Synthesize.GHC |
| SubR | Language.Haskell.Liquid.Constraint.Types |
| substCoUnchecked | Language.Haskell.Liquid.GHC.API |
| substCoWithUnchecked | Language.Haskell.Liquid.GHC.API |
| substEqSpec | Language.Haskell.Liquid.GHC.API |
| substExpr | Language.Haskell.Liquid.GHC.Play |
| substInFExpr | Language.Haskell.Liquid.Synthesize.Misc |
| substInteractiveContext | Language.Haskell.Liquid.GHC.API |
| substParg | Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types |
| substTheta | Language.Haskell.Liquid.GHC.API |
| substThetaUnchecked | Language.Haskell.Liquid.GHC.API |
| substTy | Language.Haskell.Liquid.GHC.API |
| substTyAddInScope | Language.Haskell.Liquid.GHC.API |
| substTys | Language.Haskell.Liquid.GHC.API |
| substTysUnchecked | Language.Haskell.Liquid.GHC.API |
| substTysWith | |
| 1 (Function) | Language.Haskell.Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Play |
| substTyUnchecked | Language.Haskell.Liquid.GHC.API |
| substTyVar | Language.Haskell.Liquid.GHC.API |
| substTyVarBndr | Language.Haskell.Liquid.GHC.API |
| substTyVarBndrs | Language.Haskell.Liquid.GHC.API |
| substTyVars | Language.Haskell.Liquid.GHC.API |
| substTyWith | Language.Haskell.Liquid.GHC.API |
| substTyWithUnchecked | Language.Haskell.Liquid.GHC.API |
| substVarBndr | Language.Haskell.Liquid.GHC.API |
| substVarBndrs | Language.Haskell.Liquid.GHC.API |
| SubsTy | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| subsTyVars_meet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVars_nomeet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVar_meet | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVar_meet' | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types |
| subsTyVar_nomeet | 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 |
| Succeeded | Language.Haskell.Liquid.GHC.API |
| succeeded | Language.Haskell.Liquid.GHC.API |
| SuccessFlag | Language.Haskell.Liquid.GHC.API |
| successIf | Language.Haskell.Liquid.GHC.API |
| sUGoalTy | Language.Haskell.Liquid.Synthesize.Monad |
| sumDataCon | Language.Haskell.Liquid.GHC.API |
| SumFlavour | Language.Haskell.Liquid.GHC.API |
| sumParens | Language.Haskell.Liquid.GHC.API |
| SumPat | Language.Haskell.Liquid.GHC.API |
| sumRepDataConTyCon | Language.Haskell.Liquid.GHC.API |
| SumTyCon | Language.Haskell.Liquid.GHC.API |
| sumTyCon | Language.Haskell.Liquid.GHC.API |
| sUniVars | Language.Haskell.Liquid.Synthesize.Monad |
| supportedLanguagesAndExtensions | Language.Haskell.Liquid.GHC.API |
| svar | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SwapFlag | Language.Haskell.Liquid.GHC.API |
| switchWeight | Language.Haskell.Liquid.GHC.API |
| syenv | Language.Haskell.Liquid.Constraint.Types |
| symbolExpr | Language.Haskell.Liquid.Synthesize.Monad |
| symbolFastString | Language.Haskell.Liquid.GHC.Misc |
| symbolLoc | Gradual.GUI.Types |
| symbolName | Language.Haskell.Liquid.UX.QuasiQuoter |
| symbolRTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Misc, Language.Haskell.Liquid.Types |
| symbols | Language.Haskell.Liquid.Synthesize.GHC |
| symbolToVar | Language.Haskell.Liquid.Synthesize.GHC |
| symbolTyCon | Language.Haskell.Liquid.GHC.Misc |
| symbolTyConWithKind | Language.Haskell.Liquid.GHC.Misc |
| symbolTyVar | Language.Haskell.Liquid.GHC.Misc |
| SymCo | Language.Haskell.Liquid.GHC.API |
| SymSizeFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |
| SynDecl | Language.Haskell.Liquid.GHC.API |
| SyntaxExpr | |
| 1 (Data Constructor) | Language.Haskell.Liquid.GHC.API |
| 2 (Type/Class) | Language.Haskell.Liquid.GHC.API |
| synthesize | Language.Haskell.Liquid.Synthesize |
| synthesizeScrutinee | Language.Haskell.Liquid.Synthesize.Generate |
| synTyConDefn_maybe | Language.Haskell.Liquid.GHC.API |
| synTyConResKind | Language.Haskell.Liquid.GHC.API |
| synTyConRhs_maybe | |
| 1 (Function) | Language.Haskell.Liquid.GHC.API |
| 2 (Function) | Language.Haskell.Liquid.GHC.Misc |
| syn_arg_wraps | Language.Haskell.Liquid.GHC.API |
| syn_expr | Language.Haskell.Liquid.GHC.API |
| syn_res_wrap | Language.Haskell.Liquid.GHC.API |
| SystemDependent | Language.Haskell.Liquid.GHC.API |
| systemPackageConfig | Language.Haskell.Liquid.GHC.API |
| szFun | Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types |