| Safe | Language.Haskell.Liquid.UX.ACSS |
| safeBkArrow | Language.Haskell.Liquid.Types |
| safeFromJust | Language.Haskell.Liquid.Misc |
| safeZip3WithError | Language.Haskell.Liquid.Misc |
| safeZipWith | Language.Haskell.Liquid.Prelude |
| safeZipWithError | Language.Haskell.Liquid.Misc |
| saveQuery | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| saveResult | Language.Haskell.Liquid.UX.DiffCheck |
| scheck | Language.Haskell.Liquid.Constraint.Types |
| sCount | Language.Haskell.Liquid.Interactive.Types |
| scrapeImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| scrapeUsedImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| sCs | Language.Haskell.Liquid.Constraint.Types |
| SDiv | Language.Haskell.Liquid.Types |
| sDocDoc | Language.Haskell.Liquid.GHC.Misc |
| second3 | Language.Haskell.Liquid.Prover.Misc |
| second3M | Language.Haskell.Liquid.Misc |
| secondM | Language.Haskell.Liquid.Misc |
| selectMatchVar | Language.Haskell.Liquid.Desugar710.DsUtils |
| selectMatchVars | Language.Haskell.Liquid.Desugar710.DsUtils |
| selectSimpleMatchVarL | Language.Haskell.Liquid.Desugar710.DsUtils |
| senv | Language.Haskell.Liquid.Constraint.Types |
| sep | Language.Haskell.Liquid.Prover.Pretty |
| sepModNames | Language.Haskell.Liquid.GHC.Misc |
| sepUnique | Language.Haskell.Liquid.GHC.Misc |
| seqVar | Language.Haskell.Liquid.Desugar710.DsUtils |
| setBind | Language.Haskell.Liquid.Constraint.Env |
| setLocation | Language.Haskell.Liquid.Constraint.Env |
| setREAlias | Language.Haskell.Liquid.Bare.Env |
| setRecs | Language.Haskell.Liquid.Constraint.Env |
| setRTAlias | Language.Haskell.Liquid.Bare.Env |
| setTRec | Language.Haskell.Liquid.Constraint.Env |
| SFin | Language.Haskell.Liquid.Types |
| shiftEqns | Language.Haskell.Liquid.Desugar710.DsUtils |
| shiftVV | Language.Haskell.Liquid.Types.RefType |
| shortErrors | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| shortNames | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| showNum | Language.Haskell.Liquid.Prover.Pretty |
| showpp | Language.Haskell.Liquid.Types |
| showPpr | Language.Haskell.Liquid.GHC.Misc |
| showSDoc | Language.Haskell.Liquid.GHC.Misc |
| showSDocDump | Language.Haskell.Liquid.GHC.Misc |
| showSpan | Language.Haskell.Liquid.GHC.SpanStack |
| sigs | Language.Haskell.Liquid.Measure |
| simpleSymbolVar | Language.Haskell.Liquid.Bare.Misc |
| simplifyBounds | Language.Haskell.Liquid.Transforms.Simplify |
| single | Language.Haskell.Liquid.Misc |
| sizeFun | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
| sizeFunction | Language.Haskell.Liquid.Types |
| slice | Language.Haskell.Liquid.UX.DiffCheck |
| sMbEnv | Language.Haskell.Liquid.Interactive.Types |
| smtFile | Language.Haskell.Liquid.Prover.Constants |
| smtFileExtention | Language.Haskell.Liquid.Prover.Constants |
| smtsolver | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| snd4 | Language.Haskell.Liquid.Misc |
| solve | Language.Haskell.Liquid.Prover.Solve |
| solveStrata | Language.Haskell.Liquid.Types.Strata |
| sort | Language.Haskell.Liquid.Types |
| sortDiff | Language.Haskell.Liquid.Misc |
| sourcePos2SrcSpan | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcLoc | Language.Haskell.Liquid.GHC.Misc |
| sourcePosSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| SP | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
| Span | Language.Haskell.Liquid.GHC.SpanStack |
| SpanStack | Language.Haskell.Liquid.GHC.SpanStack |
| Spec | |
| 1 (Type/Class) | Language.Haskell.Liquid.Measure |
| 2 (Data Constructor) | Language.Haskell.Liquid.Measure |
| spec | Language.Haskell.Liquid.Types |
| specAnchor | Language.Haskell.Liquid.Types.Specifications, Language.Haskell.Liquid.UX.Annotate |
| specDecr | Language.Haskell.Liquid.Constraint.Types |
| specificationQualifiers | Language.Haskell.Liquid.Constraint.Qualifier |
| SpecImport | Language.Haskell.Liquid.Types |
| specLazy | Language.Haskell.Liquid.Constraint.Types |
| specLVars | Language.Haskell.Liquid.Constraint.Types |
| SpecProp | Language.Haskell.Liquid.Types |
| specSpecificationP | Language.Haskell.Liquid.Parse |
| SpecType | Language.Haskell.Liquid.Types |
| splitC | Language.Haskell.Liquid.Constraint.Split |
| splitS | Language.Haskell.Liquid.Constraint.Split |
| splitters | Language.Haskell.Liquid.Misc |
| splitW | Language.Haskell.Liquid.Constraint.Split |
| splitXRelatedRefs | Language.Haskell.Liquid.Transforms.RefSplit |
| SrcImport | Language.Haskell.Liquid.Types |
| srcModuleName | Language.Haskell.Liquid.UX.ACSS |
| srcSpan | |
| 1 (Function) | Language.Haskell.Liquid.GHC.SpanStack |
| 2 (Function) | Language.Haskell.Liquid.Bare.Lookup |
| srcSpanEndLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanFilename | Language.Haskell.Liquid.GHC.Misc |
| srcSpanFSrcSpan | Language.Haskell.Liquid.GHC.Misc |
| srcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
| srcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| srcSpanStartLoc | Language.Haskell.Liquid.GHC.Misc |
| srcSpanTick | Language.Haskell.Liquid.GHC.Misc |
| State | |
| 1 (Type/Class) | Language.Haskell.Liquid.Interactive.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Interactive.Types |
| Status | Language.Haskell.Liquid.UX.ACSS |
| status | |
| 1 (Function) | Language.Haskell.Liquid.UX.ACSS |
| 2 (Function) | Language.Haskell.Liquid.Interactive.Types |
| Strata | Language.Haskell.Liquid.Types |
| strata | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| Stratum | Language.Haskell.Liquid.Types |
| strengthen | Language.Haskell.Liquid.Types.RefType |
| strengthenDataConType | Language.Haskell.Liquid.Types.RefType |
| strengthenHaskellMeasures | Language.Haskell.Liquid.Bare.Measure |
| strengthenRefTypeGen | Language.Haskell.Liquid.Types.RefType |
| strengthenResult | Language.Haskell.Liquid.Transforms.CoreToLogic |
| 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 |
| strLen | Language.Haskell.Liquid.Measure |
| 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 |
| SubR | Language.Haskell.Liquid.Constraint.Types |
| subS | Language.Haskell.Liquid.Types.Strata |
| subsS | Language.Haskell.Liquid.Types.Strata |
| substParg | Language.Haskell.Liquid.Types.PredType |
| SubStratum | Language.Haskell.Liquid.Types.Strata |
| substTysWith | Language.Haskell.Liquid.GHC.Play |
| substTyV | Language.Haskell.Liquid.Constraint.ProofToCore |
| SubsTy | Language.Haskell.Liquid.Types |
| subsTyVars_meet | Language.Haskell.Liquid.Types.RefType |
| subsTyVars_nomeet | Language.Haskell.Liquid.Types.RefType |
| subsTyVar_meet | Language.Haskell.Liquid.Types.RefType |
| subsTyVar_meet' | Language.Haskell.Liquid.Types.RefType |
| subsTyVar_nomeet | Language.Haskell.Liquid.Types.RefType |
| subt | Language.Haskell.Liquid.Types |
| subts | Language.Haskell.Liquid.Types.RefType |
| subTy | Language.Haskell.Liquid.GHC.Play |
| subVar | Language.Haskell.Liquid.GHC.Play |
| subvPredicate | Language.Haskell.Liquid.Types.RefType |
| subvUReft | Language.Haskell.Liquid.Types.RefType |
| SVar | Language.Haskell.Liquid.Types |
| SWhnf | Language.Haskell.Liquid.Types |
| syenv | Language.Haskell.Liquid.Constraint.Types |
| symbolFastString | Language.Haskell.Liquid.GHC.Misc |
| symbolRTyVar | Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Misc |
| symbolTyCon | Language.Haskell.Liquid.GHC.Misc |
| symbolTyConWithKind | Language.Haskell.Liquid.GHC.Misc |
| symbolTyVar | Language.Haskell.Liquid.GHC.Misc |
| synTyConRhs_maybe | Language.Haskell.Liquid.GHC.Misc |