A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
!
$
+
.
<
=
?
-
_
All

Index - S

Safe	Language.Haskell.Liquid.UX.ACSS
safeBkArrow	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
safeFromAsserted	Language.Haskell.Liquid.Constraint.Template
safeFromJust	Language.Haskell.Liquid.Misc
safeFromLeft	Language.Haskell.Liquid.Misc
safeZip3WithError	Language.Haskell.Liquid.Misc
safeZip4WithError	Language.Haskell.Liquid.Misc
safeZipWithError	Language.Haskell.Liquid.Misc
saveLiftedSpec	Language.Haskell.Liquid.Bare
saveQuery	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
saveResult	Language.Haskell.Liquid.UX.DiffCheck
sayReadFile	Language.Haskell.Liquid.Misc
scrapeImports	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
scrapeInternals	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
scrapeUsedImports	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SDC	Liquid.GHC.API
SDoc	Liquid.GHC.API
sdocCanUseUnicode	Liquid.GHC.API
sdocColScheme	Liquid.GHC.API
SDocContext	Liquid.GHC.API
sdocDefaultDepth	Liquid.GHC.API
sDocDoc	Language.Haskell.Liquid.GHC.Misc
sdocErrorSpans	Liquid.GHC.API
sdocHexWordLiterals	Liquid.GHC.API
sdocImpredicativeTypes	Liquid.GHC.API
sdocLastColour	Liquid.GHC.API
sdocLinearTypes	Liquid.GHC.API
sdocLineLength	Liquid.GHC.API
sdocOption	Liquid.GHC.API
sdocPprDebug	Liquid.GHC.API
sdocPrintAxiomIncomps	Liquid.GHC.API
sdocPrintCaseAsLet	Liquid.GHC.API
sdocPrintEqualityRelations	Liquid.GHC.API
sdocPrintExplicitCoercions	Liquid.GHC.API
sdocPrintExplicitForalls	Liquid.GHC.API
sdocPrintExplicitKinds	Liquid.GHC.API
sdocPrintExplicitRuntimeReps	Liquid.GHC.API
sdocPrintPotentialInstances	Liquid.GHC.API
sdocPrintTypeAbbreviations	Liquid.GHC.API
sdocPrintTypecheckerElaboration	Liquid.GHC.API
sdocPrintUnicodeSyntax	Liquid.GHC.API
sdocShouldUseColor	Liquid.GHC.API
sdocStarIsType	Liquid.GHC.API
sdocStyle	Liquid.GHC.API
sdocSuppressCoercions	Liquid.GHC.API
sdocSuppressIdInfo	Liquid.GHC.API
sdocSuppressModulePrefixes	Liquid.GHC.API
sdocSuppressStgExts	Liquid.GHC.API
sdocSuppressTicks	Liquid.GHC.API
sdocSuppressTypeApplications	Liquid.GHC.API
sdocSuppressTypeSignatures	Liquid.GHC.API
sdocSuppressUnfoldings	Liquid.GHC.API
sdocSuppressUniques	Liquid.GHC.API
sdocSuppressVarKinds	Liquid.GHC.API
sdocUnitIdForUser	Liquid.GHC.API
sdocWithContext	Liquid.GHC.API
second3M	Language.Haskell.Liquid.Misc
secondM	Language.Haskell.Liquid.Misc
selfSymbol	Language.Haskell.Liquid.Types.Names, Language.Haskell.Liquid.Types
semi	Liquid.GHC.API
senv	Language.Haskell.Liquid.Constraint.Types
sep	Liquid.GHC.API
sepModNames	Language.Haskell.Liquid.GHC.Misc
sepUnique	Language.Haskell.Liquid.GHC.Misc
setBind	Language.Haskell.Liquid.Constraint.Env
setCafInfo	Liquid.GHC.API
setIdInfo	Liquid.GHC.API
setIdTRecBound	Language.Haskell.Liquid.Transforms.Rec
setLocation	Language.Haskell.Liquid.Constraint.Env
setOccInfo	Liquid.GHC.API
setRecs	Language.Haskell.Liquid.Constraint.Env
setRtvPol	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
setStyleColoured	Liquid.GHC.API
setTRec	Language.Haskell.Liquid.Constraint.Env
setVarName	Liquid.GHC.API
setVarType	Liquid.GHC.API
setVarUnique	Liquid.GHC.API
Severity	Liquid.GHC.API
SevWarning	Liquid.GHC.API
shiftVV	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
shortErrors	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
shortNames	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
showCBs	Language.Haskell.Liquid.GHC.Misc
showpp	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
showPpr
1 (Function)	Liquid.GHC.API
2 (Function)	Language.Haskell.Liquid.GHC.Misc
showPprQualified	Liquid.GHC.API.Extra, Liquid.GHC.API
showPprUnsafe	Liquid.GHC.API
showSDoc
1 (Function)	Liquid.GHC.API
2 (Function)	Language.Haskell.Liquid.GHC.Misc
showSDocDump
1 (Function)	Liquid.GHC.API
2 (Function)	Language.Haskell.Liquid.GHC.Misc
showSDocOneLine	Liquid.GHC.API
showSDocQualified	Liquid.GHC.API.Extra, Liquid.GHC.API
showSDocUnsafe	Liquid.GHC.API
showSpan	Language.Haskell.Liquid.GHC.SpanStack
showTy	Language.Haskell.Liquid.GHC.TypeRep
Sig	Liquid.GHC.API
SigD	Liquid.GHC.API
sigEmbs	Language.Haskell.Liquid.Bare.Types
SigEnv
1 (Type/Class)	Language.Haskell.Liquid.Bare.Types
2 (Data Constructor)	Language.Haskell.Liquid.Bare.Types
sigExports	Language.Haskell.Liquid.Bare.Types
sigRTEnv	Language.Haskell.Liquid.Bare.Types
sigs	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types
sigTyRTyMap	Language.Haskell.Liquid.Bare.Types
Simpl	Language.Haskell.Liquid.UX.QuasiQuoter
simplesymbol	Language.Haskell.Liquid.GHC.Misc
simpleSymbolVar	Language.Haskell.Liquid.Bare.Misc
simpleVersion	Language.Haskell.Liquid.UX.SimpleVersion
Simplified	Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBareType	Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBareType'	Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBareType''	Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBounds	Language.Haskell.Liquid.Transforms.Simplify
simplifyInfer	Liquid.GHC.API
simplifyInteractive	Liquid.GHC.API
single	Language.Haskell.Liquid.Misc
singleSpecP	Language.Haskell.Liquid.Parse
SizeFun	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
sizeFunction	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
skipModule	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
slice	Language.Haskell.Liquid.UX.DiffCheck
sliceSpecs	Language.Haskell.Liquid.Bare.Slice
sLit	Liquid.GHC.API
smtsolver	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
smtTimeout	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
snd4	Language.Haskell.Liquid.Misc
snd5	Language.Haskell.Liquid.Misc
sortDiff	Language.Haskell.Liquid.Misc
sortOn	Language.Haskell.Liquid.Misc
SourceError	Liquid.GHC.API
sourceErrors	Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
sourceName	Liquid.GHC.API
SourceNote	Liquid.GHC.API
sourcePos2SrcSpan	Language.Haskell.Liquid.GHC.Misc
sourcePosSrcLoc	Language.Haskell.Liquid.GHC.Misc
sourcePosSrcSpan	Language.Haskell.Liquid.GHC.Misc
sourceSpan	Liquid.GHC.API
SourceText
1 (Data Constructor)	Liquid.GHC.API
2 (Type/Class)	Liquid.GHC.API
SP	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
space	Liquid.GHC.API
Span
1 (Type/Class)	Language.Haskell.Liquid.GHC.SpanStack
2 (Data Constructor)	Language.Haskell.Liquid.GHC.SpanStack
SpanStack	Language.Haskell.Liquid.GHC.SpanStack
SpData	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
speakN	Liquid.GHC.API
speakNOf	Liquid.GHC.API
speakNth	Liquid.GHC.API
Spec
1 (Type/Class)	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types
2 (Data Constructor)	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types
specExpandType	Language.Haskell.Liquid.Bare.Expand
Specificity	Liquid.GHC.API
SpecifiedSpec	Liquid.GHC.API
SpecImport	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
specLazy	Language.Haskell.Liquid.Constraint.Types
specLVars	Language.Haskell.Liquid.Constraint.Types
SpecMeasure	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Types
SpecProp	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SpecRep	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SpecRTAlias	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SpecRTEnv	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SpecRTVar	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
specSpecificationP	Language.Haskell.Liquid.Parse
specTmVars	Language.Haskell.Liquid.Constraint.Types
specToBare	Language.Haskell.Liquid.Bare.ToBare
SpecType	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SpLaws	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
spliceRunAction	Liquid.GHC.API
splitAppTys	Liquid.GHC.API
splitC	Language.Haskell.Liquid.Constraint.Split
splitForAllTyCoVars	Liquid.GHC.API
splitFunTys	Liquid.GHC.API
splitFunTy_maybe	Liquid.GHC.API
splitModuleName	Language.Haskell.Liquid.GHC.Misc
splitModuleUnique	Language.Haskell.Liquid.GHC.Misc
splitters	Language.Haskell.Liquid.Misc
splitTyConApp	Liquid.GHC.API
splitTyConApp_maybe	Liquid.GHC.API
splitW	Language.Haskell.Liquid.Constraint.Split
splitXRelatedRefs	Language.Haskell.Liquid.Transforms.RefSplit
SpNames	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
SpQual	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
SpRefl	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
SpSig	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
SpTerm	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
sptypes	Language.Haskell.Liquid.UX.ACSS
SpVar	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
Src	Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Types
srcErrorMessages	Liquid.GHC.API
srcF	Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SrcImport	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
SrcLoc	Liquid.GHC.API
srcLocCol	Liquid.GHC.API
srcLocFile	Liquid.GHC.API
srcLocLine	Liquid.GHC.API
srcModuleName	Language.Haskell.Liquid.UX.ACSS
SrcSpan	Liquid.GHC.API
srcSpan	Language.Haskell.Liquid.GHC.SpanStack
srcSpanEndCol	Liquid.GHC.API
srcSpanEndLine	Liquid.GHC.API
srcSpanEndLoc	Language.Haskell.Liquid.GHC.Misc
srcSpanFile	Liquid.GHC.API
srcSpanFileMb	Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
srcSpanFilename	Language.Haskell.Liquid.GHC.Misc
srcSpanFileName_maybe	Liquid.GHC.API
srcSpanFSrcSpan	Language.Haskell.Liquid.GHC.Misc
srcSpanSourcePos	Language.Haskell.Liquid.GHC.Misc
srcSpanSourcePosE	Language.Haskell.Liquid.GHC.Misc
srcSpanStartCol	Liquid.GHC.API
srcSpanStartLine	Liquid.GHC.API
srcSpanStartLoc	Language.Haskell.Liquid.GHC.Misc
srcSpanToRealSrcSpan	Liquid.GHC.API
srcVars	Language.Haskell.Liquid.Bare.Resolve
StableModule	Liquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API
StableName	Language.Haskell.Liquid.GHC.Types
stableNameCmp	Liquid.GHC.API
start	Language.Haskell.Liquid.UX.DiffCheck
Status	Language.Haskell.Liquid.UX.ACSS
status	Language.Haskell.Liquid.UX.ACSS
StopLn	Liquid.GHC.API
StrataCheck	Language.Haskell.Liquid.Constraint.Termination
strengthen	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
strengthenDataConType	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
strengthenRefTypeGen	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
StrictnessMark	Liquid.GHC.API
stringClassArg	Language.Haskell.Liquid.GHC.Play
StringFilter	Language.Haskell.Liquid.Types.PrettyPrint, Language.Haskell.Liquid.Types
stringTheory	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
stringTy	Liquid.GHC.API
stringTyCon	Language.Haskell.Liquid.GHC.Misc
stringTyConWithKind	Language.Haskell.Liquid.GHC.Misc
stringTyVar	Language.Haskell.Liquid.GHC.Misc
stringVar	Language.Haskell.Liquid.GHC.Misc
stripParens	Language.Haskell.Liquid.GHC.Misc
stripParensSym	Language.Haskell.Liquid.GHC.Misc
stripRTypeBase	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
StrTyLit	Liquid.GHC.API
structuralTerm	Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
sub	Language.Haskell.Liquid.GHC.Play
Subable	Language.Haskell.Liquid.GHC.Play
SubC
1 (Type/Class)	Language.Haskell.Liquid.Constraint.Types
2 (Data Constructor)	Language.Haskell.Liquid.Constraint.Types
SubCo	Liquid.GHC.API
SubR	Language.Haskell.Liquid.Constraint.Types
substExpr
1 (Function)	Liquid.GHC.API
2 (Function)	Language.Haskell.Liquid.GHC.Play
substParg	Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types
substPVar	Language.Haskell.Liquid.Types.PredType, Language.Haskell.Liquid.Types
substTy	Liquid.GHC.API
substTysWith	Language.Haskell.Liquid.GHC.Play
substTyWith	Liquid.GHC.API
SubsTy	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
subsTyVarMeet	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subsTyVarMeet'	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subsTyVarNoMeet	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subsTyVarsMeet	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subsTyVarsNoMeet	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subt	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
subts	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subTy	Language.Haskell.Liquid.GHC.Play
subVar
1 (Function)	Language.Haskell.Liquid.GHC.Play
2 (Function)	Language.Haskell.Liquid.Constraint.Types
subvPredicate	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
subvUReft	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Types
svar	Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
syenv	Language.Haskell.Liquid.Constraint.Types
symbolFastString	Language.Haskell.Liquid.GHC.Misc
symbolName	Language.Haskell.Liquid.UX.QuasiQuoter
symbolRTyVar	Language.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Misc, Language.Haskell.Liquid.Types
symbolTyCon	Language.Haskell.Liquid.GHC.Misc
symbolTyConWithKind	Language.Haskell.Liquid.GHC.Misc
symbolTyVar	Language.Haskell.Liquid.GHC.Misc
SymCo	Liquid.GHC.API
SymSizeFun	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types
synTyConDefn_maybe	Liquid.GHC.API
synTyConRhs_maybe
1 (Function)	Liquid.GHC.API
2 (Function)	Language.Haskell.Liquid.GHC.Misc
szFun	Language.Haskell.Liquid.Types.Types, Language.Haskell.Liquid.Types