liquidhaskell-boot-0.9.10.1.2: Liquid Types for Haskell

Index - S

SafeLanguage.Haskell.Liquid.UX.ACSS
safeBkArrowLanguage.Haskell.Liquid.Types.RTypeOp
safeFromAssertedLanguage.Haskell.Liquid.Constraint.Template
safeFromJustLanguage.Haskell.Liquid.Misc
safeFromLeftLanguage.Haskell.Liquid.Misc
safeZip3WithErrorLanguage.Haskell.Liquid.Misc
safeZip4WithErrorLanguage.Haskell.Liquid.Misc
safeZipWithErrorLanguage.Haskell.Liquid.Misc
SameNameSpaceLiquid.GHC.API
saveQueryLanguage.Haskell.Liquid.UX.Config
saveResultLanguage.Haskell.Liquid.UX.DiffCheck
sayReadFileLanguage.Haskell.Liquid.Misc
scrapeInternalsLanguage.Haskell.Liquid.UX.Config
SDCLiquid.GHC.API
SDocLiquid.GHC.API
sdocCanUseUnicodeLiquid.GHC.API
sdocColSchemeLiquid.GHC.API
SDocContextLiquid.GHC.API
sdocDefaultDepthLiquid.GHC.API
sDocDocLanguage.Haskell.Liquid.GHC.Misc
sdocErrorSpansLiquid.GHC.API
sdocHexWordLiteralsLiquid.GHC.API
sdocLastColourLiquid.GHC.API
sdocLinearTypesLiquid.GHC.API
sdocLineLengthLiquid.GHC.API
sdocListTuplePunsLiquid.GHC.API
sdocOptionLiquid.GHC.API
sdocPprDebugLiquid.GHC.API
sdocPrintAxiomIncompsLiquid.GHC.API
sdocPrintCaseAsLetLiquid.GHC.API
sdocPrintEqualityRelationsLiquid.GHC.API
sdocPrintErrIndexLinksLiquid.GHC.API
sdocPrintExplicitCoercionsLiquid.GHC.API
sdocPrintExplicitForallsLiquid.GHC.API
sdocPrintExplicitKindsLiquid.GHC.API
sdocPrintExplicitRuntimeRepsLiquid.GHC.API
sdocPrintPotentialInstancesLiquid.GHC.API
sdocPrintTypeAbbreviationsLiquid.GHC.API
sdocPrintTypecheckerElaborationLiquid.GHC.API
sdocPrintUnicodeSyntaxLiquid.GHC.API
sdocShouldUseColorLiquid.GHC.API
sdocStarIsTypeLiquid.GHC.API
sdocStyleLiquid.GHC.API
sdocSuppressCoercionsLiquid.GHC.API
sdocSuppressCoercionTypesLiquid.GHC.API
sdocSuppressIdInfoLiquid.GHC.API
sdocSuppressModulePrefixesLiquid.GHC.API
sdocSuppressStgExtsLiquid.GHC.API
sdocSuppressStgRepsLiquid.GHC.API
sdocSuppressTicksLiquid.GHC.API
sdocSuppressTypeApplicationsLiquid.GHC.API
sdocSuppressTypeSignaturesLiquid.GHC.API
sdocSuppressUnfoldingsLiquid.GHC.API
sdocSuppressUniquesLiquid.GHC.API
sdocSuppressVarKindsLiquid.GHC.API
sdocUnitIdForUserLiquid.GHC.API
sdocWithContextLiquid.GHC.API
second3MLanguage.Haskell.Liquid.Misc
secondMLanguage.Haskell.Liquid.Misc
selfSymbolLanguage.Haskell.Liquid.Types.Names
semiLiquid.GHC.API
senvLanguage.Haskell.Liquid.Constraint.Types
sepLiquid.GHC.API
sepModNamesLanguage.Haskell.Liquid.GHC.Misc
sepUniqueLanguage.Haskell.Liquid.GHC.Misc
Serialized 
1 (Type/Class)Liquid.GHC.API
2 (Data Constructor)Liquid.GHC.API
Session 
1 (Type/Class)Liquid.GHC.API
2 (Data Constructor)Liquid.GHC.API
setBindLanguage.Haskell.Liquid.Constraint.Env
setCafInfoLiquid.GHC.API
setGblEnvLiquid.GHC.API
setIdInfoLiquid.GHC.API
setLocationLanguage.Haskell.Liquid.Constraint.Env
setOccInfoLiquid.GHC.API
setRecsLanguage.Haskell.Liquid.Constraint.Env
setRtvPolLanguage.Haskell.Liquid.Types.RType
setStyleColouredLiquid.GHC.API
setTRecLanguage.Haskell.Liquid.Constraint.Env
setVarNameLiquid.GHC.API
setVarTypeLiquid.GHC.API
setVarUniqueLiquid.GHC.API
SeverityLiquid.GHC.API
SevWarningLiquid.GHC.API
shiftVVLanguage.Haskell.Liquid.Types.RefType
shortErrorsLanguage.Haskell.Liquid.UX.Config
shortNamesLanguage.Haskell.Liquid.UX.Config
showCBsLanguage.Haskell.Liquid.GHC.Misc
showppLanguage.Haskell.Liquid.Types.Types
showPpr 
1 (Function)Liquid.GHC.API
2 (Function)Language.Haskell.Liquid.GHC.Misc
showPprDebugLiquid.GHC.API.Extra, Liquid.GHC.API
showPprQualifiedLiquid.GHC.API.Extra, Liquid.GHC.API
showPprUnsafeLiquid.GHC.API
showSDoc 
1 (Function)Liquid.GHC.API
2 (Function)Language.Haskell.Liquid.GHC.Misc
showSDocDumpLanguage.Haskell.Liquid.GHC.Misc
showSDocOneLineLiquid.GHC.API
showSDocQualifiedLiquid.GHC.API.Extra, Liquid.GHC.API
showSDocUnsafeLiquid.GHC.API
showSpanLanguage.Haskell.Liquid.GHC.SpanStack
showTyLanguage.Haskell.Liquid.GHC.TypeRep
SigLiquid.GHC.API
SigDLiquid.GHC.API
sigEmbsLanguage.Haskell.Liquid.Bare.Types
SigEnv 
1 (Type/Class)Language.Haskell.Liquid.Bare.Types
2 (Data Constructor)Language.Haskell.Liquid.Bare.Types
sigExportsLanguage.Haskell.Liquid.Bare.Types
sigRTEnvLanguage.Haskell.Liquid.Bare.Types
sigsLanguage.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure
sigTyRTyMapLanguage.Haskell.Liquid.Bare.Types
SimplLanguage.Haskell.Liquid.UX.QuasiQuoter
simplesymbolLanguage.Haskell.Liquid.GHC.Misc
simpleSymbolVarLanguage.Haskell.Liquid.Bare.Misc
simpleVersionLanguage.Haskell.Liquid.UX.SimpleVersion
SimplifiedLanguage.Haskell.Liquid.UX.QuasiQuoter
simplifyBareTypeLanguage.Haskell.Liquid.UX.QuasiQuoter
simplifyBareType'Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBareType''Language.Haskell.Liquid.UX.QuasiQuoter
simplifyBoundsLanguage.Haskell.Liquid.Transforms.Simplify
simplifyInferLiquid.GHC.API
simplifyInteractiveLiquid.GHC.API
singleLanguage.Haskell.Liquid.Misc
singleSpecPLanguage.Haskell.Liquid.Parse
singularLiquid.GHC.API
SizeFunLanguage.Haskell.Liquid.Types.RType
sizeFunctionLanguage.Haskell.Liquid.Types.RType
SizeFunVLanguage.Haskell.Liquid.Types.RType
skipModuleLanguage.Haskell.Liquid.UX.Config
sliceLanguage.Haskell.Liquid.UX.DiffCheck
smtsolverLanguage.Haskell.Liquid.UX.Config
smtTimeoutLanguage.Haskell.Liquid.UX.Config
snd4Language.Haskell.Liquid.Misc
snd5Language.Haskell.Liquid.Misc
sortDiffLanguage.Haskell.Liquid.Misc
sortOnLanguage.Haskell.Liquid.Misc
SourceErrorLiquid.GHC.API
sourceErrorsLanguage.Haskell.Liquid.Types.Errors
sourceNameLiquid.GHC.API
SourceNoteLiquid.GHC.API
sourcePos2SrcSpanLanguage.Haskell.Liquid.GHC.Misc
sourcePosSrcLocLanguage.Haskell.Liquid.GHC.Misc
sourcePosSrcSpanLanguage.Haskell.Liquid.GHC.Misc
sourceSpanLiquid.GHC.API
SourceText 
1 (Type/Class)Liquid.GHC.API
2 (Data Constructor)Liquid.GHC.API
SPLanguage.Haskell.Liquid.Types.Specs
spaceLiquid.GHC.API
spaceIfSingleQuoteLiquid.GHC.API
Span 
1 (Type/Class)Language.Haskell.Liquid.GHC.SpanStack
2 (Data Constructor)Language.Haskell.Liquid.GHC.SpanStack
SpanStackLanguage.Haskell.Liquid.GHC.SpanStack
SpDataLanguage.Haskell.Liquid.Types.Specs
speakNLiquid.GHC.API
speakNOfLiquid.GHC.API
speakNthLiquid.GHC.API
Spec 
1 (Type/Class)Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure
2 (Data Constructor)Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure
specExpandTypeLanguage.Haskell.Liquid.Bare.Expand
SpecificityLiquid.GHC.API
SpecifiedSpecLiquid.GHC.API
SpecImportLanguage.Haskell.Liquid.Types.Types
specLazyLanguage.Haskell.Liquid.Constraint.Types
specLVarsLanguage.Haskell.Liquid.Constraint.Types
SpecMeasureLanguage.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure
SpecPropLanguage.Haskell.Liquid.Types.RType
SpecRepLanguage.Haskell.Liquid.Types.RTypeOp
SpecRTAliasLanguage.Haskell.Liquid.Types.Types
SpecRTEnvLanguage.Haskell.Liquid.Types.Types
SpecRTVarLanguage.Haskell.Liquid.Types.RType
specTmVarsLanguage.Haskell.Liquid.Constraint.Types
specToBareLanguage.Haskell.Liquid.Bare.ToBare
SpecTypeLanguage.Haskell.Liquid.Types.RType
spliceRunActionLiquid.GHC.API
splitAppTysLiquid.GHC.API
splitCLanguage.Haskell.Liquid.Constraint.Split
splitDollarAppLiquid.GHC.API.Extra, Liquid.GHC.API
splitForAllTyCoVarsLiquid.GHC.API
splitFunTysLiquid.GHC.API
splitFunTy_maybeLiquid.GHC.API
splitModuleNameLanguage.Haskell.Liquid.GHC.Misc
splitModuleUniqueLanguage.Haskell.Liquid.GHC.Misc
splittersLanguage.Haskell.Liquid.Misc
splitTyConAppLiquid.GHC.API
splitTyConApp_maybeLiquid.GHC.API
splitWLanguage.Haskell.Liquid.Constraint.Split
splitXRelatedRefsLanguage.Haskell.Liquid.Transforms.RefSplit
SpNamesLanguage.Haskell.Liquid.Types.Specs
SpQualLanguage.Haskell.Liquid.Types.Specs
SpReflLanguage.Haskell.Liquid.Types.Specs
SpSigLanguage.Haskell.Liquid.Types.Specs
SpTermLanguage.Haskell.Liquid.Types.Specs
sptypesLanguage.Haskell.Liquid.UX.ACSS
SpVarLanguage.Haskell.Liquid.Types.Specs
SrcLanguage.Haskell.Liquid.Types.Specs
srcErrorMessagesLiquid.GHC.API
srcFLanguage.Haskell.Liquid.Types.Errors
SrcImportLanguage.Haskell.Liquid.Types.Types
SrcLocLiquid.GHC.API
srcLocColLiquid.GHC.API
srcLocFileLiquid.GHC.API
srcLocLineLiquid.GHC.API
srcModuleNameLanguage.Haskell.Liquid.UX.ACSS
SrcSpanLiquid.GHC.API
srcSpanLanguage.Haskell.Liquid.GHC.SpanStack
srcSpanEndColLiquid.GHC.API
srcSpanEndLineLiquid.GHC.API
srcSpanEndLocLanguage.Haskell.Liquid.GHC.Misc
srcSpanFileLiquid.GHC.API
srcSpanFileMbLanguage.Haskell.Liquid.Types.Errors
srcSpanFilenameLanguage.Haskell.Liquid.GHC.Misc
srcSpanFileName_maybeLiquid.GHC.API
srcSpanFSrcSpanLanguage.Haskell.Liquid.GHC.Misc
srcSpanSourcePosLanguage.Haskell.Liquid.GHC.Misc
srcSpanSourcePosELanguage.Haskell.Liquid.GHC.Misc
srcSpanStartColLiquid.GHC.API
srcSpanStartLineLiquid.GHC.API
srcSpanStartLocLanguage.Haskell.Liquid.GHC.Misc
srcSpanToRealSrcSpanLiquid.GHC.API
StableModuleLiquid.GHC.API.StableModule, Liquid.GHC.API.Extra, Liquid.GHC.API
stableModuleCmpLiquid.GHC.API
StableNameLanguage.Haskell.Liquid.GHC.Types
stableNameCmpLiquid.GHC.API
startLanguage.Haskell.Liquid.UX.DiffCheck
StatusLanguage.Haskell.Liquid.UX.ACSS
statusLanguage.Haskell.Liquid.UX.ACSS
StopLnLiquid.GHC.API
StrataCheckLanguage.Haskell.Liquid.Constraint.Termination
strengthenLanguage.Haskell.Liquid.Types.RefType
strengthenDataConTypeLanguage.Haskell.Liquid.Types.RefType
strengthenRefTypeGenLanguage.Haskell.Liquid.Types.RefType
strengthenSpecWithMeasureLanguage.Haskell.Liquid.Bare.Axiom
strengthenWithLanguage.Haskell.Liquid.Types.RefType
StrictnessMarkLiquid.GHC.API
strictNothingLiquid.GHC.API.Extra, Liquid.GHC.API
stringClassArgLanguage.Haskell.Liquid.GHC.Play
StringFilterLanguage.Haskell.Liquid.Types.PrettyPrint
stringTheoryLanguage.Haskell.Liquid.UX.Config
stringTyLiquid.GHC.API
stringTyConLanguage.Haskell.Liquid.GHC.Misc
stringTyConWithKindLanguage.Haskell.Liquid.GHC.Misc
stringTyVarLanguage.Haskell.Liquid.GHC.Misc
stringVarLanguage.Haskell.Liquid.GHC.Misc
stripParensLanguage.Haskell.Liquid.GHC.Misc
stripParensSymLanguage.Haskell.Liquid.GHC.Misc
stripRTypeBaseLanguage.Haskell.Liquid.Types.RTypeOp
StrTyLitLiquid.GHC.API
structuralTermLanguage.Haskell.Liquid.UX.Config
subLanguage.Haskell.Liquid.GHC.Play
SubableLanguage.Haskell.Liquid.GHC.Play
SubC 
1 (Type/Class)Language.Haskell.Liquid.Constraint.Types
2 (Data Constructor)Language.Haskell.Liquid.Constraint.Types
SubRLanguage.Haskell.Liquid.Constraint.Types
substCoLiquid.GHC.API
substExpr 
1 (Function)Liquid.GHC.API
2 (Function)Language.Haskell.Liquid.GHC.Play
substPargLanguage.Haskell.Liquid.Types.PredType
substPVarLanguage.Haskell.Liquid.Types.PredType
substTyLiquid.GHC.API
substTysWithLanguage.Haskell.Liquid.GHC.Play
substTyWithLiquid.GHC.API
SubsTyLanguage.Haskell.Liquid.Types.Types
subsTyVarMeetLanguage.Haskell.Liquid.Types.RefType
subsTyVarMeet'Language.Haskell.Liquid.Types.RefType
subsTyVarNoMeetLanguage.Haskell.Liquid.Types.RefType
subsTyVarsMeetLanguage.Haskell.Liquid.Types.RefType
subsTyVarsNoMeetLanguage.Haskell.Liquid.Types.RefType
subtLanguage.Haskell.Liquid.Types.Types
subtsLanguage.Haskell.Liquid.Types.RefType
subTyLanguage.Haskell.Liquid.GHC.Play
subVar 
1 (Function)Language.Haskell.Liquid.GHC.Play
2 (Function)Language.Haskell.Liquid.Constraint.Types
subvPredicateLanguage.Haskell.Liquid.Types.RefType
subvUReftLanguage.Haskell.Liquid.Types.RefType
svarLanguage.Haskell.Liquid.Types.Errors
symbolFastStringLanguage.Haskell.Liquid.GHC.Misc
symbolNameLanguage.Haskell.Liquid.UX.QuasiQuoter
symbolRTyVarLanguage.Haskell.Liquid.Types.RefType, Language.Haskell.Liquid.Bare.Misc
symbolTyVarLanguage.Haskell.Liquid.GHC.Misc
SymCoLiquid.GHC.API
SymSizeFunLanguage.Haskell.Liquid.Types.RType
syntaxLanguage.Haskell.Liquid.CSS
synTyConDefn_maybeLiquid.GHC.API
synTyConRhs_maybe 
1 (Function)Liquid.GHC.API
2 (Function)Language.Haskell.Liquid.GHC.Misc
szFunLanguage.Haskell.Liquid.Types.RType