Index

=>>	Language.Haskell.Liquid.Misc
addIds	Language.Haskell.Liquid.Fixpoint
addSyms	Language.Haskell.Liquid.RefType
adjustMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
adjustMatchResultDs	Language.Haskell.Liquid.Desugar.DsUtils
AI	Language.Haskell.Liquid.Annotate
aliases	Language.Haskell.Liquid.Measure
allDepNames	Language.Haskell.Liquid.GhcInterface
alwaysFailMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
anfPrefix	Language.Haskell.Liquid.Fixpoint
Angry	Language.Haskell.Liquid.Misc
Ann	Language.Haskell.Liquid.ACSS
AnnInfo	Language.Haskell.Liquid.Annotate
AnnMap	Language.Haskell.Liquid.ACSS
Annot
1 (Data Constructor)	Language.Haskell.Liquid.FileNames
2 (Type/Class)	Language.Haskell.Liquid.Annotate
annotate	Language.Haskell.Liquid.Annotate
annotMap	Language.Haskell.Liquid.Constraint
anormalize	Language.Haskell.Liquid.ANFTransform
applyNonNull	Language.Haskell.Liquid.Misc
BareType	Language.Haskell.Liquid.RefType
BindEnv	Language.Haskell.Liquid.Fixpoint
BindId	Language.Haskell.Liquid.Fixpoint
bindings	Language.Haskell.Liquid.GhcInterface
binds
1 (Function)	Language.Haskell.Liquid.Measure
2 (Function)	Language.Haskell.Liquid.Constraint
bkArrow	Language.Haskell.Liquid.RefType
bkUniv	Language.Haskell.Liquid.RefType
Body	Language.Haskell.Liquid.Measure
body	Language.Haskell.Liquid.Measure
boolConName	Language.Haskell.Liquid.FileNames
boolFTyCon	Language.Haskell.Liquid.Fixpoint
Bop	Language.Haskell.Liquid.Fixpoint
boxStrCat	Language.Haskell.Liquid.Misc
BPVar	Language.Haskell.Liquid.RefType
breakS	Language.Haskell.Liquid.ACSS
Brel	Language.Haskell.Liquid.Fixpoint
BRType	Language.Haskell.Liquid.RefType
bs	Language.Haskell.Liquid.Fixpoint
BSort	Language.Haskell.Liquid.RefType
CanFail	Language.Haskell.Liquid.Desugar.DsUtils
CanItFail	Language.Haskell.Liquid.Desugar.DsUtils
CantFail	Language.Haskell.Liquid.Desugar.DsUtils
cantFailMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
catSubst	Language.Haskell.Liquid.Fixpoint
cbs	Language.Haskell.Liquid.GhcInterface
CBVisitable	Language.Haskell.Liquid.GhcInterface
Cgi	Language.Haskell.Liquid.FileNames
CGInfo
1 (Type/Class)	Language.Haskell.Liquid.Constraint
2 (Data Constructor)	Language.Haskell.Liquid.Constraint
checkAssertSpec	Language.Haskell.Liquid.GhcInterface
checkExitCode	Language.Haskell.Liquid.Misc
checkFail	Language.Haskell.Liquid.Misc
checkSortedReft	Language.Haskell.Liquid.Fixpoint
chopAfter	Language.Haskell.Liquid.Misc
chopAlt	Language.Haskell.Liquid.Misc
chopPrefix	Language.Haskell.Liquid.Misc
Ci	Language.Haskell.Liquid.Constraint
Cinfo	Language.Haskell.Liquid.Constraint
colorPhaseLn	Language.Haskell.Liquid.Misc
colorResult	Language.Haskell.Liquid.Fixpoint
colorStrLn	Language.Haskell.Liquid.Misc
combineMatchResults	Language.Haskell.Liquid.Desugar.DsUtils
Constant	Language.Haskell.Liquid.Fixpoint
copyFiles	Language.Haskell.Liquid.FileNames
Crash	Language.Haskell.Liquid.Fixpoint
cs	Language.Haskell.Liquid.Fixpoint
Cst	Language.Haskell.Liquid.FileNames
ctor
1 (Function)	Language.Haskell.Liquid.Measure
2 (Function)	Language.Haskell.Liquid.Bare
ctorMap	Language.Haskell.Liquid.Measure
D	Language.Haskell.Liquid.RefType
Dat	Language.Haskell.Liquid.FileNames
dataConMsReft	Language.Haskell.Liquid.RefType
DataConP
1 (Type/Class)	Language.Haskell.Liquid.PredType
2 (Data Constructor)	Language.Haskell.Liquid.PredType
dataConPSpecType	Language.Haskell.Liquid.PredType
dataConReft	Language.Haskell.Liquid.RefType
dataConSymbol	Language.Haskell.Liquid.RefType
dataConTy	Language.Haskell.Liquid.PredType
dataConTypes	Language.Haskell.Liquid.Measure
DataDecl	Language.Haskell.Liquid.RefType
dataDecls	Language.Haskell.Liquid.Measure
dconsP	Language.Haskell.Liquid.Bare
decomposeRuleLhs	Language.Haskell.Liquid.Desugar.DsBinds
Def
1 (Type/Class)	Language.Haskell.Liquid.Measure
2 (Data Constructor)	Language.Haskell.Liquid.Measure
3 (Data Constructor)	Language.Haskell.Liquid.Annotate
defaultTag	Language.Haskell.Liquid.CTags
definedVars	Language.Haskell.Liquid.GhcInterface
defVars	Language.Haskell.Liquid.GhcInterface
deleteBinFiles	Language.Haskell.Liquid.FileNames
deleteIBindEnv	Language.Haskell.Liquid.Fixpoint
deleteSEnv	Language.Haskell.Liquid.Fixpoint
depNames	Language.Haskell.Liquid.GhcInterface
desugarModuleWithLoc	Language.Haskell.Liquid.GhcInterface
deSugarWithLoc	Language.Haskell.Liquid.Desugar.Desugar
dirImportNames	Language.Haskell.Liquid.GhcInterface
distinct	Language.Haskell.Liquid.Misc
Div	Language.Haskell.Liquid.Fixpoint
doneLine	Language.Haskell.Liquid.Misc
donePhase	Language.Haskell.Liquid.Misc
dropModuleNames	Language.Haskell.Liquid.GhcMisc
dropSyms	Language.Haskell.Liquid.RefType
dsEvBinds	Language.Haskell.Liquid.Desugar.DsBinds
dsExpr	Language.Haskell.Liquid.Desugar.DsExpr
dsGRHSs	Language.Haskell.Liquid.Desugar.DsGRHSs
dsGuarded	Language.Haskell.Liquid.Desugar.DsGRHSs
dsHsWrapper	Language.Haskell.Liquid.Desugar.DsBinds
dsLExprWithLoc	Language.Haskell.Liquid.Desugar.DsExpr
dsLHsBinds	Language.Haskell.Liquid.Desugar.DsBinds
dsListComp	Language.Haskell.Liquid.Desugar.DsListComp
dsLit	Language.Haskell.Liquid.Desugar.MatchLit, Language.Haskell.Liquid.Desugar.DsExpr
dsLocalBinds	Language.Haskell.Liquid.Desugar.DsExpr
dsMonadComp	Language.Haskell.Liquid.Desugar.DsListComp
dsOverLit	Language.Haskell.Liquid.Desugar.MatchLit
dsPArrComp	Language.Haskell.Liquid.Desugar.DsListComp
dsProcExpr	Language.Haskell.Liquid.Desugar.DsArrows
dsSpec	Language.Haskell.Liquid.Desugar.DsBinds
dsSyntaxTable	Language.Haskell.Liquid.Desugar.DsUtils
dsTcCoercion	Language.Haskell.Liquid.Desugar.DsBinds
dsTcEvBinds	Language.Haskell.Liquid.Desugar.DsBinds
dsTopLHsBinds	Language.Haskell.Liquid.Desugar.DsBinds
dsValBinds	Language.Haskell.Liquid.Desugar.DsExpr
dummyName	Language.Haskell.Liquid.FileNames
dummySymbol	Language.Haskell.Liquid.Fixpoint
E	Language.Haskell.Liquid.Measure
EApp	Language.Haskell.Liquid.Fixpoint
EBin	Language.Haskell.Liquid.Fixpoint
EBot	Language.Haskell.Liquid.Fixpoint
ECon	Language.Haskell.Liquid.Fixpoint
ECst	Language.Haskell.Liquid.Fixpoint
efoldReft	Language.Haskell.Liquid.RefType
EIte	Language.Haskell.Liquid.Fixpoint
ELit	Language.Haskell.Liquid.Fixpoint
embeds	Language.Haskell.Liquid.Measure
Emp	Language.Haskell.Liquid.Misc
Empty	Language.Haskell.Liquid.Misc
emptyBindEnv	Language.Haskell.Liquid.Fixpoint
emptyIBindEnv	Language.Haskell.Liquid.Fixpoint
emptySEnv	Language.Haskell.Liquid.Fixpoint
emptySubst	Language.Haskell.Liquid.Fixpoint
env	Language.Haskell.Liquid.GhcInterface
Eq	Language.Haskell.Liquid.Fixpoint
EqnInfo	Language.Haskell.Liquid.Desugar.DsUtils
eqn_pats	Language.Haskell.Liquid.Desugar.DsUtils
eqn_rhs	Language.Haskell.Liquid.Desugar.DsUtils
EquationInfo	Language.Haskell.Liquid.Desugar.DsUtils
errors	Language.Haskell.Liquid.ACSS
errorstar	Language.Haskell.Liquid.Misc
EVar	Language.Haskell.Liquid.Fixpoint
executeShellCommand	Language.Haskell.Liquid.Misc
expandRApp	Language.Haskell.Liquid.RefType
expandRTAliases	Language.Haskell.Liquid.Measure
expandSnd	Language.Haskell.Liquid.Misc
Expr	Language.Haskell.Liquid.Fixpoint
exprFreeVars	Language.Haskell.Liquid.GhcInterface
exprLiterals	Language.Haskell.Liquid.GhcInterface
exprReadVars	Language.Haskell.Liquid.GhcInterface
exprReft	Language.Haskell.Liquid.Fixpoint
exprType	Language.Haskell.Liquid.PredType
Ext	Language.Haskell.Liquid.FileNames
extendEnv	Language.Haskell.Liquid.GhcInterface
extFileName	Language.Haskell.Liquid.FileNames
extModuleName	Language.Haskell.Liquid.FileNames
extractMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
FApp	Language.Haskell.Liquid.Fixpoint
FEnv	Language.Haskell.Liquid.Fixpoint
fFReft	Language.Haskell.Liquid.RefType
FFunc	Language.Haskell.Liquid.Fixpoint
FI	Language.Haskell.Liquid.Fixpoint
findFileInDirs	Language.Haskell.Liquid.FileNames
findFirst	Language.Haskell.Liquid.Misc
findPVar	Language.Haskell.Liquid.RefType
findWithDefaultL	Language.Haskell.Liquid.Misc
FInfo	Language.Haskell.Liquid.Fixpoint
FInt	Language.Haskell.Liquid.Fixpoint
firstElem	Language.Haskell.Liquid.Misc
firstPat	Language.Haskell.Liquid.Desugar.DsUtils
fixCs	Language.Haskell.Liquid.Constraint
Fixpoint	Language.Haskell.Liquid.Fixpoint
FixResult	Language.Haskell.Liquid.Fixpoint
FixSolution	Language.Haskell.Liquid.Fixpoint
fixWfs	Language.Haskell.Liquid.Constraint
flattenRefas	Language.Haskell.Liquid.Fixpoint
FNum	Language.Haskell.Liquid.Fixpoint
FObj	Language.Haskell.Liquid.Fixpoint
foldReft	Language.Haskell.Liquid.RefType
Fq	Language.Haskell.Liquid.FileNames
freePred	Language.Haskell.Liquid.PredType
freePredTy	Language.Haskell.Liquid.PredType
freeSyms	Language.Haskell.Liquid.Bare
freeTyVars
1 (Function)	Language.Haskell.Liquid.RefType
2 (Function)	Language.Haskell.Liquid.PredType
freeTyVarsTy	Language.Haskell.Liquid.PredType
freeVars	Language.Haskell.Liquid.GhcInterface
FReft
1 (Type/Class)	Language.Haskell.Liquid.RefType
2 (Data Constructor)	Language.Haskell.Liquid.RefType
freshIndex	Language.Haskell.Liquid.Constraint
fromFReft	Language.Haskell.Liquid.RefType
fromListSEnv	Language.Haskell.Liquid.Fixpoint
fromRMono	Language.Haskell.Liquid.RefType
fromRPoly	Language.Haskell.Liquid.RefType
FSReft	Language.Haskell.Liquid.RefType
fst3	Language.Haskell.Liquid.Misc
fSyms	Language.Haskell.Liquid.RefType
FTycon	Language.Haskell.Liquid.Fixpoint
FVar	Language.Haskell.Liquid.Fixpoint
Ge	Language.Haskell.Liquid.Fixpoint
generalize	Language.Haskell.Liquid.RefType
generateConstraints	Language.Haskell.Liquid.Constraint
generatePredicates	Language.Haskell.Liquid.Predicates
getCSSPath	Language.Haskell.Liquid.FileNames
getDataConVarUnique	Language.Haskell.Liquid.GhcMisc
getFileInDirs	Language.Haskell.Liquid.FileNames
getFixpointPath	Language.Haskell.Liquid.FileNames
getGhcInfo	Language.Haskell.Liquid.GhcInterface
getGhcModGuts1	Language.Haskell.Liquid.GhcInterface
getGhcModGutsSimpl1	Language.Haskell.Liquid.GhcInterface
getHsTargets	Language.Haskell.Liquid.FileNames
getIncludePath	Language.Haskell.Liquid.FileNames
getOpts	Language.Haskell.Liquid.CmdLine
getSpecs	Language.Haskell.Liquid.GhcInterface
getTag	Language.Haskell.Liquid.CTags
GhcInfo	Language.Haskell.Liquid.GhcInterface
GhcSpec	Language.Haskell.Liquid.Bare
GI	Language.Haskell.Liquid.GhcInterface
globals	Language.Haskell.Liquid.Constraint
group	Language.Haskell.Liquid.Misc
groupList	Language.Haskell.Liquid.Misc
groupMap	Language.Haskell.Liquid.Misc
gs	Language.Haskell.Liquid.Fixpoint
Gt	Language.Haskell.Liquid.Fixpoint
Happy	Language.Haskell.Liquid.Misc
hasBaseTypeVar	Language.Haskell.Liquid.GhcMisc
hashMapMapKeys	Language.Haskell.Liquid.Misc
hashMapMapWithKey	Language.Haskell.Liquid.Misc
hashMapToAscList	Language.Haskell.Liquid.Misc
hqFiles	Language.Haskell.Liquid.GhcInterface
Hquals	Language.Haskell.Liquid.FileNames
Hs	Language.Haskell.Liquid.FileNames
hsannot	Language.Haskell.Liquid.ACSS
hscDesugarWithLoc	Language.Haskell.Liquid.Desugar.HscMain
hscolour	Language.Haskell.Liquid.ACSS
hsCs	Language.Haskell.Liquid.Constraint
hsLitKey	Language.Haskell.Liquid.Desugar.MatchLit
hsOverLitKey	Language.Haskell.Liquid.Desugar.MatchLit
hsSpecificationP	Language.Haskell.Liquid.Parse
hsWfs	Language.Haskell.Liquid.Constraint
Html	Language.Haskell.Liquid.FileNames
I	Language.Haskell.Liquid.Fixpoint
IBindEnv	Language.Haskell.Liquid.Fixpoint
idRMono	Language.Haskell.Liquid.RefType
ifM	Language.Haskell.Liquid.Misc
imports
1 (Function)	Language.Haskell.Liquid.Measure
2 (Function)	Language.Haskell.Liquid.GhcInterface
importVars	Language.Haskell.Liquid.GhcInterface
impVars	Language.Haskell.Liquid.GhcInterface
includes
1 (Function)	Language.Haskell.Liquid.Measure
2 (Function)	Language.Haskell.Liquid.GhcInterface
Inputable	Language.Haskell.Liquid.Parse
insertBindEnv	Language.Haskell.Liquid.Fixpoint
insertFEnv	Language.Haskell.Liquid.Fixpoint
inserts	Language.Haskell.Liquid.Misc
insertSEnv	Language.Haskell.Liquid.Fixpoint
insertsIBindEnv	Language.Haskell.Liquid.Fixpoint
intersperse	Language.Haskell.Liquid.GhcMisc
intFTyCon	Language.Haskell.Liquid.Fixpoint
intKvar	Language.Haskell.Liquid.Fixpoint
intSymbol	Language.Haskell.Liquid.Fixpoint
invariants
1 (Function)	Language.Haskell.Liquid.Measure
2 (Function)	Language.Haskell.Liquid.Bare
isBaseType	Language.Haskell.Liquid.GhcMisc
isEVar	Language.Haskell.Liquid.Fixpoint
isExtFile	Language.Haskell.Liquid.FileNames
isFunctionSortedReft	Language.Haskell.Liquid.Fixpoint
isList	Language.Haskell.Liquid.RefType
isNonSymbol	Language.Haskell.Liquid.Fixpoint
isNonTrivialSortedReft	Language.Haskell.Liquid.Fixpoint
isNontrivialVV	Language.Haskell.Liquid.Fixpoint
isSingletonReft	Language.Haskell.Liquid.Fixpoint
isTauto	Language.Haskell.Liquid.RefType
isTautoPred	Language.Haskell.Liquid.Fixpoint
isTautoReft	Language.Haskell.Liquid.Fixpoint
isTrivial	Language.Haskell.Liquid.RefType
isTuple	Language.Haskell.Liquid.RefType
KS	Language.Haskell.Liquid.Fixpoint
ksEmpty	Language.Haskell.Liquid.Fixpoint
ksUnion	Language.Haskell.Liquid.Fixpoint
Kuts	Language.Haskell.Liquid.Fixpoint
kuts
1 (Function)	Language.Haskell.Liquid.Fixpoint
2 (Function)	Language.Haskell.Liquid.Constraint
L	Language.Haskell.Liquid.GhcMisc, Language.Haskell.Liquid.ACSS
Le	Language.Haskell.Liquid.Fixpoint
LHs	Language.Haskell.Liquid.FileNames
listConName	Language.Haskell.Liquid.FileNames
literalConst	Language.Haskell.Liquid.RefType
literalFReft	Language.Haskell.Liquid.RefType
literalFRefType	Language.Haskell.Liquid.RefType
literals	Language.Haskell.Liquid.GhcInterface
lits
1 (Function)	Language.Haskell.Liquid.Fixpoint
2 (Function)	Language.Haskell.Liquid.Constraint
Loc
1 (Type/Class)	Language.Haskell.Liquid.GhcMisc, Language.Haskell.Liquid.ACSS
2 (Data Constructor)	Language.Haskell.Liquid.Annotate
lookupEvidence	Language.Haskell.Liquid.Desugar.DsUtils
lookupSEnv	Language.Haskell.Liquid.Fixpoint
Loud	Language.Haskell.Liquid.Misc
Lt	Language.Haskell.Liquid.Fixpoint
makeGhcSpec	Language.Haskell.Liquid.Bare
makeTagEnv	Language.Haskell.Liquid.CTags
makeTyConInfo	Language.Haskell.Liquid.PredType
mapBind	Language.Haskell.Liquid.RefType
mapBot	Language.Haskell.Liquid.RefType
mapFst	Language.Haskell.Liquid.Misc
mapFst3	Language.Haskell.Liquid.Misc
mapPair	Language.Haskell.Liquid.Misc
mapReft	Language.Haskell.Liquid.RefType
mapReftM	Language.Haskell.Liquid.RefType
mapSnd	Language.Haskell.Liquid.Misc
mapSnd3	Language.Haskell.Liquid.Misc
mapThd3	Language.Haskell.Liquid.Misc
mapTy	Language.Haskell.Liquid.Measure
match	Language.Haskell.Liquid.Desugar.Match
matchCanFail	Language.Haskell.Liquid.Desugar.DsUtils
matchConFamily	Language.Haskell.Liquid.Desugar.MatchCon
matchEquations	Language.Haskell.Liquid.Desugar.Match
matchLiterals	Language.Haskell.Liquid.Desugar.MatchLit
matchNPats	Language.Haskell.Liquid.Desugar.MatchLit
matchNPlusKPats	Language.Haskell.Liquid.Desugar.MatchLit
MatchResult
1 (Data Constructor)	Language.Haskell.Liquid.Desugar.DsUtils
2 (Type/Class)	Language.Haskell.Liquid.Desugar.DsUtils
matchSimply	Language.Haskell.Liquid.Desugar.Match
matchSinglePat	Language.Haskell.Liquid.Desugar.Match
matchWrapper	Language.Haskell.Liquid.Desugar.Match
meas	Language.Haskell.Liquid.Bare
measMap	Language.Haskell.Liquid.Measure
Measure	Language.Haskell.Liquid.Measure
measure	Language.Haskell.Liquid.Measure
measures	Language.Haskell.Liquid.Measure
meet	Language.Haskell.Liquid.RefType
memberSEnv	Language.Haskell.Liquid.Fixpoint
memoIndex	Language.Haskell.Liquid.Misc
memTagEnv	Language.Haskell.Liquid.CTags
mfromJust	Language.Haskell.Liquid.Misc
MGIModGuts	Language.Haskell.Liquid.GhcMisc
mgi_binds	Language.Haskell.Liquid.GhcMisc
mgi_deps	Language.Haskell.Liquid.GhcMisc
mgi_dir_imps	Language.Haskell.Liquid.GhcMisc
mgi_fam_insts	Language.Haskell.Liquid.GhcMisc
mgi_module	Language.Haskell.Liquid.GhcMisc
mgi_namestring	Language.Haskell.Liquid.GhcInterface
mgi_rdr_env	Language.Haskell.Liquid.GhcMisc
mgi_tcs	Language.Haskell.Liquid.GhcMisc
MI	Language.Haskell.Liquid.GhcMisc
miModGuts	Language.Haskell.Liquid.GhcMisc
Minus	Language.Haskell.Liquid.Fixpoint
mkArrow	Language.Haskell.Liquid.RefType
mkBigLHsPatTup	Language.Haskell.Liquid.Desugar.DsUtils
mkBigLHsTup	Language.Haskell.Liquid.Desugar.DsUtils
mkBigLHsVarPatTup	Language.Haskell.Liquid.Desugar.DsUtils
mkBigLHsVarTup	Language.Haskell.Liquid.Desugar.DsUtils
mkBinaryTickBox	Language.Haskell.Liquid.Desugar.DsUtils
mkCoAlgCaseMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mkCoLetMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mkCoPrimCaseMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mkCoreAppDs	Language.Haskell.Liquid.Desugar.DsUtils
mkCoreAppsDs	Language.Haskell.Liquid.Desugar.DsUtils
Mkdn	Language.Haskell.Liquid.FileNames
mkErrorAppDs	Language.Haskell.Liquid.Desugar.DsUtils
mkEvalMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mkGuardedMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mkLHsPatTup	Language.Haskell.Liquid.Desugar.DsUtils
mkLHsVarPatTup	Language.Haskell.Liquid.Desugar.DsUtils
mkM	Language.Haskell.Liquid.Measure
mkMSpec	Language.Haskell.Liquid.Measure
mkOptTickBox	Language.Haskell.Liquid.Desugar.DsUtils
mkSelectorBinds	Language.Haskell.Liquid.Desugar.DsUtils
mkSubst	Language.Haskell.Liquid.Fixpoint
mkUnivs	Language.Haskell.Liquid.RefType
mkVanillaTuplePat	Language.Haskell.Liquid.Desugar.DsUtils
mkViewMatchResult	Language.Haskell.Liquid.Desugar.DsUtils
mlookup	Language.Haskell.Liquid.Misc
Mod	Language.Haskell.Liquid.Fixpoint
moduleFiles	Language.Haskell.Liquid.GhcInterface
moduleHquals	Language.Haskell.Liquid.GhcInterface
moduleImports	Language.Haskell.Liquid.GhcInterface
moduleSpec	Language.Haskell.Liquid.GhcInterface
moodColor	Language.Haskell.Liquid.Misc
Moods	Language.Haskell.Liquid.Misc
MSpec
1 (Type/Class)	Language.Haskell.Liquid.Measure
2 (Data Constructor)	Language.Haskell.Liquid.Measure
name	Language.Haskell.Liquid.Measure
names	Language.Haskell.Liquid.GhcInterface
Ne	Language.Haskell.Liquid.Fixpoint
nonSymbol	Language.Haskell.Liquid.Fixpoint
normalizePds	Language.Haskell.Liquid.RefType
notExprReft	Language.Haskell.Liquid.Fixpoint
ofPredTree	Language.Haskell.Liquid.RefType
ofRSort	Language.Haskell.Liquid.RefType
ofType	Language.Haskell.Liquid.RefType
Ok	Language.Haskell.Liquid.Misc
Out	Language.Haskell.Liquid.FileNames
P	Language.Haskell.Liquid.Measure
paliases	Language.Haskell.Liquid.Measure
PAll	Language.Haskell.Liquid.Fixpoint
PAnd	Language.Haskell.Liquid.Fixpoint
pAnd	Language.Haskell.Liquid.Fixpoint
pApp	Language.Haskell.Liquid.Fixpoint
params	Language.Haskell.Liquid.RefType
pargs	Language.Haskell.Liquid.RefType
parseSpec	Language.Haskell.Liquid.GhcInterface
parseSpec'	Language.Haskell.Liquid.GhcInterface
PAss	Language.Haskell.Liquid.FileNames
PAtom	Language.Haskell.Liquid.Fixpoint
PBexp	Language.Haskell.Liquid.Fixpoint
pdAnd	Language.Haskell.Liquid.RefType
pdTrue	Language.Haskell.Liquid.RefType
pdVar	Language.Haskell.Liquid.RefType
peepGHCSimple	Language.Haskell.Liquid.GhcInterface
PFalse	Language.Haskell.Liquid.Fixpoint
PIff	Language.Haskell.Liquid.Fixpoint
PImp	Language.Haskell.Liquid.Fixpoint
pIte	Language.Haskell.Liquid.Fixpoint
Plus	Language.Haskell.Liquid.Fixpoint
pname	Language.Haskell.Liquid.RefType
PNot	Language.Haskell.Liquid.Fixpoint
POr	Language.Haskell.Liquid.Fixpoint
pOr	Language.Haskell.Liquid.Fixpoint
ppBlank	Language.Haskell.Liquid.GhcInterface
ppCls	Language.Haskell.Liquid.RefType
ppFreeVar	Language.Haskell.Liquid.GhcInterface
ppFreeVars	Language.Haskell.Liquid.GhcInterface
pprShow	Language.Haskell.Liquid.GhcMisc
ppRType	Language.Haskell.Liquid.RefType
ppr_reft	Language.Haskell.Liquid.Fixpoint
ppr_reft_pred	Language.Haskell.Liquid.Fixpoint
ppr_rtype	Language.Haskell.Liquid.RefType
ppTy	Language.Haskell.Liquid.RefType
ppTycon	Language.Haskell.Liquid.RefType
ppVarExp	Language.Haskell.Liquid.GhcInterface
Pr	Language.Haskell.Liquid.RefType
Pred
1 (Data Constructor)	Language.Haskell.Liquid.FileNames
2 (Type/Class)	Language.Haskell.Liquid.Fixpoint
predFTyCon	Language.Haskell.Liquid.Fixpoint
Predicate	Language.Haskell.Liquid.RefType
predType	Language.Haskell.Liquid.PredType
preludeName	Language.Haskell.Liquid.FileNames
printVars	Language.Haskell.Liquid.GhcInterface
propConName	Language.Haskell.Liquid.FileNames
PrType	Language.Haskell.Liquid.RefType, Language.Haskell.Liquid.PredType
PTop	Language.Haskell.Liquid.Fixpoint
PTrue	Language.Haskell.Liquid.Fixpoint
ptype	Language.Haskell.Liquid.RefType
PV	Language.Haskell.Liquid.RefType
PVar	Language.Haskell.Liquid.RefType
pvars	Language.Haskell.Liquid.RefType
pVartoRConc	Language.Haskell.Liquid.PredType
Qualifier	Language.Haskell.Liquid.Qualifier
qualifySpec	Language.Haskell.Liquid.Measure
qualifySymbol	Language.Haskell.Liquid.Fixpoint
R	Language.Haskell.Liquid.Measure
RAllP	Language.Haskell.Liquid.RefType
RAllT	Language.Haskell.Liquid.RefType
RApp	Language.Haskell.Liquid.RefType
rApp	Language.Haskell.Liquid.RefType
RCls	Language.Haskell.Liquid.RefType
RConc	Language.Haskell.Liquid.Fixpoint
RDf	Language.Haskell.Liquid.Annotate
readVars	Language.Haskell.Liquid.GhcInterface
Ref	Language.Haskell.Liquid.RefType
Refa	Language.Haskell.Liquid.Fixpoint
refsymbols	Language.Haskell.Liquid.Constraint
Reft
1 (Type/Class)	Language.Haskell.Liquid.Fixpoint
2 (Data Constructor)	Language.Haskell.Liquid.Fixpoint
reft	Language.Haskell.Liquid.RefType
Reftable	Language.Haskell.Liquid.RefType
reftKVars	Language.Haskell.Liquid.Fixpoint
RefTypable	Language.Haskell.Liquid.RefType
RefType	Language.Haskell.Liquid.RefType
repeats	Language.Haskell.Liquid.Misc
replacePreds	Language.Haskell.Liquid.PredType
replacePredsWithRefs	Language.Haskell.Liquid.PredType
reqFile	Language.Haskell.Liquid.GhcInterface
Result	Language.Haskell.Liquid.FileNames
REx	Language.Haskell.Liquid.RefType
RExprArg	Language.Haskell.Liquid.RefType
RFun	Language.Haskell.Liquid.RefType
rFun	Language.Haskell.Liquid.RefType
RKvar	Language.Haskell.Liquid.Fixpoint
RMono	Language.Haskell.Liquid.RefType
ROth	Language.Haskell.Liquid.RefType
RPoly	Language.Haskell.Liquid.RefType
RPVar	Language.Haskell.Liquid.RefType
RR	Language.Haskell.Liquid.Fixpoint
rr	Language.Haskell.Liquid.Parse
rr'	Language.Haskell.Liquid.Parse
RReft	Language.Haskell.Liquid.RefType
RRType	Language.Haskell.Liquid.RefType
RSort	Language.Haskell.Liquid.RefType
RTA	Language.Haskell.Liquid.RefType
RTAlias	Language.Haskell.Liquid.RefType
rtBody	Language.Haskell.Liquid.RefType
rtName	Language.Haskell.Liquid.RefType
rtTArgs	Language.Haskell.Liquid.RefType
RTV	Language.Haskell.Liquid.RefType
rtVArgs	Language.Haskell.Liquid.RefType
RTyCon
1 (Type/Class)	Language.Haskell.Liquid.RefType
2 (Data Constructor)	Language.Haskell.Liquid.RefType
rTyCon	Language.Haskell.Liquid.RefType
rTyConPs	Language.Haskell.Liquid.RefType
RType	Language.Haskell.Liquid.RefType
rTypeReft	Language.Haskell.Liquid.RefType
rTypeSort	Language.Haskell.Liquid.RefType
rTypeSortedReft	Language.Haskell.Liquid.RefType
rTypeValueVar	Language.Haskell.Liquid.RefType
RTyVar	Language.Haskell.Liquid.RefType
rTyVar	Language.Haskell.Liquid.RefType
rt_args	Language.Haskell.Liquid.RefType
rt_bind	Language.Haskell.Liquid.RefType
rt_class	Language.Haskell.Liquid.RefType
rt_exarg	Language.Haskell.Liquid.RefType
rt_in	Language.Haskell.Liquid.RefType
rt_out	Language.Haskell.Liquid.RefType
rt_pargs	Language.Haskell.Liquid.RefType
rt_pvbind	Language.Haskell.Liquid.RefType
rt_reft	Language.Haskell.Liquid.RefType
rt_tvbind	Language.Haskell.Liquid.RefType
rt_ty	Language.Haskell.Liquid.RefType
rt_tycon	Language.Haskell.Liquid.RefType
rt_var	Language.Haskell.Liquid.RefType
RVar	Language.Haskell.Liquid.RefType
rVar	Language.Haskell.Liquid.RefType
S	Language.Haskell.Liquid.Fixpoint
Sad	Language.Haskell.Liquid.Misc
Safe	Language.Haskell.Liquid.Fixpoint
safeFromList	Language.Haskell.Liquid.Misc
safeHead	Language.Haskell.Liquid.Misc
safeUnion	Language.Haskell.Liquid.Misc
safeZip	Language.Haskell.Liquid.Misc
safeZipWith	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.Fixpoint
seqVar	Language.Haskell.Liquid.Desugar.DsUtils
shiftEqns	Language.Haskell.Liquid.Desugar.DsUtils
shiftVV	Language.Haskell.Liquid.Fixpoint
sigs	Language.Haskell.Liquid.Measure
simplify	Language.Haskell.Liquid.Fixpoint
sinfo	Language.Haskell.Liquid.Fixpoint
single	Language.Haskell.Liquid.Misc
snd3	Language.Haskell.Liquid.Misc
Sort	Language.Haskell.Liquid.Fixpoint
sort	Language.Haskell.Liquid.Measure
sortDiff	Language.Haskell.Liquid.Misc
SortedReft	Language.Haskell.Liquid.Fixpoint
sortNub	Language.Haskell.Liquid.Misc
SP	Language.Haskell.Liquid.Bare
Spec
1 (Data Constructor)	Language.Haskell.Liquid.FileNames
2 (Type/Class)	Language.Haskell.Liquid.Measure
3 (Data Constructor)	Language.Haskell.Liquid.Measure
spec	Language.Haskell.Liquid.GhcInterface
specificationQualifiers	Language.Haskell.Liquid.Qualifier
specIncludes	Language.Haskell.Liquid.GhcInterface
specParser	Language.Haskell.Liquid.GhcInterface
specQuals	Language.Haskell.Liquid.Constraint
SpecType	Language.Haskell.Liquid.RefType
splitFReft	Language.Haskell.Liquid.RefType
srcModuleName	Language.Haskell.Liquid.ACSS
srcSpanTick	Language.Haskell.Liquid.GhcMisc
sr_reft	Language.Haskell.Liquid.Fixpoint
sr_sort	Language.Haskell.Liquid.Fixpoint
startPhase	Language.Haskell.Liquid.Misc
strengthen	Language.Haskell.Liquid.RefType
stringFTycon	Language.Haskell.Liquid.Fixpoint
stringSymbol	Language.Haskell.Liquid.Fixpoint
stringSymbolRaw	Language.Haskell.Liquid.Fixpoint
stringTyCon	Language.Haskell.Liquid.GhcMisc
stringTyVar	Language.Haskell.Liquid.GhcMisc
stripParens	Language.Haskell.Liquid.Misc
stripParens'	Language.Haskell.Liquid.Misc
stripRTypeBase	Language.Haskell.Liquid.RefType
Subable	Language.Haskell.Liquid.Fixpoint
SubC	Language.Haskell.Liquid.Fixpoint
subC	Language.Haskell.Liquid.Fixpoint
Subst	Language.Haskell.Liquid.Fixpoint
subst	Language.Haskell.Liquid.Fixpoint
subst1	Language.Haskell.Liquid.Fixpoint
subst1Except	Language.Haskell.Liquid.Fixpoint
substa	Language.Haskell.Liquid.Fixpoint
substExcept	Language.Haskell.Liquid.Fixpoint
substf	Language.Haskell.Liquid.Fixpoint
substfExcept	Language.Haskell.Liquid.Fixpoint
substParg	Language.Haskell.Liquid.PredType
SubsTy	Language.Haskell.Liquid.RefType
subsTyVars_meet	Language.Haskell.Liquid.RefType
subsTyVars_nomeet	Language.Haskell.Liquid.RefType
subsTyVar_meet	Language.Haskell.Liquid.RefType
subsTyVar_nomeet	Language.Haskell.Liquid.RefType
subt	Language.Haskell.Liquid.RefType
subts	Language.Haskell.Liquid.RefType
subvPredicate	Language.Haskell.Liquid.RefType
subvUReft	Language.Haskell.Liquid.RefType
Symbol	Language.Haskell.Liquid.Fixpoint
symbolReft	Language.Haskell.Liquid.Fixpoint
symbolString	Language.Haskell.Liquid.Fixpoint
symChars	Language.Haskell.Liquid.Fixpoint
syms	Language.Haskell.Liquid.Fixpoint
symSepName	Language.Haskell.Liquid.FileNames
Tag	Language.Haskell.Liquid.Fixpoint
TagEnv	Language.Haskell.Liquid.CTags
TagKey	Language.Haskell.Liquid.CTags
targetName	Language.Haskell.Liquid.GhcInterface
TCEmb	Language.Haskell.Liquid.Fixpoint
tcEmbeds	Language.Haskell.Liquid.Bare
tconsP	Language.Haskell.Liquid.Bare
tempPrefix	Language.Haskell.Liquid.Fixpoint
tempSymbol	Language.Haskell.Liquid.Fixpoint
testM	Language.Haskell.Liquid.Misc
thd3	Language.Haskell.Liquid.Misc
tickSrcSpan	Language.Haskell.Liquid.GhcMisc
tidyLitPat	Language.Haskell.Liquid.Desugar.MatchLit
tidyNPat	Language.Haskell.Liquid.Desugar.MatchLit
tidySpecType	Language.Haskell.Liquid.Tidy
Times	Language.Haskell.Liquid.Fixpoint
toFix	Language.Haskell.Liquid.Fixpoint
toFixpoint	Language.Haskell.Liquid.Fixpoint
toFReft	Language.Haskell.Liquid.RefType
top	Language.Haskell.Liquid.RefType
toPredType	Language.Haskell.Liquid.PredType
toReft	Language.Haskell.Liquid.RefType
toRSort	Language.Haskell.Liquid.RefType
toType	Language.Haskell.Liquid.RefType
tracePpr	Language.Haskell.Liquid.GhcMisc
traceShow	Language.Haskell.Liquid.Misc
transformRecExpr	Language.Haskell.Liquid.TransformRec
transParseSpecs	Language.Haskell.Liquid.GhcInterface
trueRefa	Language.Haskell.Liquid.Fixpoint
trueSortedReft	Language.Haskell.Liquid.Fixpoint
tryIgnore	Language.Haskell.Liquid.Misc
tr_foldr'	Language.Haskell.Liquid.Misc
tr_reverse	Language.Haskell.Liquid.Misc
tupConName	Language.Haskell.Liquid.FileNames
tvId	Language.Haskell.Liquid.GhcMisc
tyArgs	Language.Haskell.Liquid.PredType
tycDCons	Language.Haskell.Liquid.RefType
tyClasses	Language.Haskell.Liquid.RefType
tycName	Language.Haskell.Liquid.RefType
TyConable	Language.Haskell.Liquid.RefType
tyConEmbed	Language.Haskell.Liquid.Constraint
tyConInfo	Language.Haskell.Liquid.Constraint
TyConP
1 (Type/Class)	Language.Haskell.Liquid.PredType
2 (Data Constructor)	Language.Haskell.Liquid.PredType
tycPVars	Language.Haskell.Liquid.RefType
tycTyVars	Language.Haskell.Liquid.RefType
types	Language.Haskell.Liquid.ACSS
typeSort	Language.Haskell.Liquid.Fixpoint
typeUniqueSymbol	Language.Haskell.Liquid.Fixpoint, Language.Haskell.Liquid.RefType
tyRes	Language.Haskell.Liquid.PredType
tySigs	Language.Haskell.Liquid.Bare
U	Language.Haskell.Liquid.RefType
unify	Language.Haskell.Liquid.PredType
unIntersperse	Language.Haskell.Liquid.Misc
uniqueHash	Language.Haskell.Liquid.GhcMisc
UnknownError	Language.Haskell.Liquid.Fixpoint
Unsafe	Language.Haskell.Liquid.Fixpoint
updateDynFlags	Language.Haskell.Liquid.GhcInterface
uPVar	Language.Haskell.Liquid.RefType
UReft	Language.Haskell.Liquid.RefType
uReft	Language.Haskell.Liquid.RefType
uRType	Language.Haskell.Liquid.RefType
uRType'	Language.Haskell.Liquid.RefType
uRTypeGen	Language.Haskell.Liquid.RefType
ur_pred	Language.Haskell.Liquid.RefType
ur_reft	Language.Haskell.Liquid.RefType
Use	Language.Haskell.Liquid.Annotate
UsedPVar	Language.Haskell.Liquid.RefType
uTop	Language.Haskell.Liquid.RefType
validTyVar	Language.Haskell.Liquid.GhcMisc
varSymbol	Language.Haskell.Liquid.RefType
vv	Language.Haskell.Liquid.Fixpoint
vvName	Language.Haskell.Liquid.FileNames
warnShow	Language.Haskell.Liquid.Misc
WfC	Language.Haskell.Liquid.Fixpoint
wfC	Language.Haskell.Liquid.Fixpoint
withColor	Language.Haskell.Liquid.Misc
wrap	Language.Haskell.Liquid.Misc
wrapBind	Language.Haskell.Liquid.Desugar.DsUtils
wrapBinds	Language.Haskell.Liquid.Desugar.DsUtils
wrapStars	Language.Haskell.Liquid.Misc
ws	Language.Haskell.Liquid.Fixpoint