| Safe | Language.Haskell.Liquid.UX.ACSS |
| safeBkArrow | Language.Haskell.Liquid.Types |
| safeFromJust | |
| 1 (Function) | Language.Haskell.Liquid.Misc |
| 2 (Function) | Test.Target.Util |
| safeZip3WithError | Language.Haskell.Liquid.Misc |
| safeZipWith | Language.Haskell.Liquid.Prelude |
| safeZipWithError | Language.Haskell.Liquid.Misc |
| sameVis | Language.Haskell.Liquid.GHC.TypeRep |
| saveLiftedSpec | Language.Haskell.Liquid.Bare |
| saveQuery | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| saveResult | Language.Haskell.Liquid.UX.DiffCheck |
| scDepth | Test.Target.Monad, Test.Target |
| scheck | Language.Haskell.Liquid.Constraint.Types |
| sCount | Language.Haskell.Liquid.Interactive.Types |
| scrapeImports | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| scrapeInternals | 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 |
| second3M | Language.Haskell.Liquid.Misc |
| secondM | Language.Haskell.Liquid.Misc |
| selectMatchVar | Language.Haskell.Liquid.Desugar.DsUtils |
| selectMatchVars | Language.Haskell.Liquid.Desugar.DsUtils |
| selectSimpleMatchVarL | Language.Haskell.Liquid.Desugar.DsUtils |
| senv | Language.Haskell.Liquid.Constraint.Types |
| sepModNames | Language.Haskell.Liquid.GHC.Misc |
| sepUnique | Language.Haskell.Liquid.GHC.Misc |
| seqVar | Language.Haskell.Liquid.Desugar.DsUtils |
| setBind | Language.Haskell.Liquid.Constraint.Env |
| setCvSubstEnv | Language.Haskell.Liquid.GHC.TypeRep |
| setDataDecls | Language.Haskell.Liquid.Bare.Env |
| setIdTRecBound | Language.Haskell.Liquid.Transforms.Rec |
| 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 |
| setTvSubstEnv | Language.Haskell.Liquid.GHC.TypeRep |
| setup | Test.Target.Testable |
| SFin | Language.Haskell.Liquid.Types |
| shiftEqns | Language.Haskell.Liquid.Desugar.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 |
| showCBs | Language.Haskell.Liquid.GHC.Misc |
| 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 |
| showTy | Language.Haskell.Liquid.GHC.TypeRep |
| sigs | |
| 1 (Function) | Language.Haskell.Liquid.Measure |
| 2 (Function) | Test.Target.Monad |
| SimpleEq | Language.Haskell.Liquid.Desugar.TmOracle |
| simpleProof | Language.Haskell.Liquid.ProofCombinators |
| simplesymbol | Language.Haskell.Liquid.GHC.Misc |
| simpleSymbolVar | Language.Haskell.Liquid.Bare.Misc |
| simplifyBounds | Language.Haskell.Liquid.Transforms.Simplify |
| single | Language.Haskell.Liquid.Misc |
| singleSpecP | Language.Haskell.Liquid.Parse |
| singletonPVar | Language.Haskell.Liquid.Desugar.DsMonad |
| SizeFun | Language.Haskell.Liquid.Types |
| 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 |
| smtContext | Test.Target.Monad |
| SmtError | Test.Target.Types |
| SmtFailedToProduceOutput | Test.Target.Types |
| SMTInstances | Language.Haskell.Liquid.UX.Config |
| smtsolver | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| snd4 | Language.Haskell.Liquid.Misc |
| solveOneEq | Language.Haskell.Liquid.Desugar.TmOracle |
| solver | Test.Target.Monad, Test.Target |
| solveStrata | Language.Haskell.Liquid.Types.Strata |
| sort | Language.Haskell.Liquid.Types |
| sortDiff | Language.Haskell.Liquid.Misc |
| sorts | Test.Target.Monad |
| 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 |
| 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 |
| Specified | Language.Haskell.Liquid.GHC.TypeRep |
| SpecImport | Language.Haskell.Liquid.Types |
| specLazy | Language.Haskell.Liquid.Constraint.Types |
| specLVars | Language.Haskell.Liquid.Constraint.Types |
| SpecMeasure | Language.Haskell.Liquid.Measure |
| SpecProp | Language.Haskell.Liquid.Types |
| specSpecificationP | Language.Haskell.Liquid.Parse |
| specToBare | Language.Haskell.Liquid.Bare.ToBare |
| SpecType | Language.Haskell.Liquid.Types |
| splitC | Language.Haskell.Liquid.Constraint.Split |
| splitEApp_maybe | Test.Target.Util |
| splitModuleName | Language.Haskell.Liquid.GHC.Misc |
| splitS | Language.Haskell.Liquid.Constraint.Split |
| splitters | Language.Haskell.Liquid.Misc |
| splitW | Language.Haskell.Liquid.Constraint.Split |
| splitXRelatedRefs | Language.Haskell.Liquid.Transforms.RefSplit |
| sptInitCode | Language.Haskell.Liquid.Desugar.StaticPtrTable |
| 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 |
| strengthenHaskellInlines | Language.Haskell.Liquid.Bare.Measure |
| strengthenHaskellMeasures | Language.Haskell.Liquid.Bare.Measure |
| strengthenRefTypeGen | Language.Haskell.Liquid.Types.RefType |
| strengthenResult | Language.Haskell.Liquid.Transforms.CoreToLogic |
| strengthenResult' | Language.Haskell.Liquid.Transforms.CoreToLogic |
| stringClassArg | Language.Haskell.Liquid.GHC.Play |
| stringTheory | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
| 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 |
| stripQuals | Test.Target.Util |
| stripRTypeBase | Language.Haskell.Liquid.Types |
| StrTyLit | Language.Haskell.Liquid.GHC.TypeRep |
| Su | Language.Haskell.Liquid.Model |
| 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.TypeRep |
| SubR | Language.Haskell.Liquid.Constraint.Types |
| subS | Language.Haskell.Liquid.Types.Strata |
| subsS | Language.Haskell.Liquid.Types.Strata |
| substCo | Language.Haskell.Liquid.GHC.TypeRep |
| substCos | Language.Haskell.Liquid.GHC.TypeRep |
| substCoUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substCoVar | Language.Haskell.Liquid.GHC.TypeRep |
| substCoVarBndr | Language.Haskell.Liquid.GHC.TypeRep |
| substCoVarBndrCallback | Language.Haskell.Liquid.GHC.TypeRep |
| substCoVars | Language.Haskell.Liquid.GHC.TypeRep |
| substCoWith | Language.Haskell.Liquid.GHC.TypeRep |
| substCoWithUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substForAllCoBndr | Language.Haskell.Liquid.GHC.TypeRep |
| substForAllCoBndrCallback | Language.Haskell.Liquid.GHC.TypeRep |
| substParg | Language.Haskell.Liquid.Types.PredType |
| SubStratum | Language.Haskell.Liquid.Types.Strata |
| substTheta | Language.Haskell.Liquid.GHC.TypeRep |
| substThetaUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substTy | Language.Haskell.Liquid.GHC.TypeRep |
| substTyAddInScope | Language.Haskell.Liquid.GHC.TypeRep |
| substTys | Language.Haskell.Liquid.GHC.TypeRep |
| substTysUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substTysWith | |
| 1 (Function) | Language.Haskell.Liquid.GHC.TypeRep |
| 2 (Function) | Language.Haskell.Liquid.GHC.Play |
| substTysWithCoVars | Language.Haskell.Liquid.GHC.TypeRep |
| substTyUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substTyVar | Language.Haskell.Liquid.GHC.TypeRep |
| substTyVarBndr | Language.Haskell.Liquid.GHC.TypeRep |
| substTyVarBndrCallback | Language.Haskell.Liquid.GHC.TypeRep |
| substTyVars | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWith | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWithBinders | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWithBindersUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWithCoVars | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWithInScope | Language.Haskell.Liquid.GHC.TypeRep |
| substTyWithUnchecked | Language.Haskell.Liquid.GHC.TypeRep |
| 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 | |
| 1 (Function) | Language.Haskell.Liquid.GHC.Play |
| 2 (Function) | Language.Haskell.Liquid.Constraint.Types |
| 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 |
| symbolMeasure | Language.Haskell.Liquid.Bare.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 |
| SymCo | Language.Haskell.Liquid.GHC.TypeRep |
| SymSizeFun | Language.Haskell.Liquid.Types |
| synTyConRhs_maybe | Language.Haskell.Liquid.GHC.Misc |
| szFun | Language.Haskell.Liquid.Types |