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 |