!? | Language.Haskell.Liquid.Misc |
+++= | Language.Haskell.Liquid.Constraint.Env |
++= | Language.Haskell.Liquid.Constraint.Env |
+= | Language.Haskell.Liquid.Constraint.Env |
-= | Language.Haskell.Liquid.Constraint.Env |
/\/ | Language.Haskell.Liquid.Prover.Misc |
<:= | Language.Haskell.Liquid.Types.Strata |
==> | Language.Haskell.Liquid.Prelude |
=>> | Language.Haskell.Liquid.Misc |
?= | Language.Haskell.Liquid.Constraint.Env |
abinds | Language.Haskell.Liquid.Types |
actN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
acycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
addA | Language.Haskell.Liquid.Constraint.Monad |
addBinders | Language.Haskell.Liquid.Constraint.Env |
addC | Language.Haskell.Liquid.Constraint.Monad |
addConstraints | Language.Haskell.Liquid.Constraint.Constraint |
addFst3 | Language.Haskell.Liquid.Misc |
addIdA | Language.Haskell.Liquid.Constraint.Monad |
addInvCond | Language.Haskell.Liquid.Types |
addLocA | Language.Haskell.Liquid.Constraint.Monad |
addPost | Language.Haskell.Liquid.Constraint.Monad |
addRInv | Language.Haskell.Liquid.Constraint.Types |
addRTyConInv | Language.Haskell.Liquid.Constraint.Types |
addSEnv | Language.Haskell.Liquid.Constraint.Env |
addThd3 | Language.Haskell.Liquid.Misc |
addTicksToBinds | Language.Haskell.Liquid.Desugar710.Coverage |
addTyConInfo | Language.Haskell.Liquid.Types.RefType |
addW | Language.Haskell.Liquid.Constraint.Monad |
addWarning | Language.Haskell.Liquid.Constraint.Monad |
adjustMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
adjustMatchResultDs | Language.Haskell.Liquid.Desugar710.DsUtils |
aenv | Language.Haskell.Liquid.Constraint.Types |
AI | Language.Haskell.Liquid.Types |
alhs | Language.Haskell.Liquid.Types |
aliases | Language.Haskell.Liquid.Measure |
allowHO | Language.Haskell.Liquid.Constraint.Types |
AllVars | Language.Haskell.Liquid.Types |
alt_bndrs | Language.Haskell.Liquid.Desugar710.DsUtils |
alt_pat | Language.Haskell.Liquid.Desugar710.DsUtils |
alt_result | Language.Haskell.Liquid.Desugar710.DsUtils |
alt_wrapper | Language.Haskell.Liquid.Desugar710.DsUtils |
alwaysFailMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
aname | Language.Haskell.Liquid.Types |
anf | Language.Haskell.Liquid.Constraint.ProofToCore |
angleBrackets | Language.Haskell.Liquid.Misc |
Ann | Language.Haskell.Liquid.UX.ACSS |
AnnDef | Language.Haskell.Liquid.Types |
AnnInfo | Language.Haskell.Liquid.Types |
AnnLoc | Language.Haskell.Liquid.Types |
AnnMap | Language.Haskell.Liquid.UX.ACSS |
Annot | Language.Haskell.Liquid.Types |
annotate | Language.Haskell.Liquid.UX.Annotate |
annotMap | Language.Haskell.Liquid.Constraint.Types |
AnnRDf | Language.Haskell.Liquid.Types |
AnnUse | Language.Haskell.Liquid.Types |
anormalize | Language.Haskell.Liquid.Transforms.ANF |
applyArguments | Language.Haskell.Liquid.Prover.Solve |
applySolution | Language.Haskell.Liquid.Types.RefType |
appRTyCon | Language.Haskell.Liquid.Types.RefType |
ArgExpr | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
argN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Arguments | Language.Haskell.Liquid.Prover.Solve |
argumentsP | Language.Haskell.Liquid.Prover.Parser |
arg_ctors | Language.Haskell.Liquid.Prover.Types |
arg_exprs | Language.Haskell.Liquid.Prover.Types |
arg_sort | Language.Haskell.Liquid.Prover.Types |
arhs | Language.Haskell.Liquid.Types |
arity | Language.Haskell.Liquid.Prover.Solve |
asmSigs | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
assert | Language.Haskell.Liquid.Prover.SMTInterface |
assertExpressions | Language.Haskell.Liquid.Prover.Solve |
assms | Language.Haskell.Liquid.Constraint.Types |
atypes | Language.Haskell.Liquid.Types |
autoproofs | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
autoSize | Language.Haskell.Liquid.Constraint.Types |
autosize | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
Axiom | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
3 (Type/Class) | Language.Haskell.Liquid.Types |
4 (Data Constructor) | Language.Haskell.Liquid.Types |
axiomInstance | Language.Haskell.Liquid.Prover.Solve |
axiomP | Language.Haskell.Liquid.Prover.Parser |
axioms | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
axiom_body | Language.Haskell.Liquid.Prover.Types |
axiom_map | Language.Haskell.Liquid.Types |
axiom_name | Language.Haskell.Liquid.Prover.Types |
axiom_vars | Language.Haskell.Liquid.Prover.Types |
BareEnv | Language.Haskell.Liquid.Bare.Env |
BareM | Language.Haskell.Liquid.Bare.Env |
BareSpec | Language.Haskell.Liquid.Measure |
BareType | Language.Haskell.Liquid.Types |
bargs | Language.Haskell.Liquid.Types.Bounds |
bbody | Language.Haskell.Liquid.Types.Bounds |
bchopAlts | Language.Haskell.Liquid.Misc |
BE | Language.Haskell.Liquid.Bare.Env |
bind | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
binders | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
bindP | Language.Haskell.Liquid.Prover.Parser |
binds | |
1 (Function) | Language.Haskell.Liquid.Types |
2 (Function) | Language.Haskell.Liquid.Constraint.Types |
bindSpans | Language.Haskell.Liquid.Constraint.Types |
Bivariant | Language.Haskell.Liquid.Types.Variance |
bkArrow | |
1 (Function) | Language.Haskell.Liquid.Types |
2 (Function) | Language.Haskell.Liquid.Constraint.ProofToCore |
bkArrowDeep | Language.Haskell.Liquid.Types |
bkClass | Language.Haskell.Liquid.Types |
bkUniv | Language.Haskell.Liquid.Types |
bname | Language.Haskell.Liquid.Types.Bounds |
Body | Language.Haskell.Liquid.Types |
body | Language.Haskell.Liquid.Types |
Bound | |
1 (Type/Class) | Language.Haskell.Liquid.Types.Bounds |
2 (Data Constructor) | Language.Haskell.Liquid.Types.Bounds |
boundRecVar | Language.Haskell.Liquid.Constraint.Monad |
bounds | |
1 (Function) | Language.Haskell.Liquid.Measure |
2 (Function) | Language.Haskell.Liquid.Bare.Env |
boxResult | Language.Haskell.Liquid.Desugar710.DsCCall |
bparams | Language.Haskell.Liquid.Types.Bounds |
BPVar | Language.Haskell.Liquid.Types |
breakS | Language.Haskell.Liquid.UX.ACSS |
BRType | Language.Haskell.Liquid.Types |
bruteSearch | Language.Haskell.Liquid.Prover.Solve |
BSort | Language.Haskell.Liquid.Types |
cabalDir | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
CanFail | Language.Haskell.Liquid.Desugar710.DsUtils |
CanItFail | Language.Haskell.Liquid.Desugar710.DsUtils |
CantFail | Language.Haskell.Liquid.Desugar710.DsUtils |
cantFailMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
CaseAlt | Language.Haskell.Liquid.Desugar710.DsUtils |
CaseE | Language.Haskell.Liquid.Types |
cbs | Language.Haskell.Liquid.Types |
CBVisitable | Language.Haskell.Liquid.Types.Visitors |
cerr | Language.Haskell.Liquid.Constraint.Types |
cFiles | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
CG | Language.Haskell.Liquid.Constraint.Types |
CGE | Language.Haskell.Liquid.Constraint.Types |
CGEnv | Language.Haskell.Liquid.Constraint.Types |
CGInfo | |
1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
cgInfoFInfo | Language.Haskell.Liquid.Constraint.ToFixpoint |
cgLoc | Language.Haskell.Liquid.Constraint.Types |
check | Language.Haskell.Liquid.Desugar710.Check |
checkExpr | Language.Haskell.Liquid.Prover.Solve |
checkGhcSpec | Language.Haskell.Liquid.Bare.Check |
checkTerminationExpr | Language.Haskell.Liquid.Bare.Check |
checkTy | Language.Haskell.Liquid.Bare.Check |
checkValid | Language.Haskell.Liquid.Prover.SMTInterface |
choose | Language.Haskell.Liquid.Prelude |
chopAlts | Language.Haskell.Liquid.Misc |
Ci | Language.Haskell.Liquid.Types |
Cinfo | Language.Haskell.Liquid.Types |
cinfoError | Language.Haskell.Liquid.UX.Tidy |
ci_err | Language.Haskell.Liquid.Types |
ci_loc | Language.Haskell.Liquid.Types |
classBinds | Language.Haskell.Liquid.Types.RefType |
classes | Language.Haskell.Liquid.Measure |
cls | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
CM | Language.Haskell.Liquid.Types |
CmbExpr | Language.Haskell.Liquid.Constraint.ProofToCore |
cmeasMap | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
CMeasure | Language.Haskell.Liquid.Types |
cmeasures | Language.Haskell.Liquid.Measure |
cName | Language.Haskell.Liquid.Types |
collectArguments | Language.Haskell.Liquid.GHC.Misc |
collectValBinders' | Language.Haskell.Liquid.GHC.Misc |
combine | Language.Haskell.Liquid.Constraint.ProofToCore |
combineMatchResults | Language.Haskell.Liquid.Desugar710.DsUtils |
combineProofs | Language.Haskell.Liquid.Constraint.ProofToCore |
combineProofsName | Language.Haskell.Liquid.WiredIn |
Command | Language.Haskell.Liquid.Interactive.Types |
concatMapM | Language.Haskell.Liquid.Misc |
cond | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Config | |
1 (Type/Class) | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
config | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
constraintToLogic | Language.Haskell.Liquid.Constraint.Constraint |
Contravariant | Language.Haskell.Liquid.Types.Variance |
cores | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
coreToDef | Language.Haskell.Liquid.Transforms.CoreToLogic |
coreToFun | Language.Haskell.Liquid.Transforms.CoreToLogic |
coreToLogic | Language.Haskell.Liquid.Transforms.CoreToLogic |
coreToPred | Language.Haskell.Liquid.Transforms.CoreToLogic |
Covariant | Language.Haskell.Liquid.Types.Variance |
Crash | Language.Haskell.Liquid.UX.ACSS |
crash | Language.Haskell.Liquid.Prelude |
cSizeInt | Language.Haskell.Liquid.Foreign |
cSort | Language.Haskell.Liquid.Types |
ctCtx | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ctErr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Ctor | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
ctor | Language.Haskell.Liquid.Types |
ctorAxiomP | Language.Haskell.Liquid.Prover.Parser |
ctorMap | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
ctorP | Language.Haskell.Liquid.Prover.Parser |
ctors | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
ctor_expr | Language.Haskell.Liquid.Prover.Types |
ctor_prop | Language.Haskell.Liquid.Prover.Types |
ctor_sort | Language.Haskell.Liquid.Prover.Types |
ctor_vars | Language.Haskell.Liquid.Prover.Types |
ctx | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
CtxError | |
1 (Type/Class) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
D | Language.Haskell.Liquid.Types |
dargs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
dataConMsReft | Language.Haskell.Liquid.Types.RefType |
DataConP | |
1 (Type/Class) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
2 (Data Constructor) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
dataConPSpecType | Language.Haskell.Liquid.Types.PredType |
dataConReft | Language.Haskell.Liquid.Types.RefType |
dataConSpec | Language.Haskell.Liquid.Bare.DataType |
dataConTy | Language.Haskell.Liquid.Types.PredType |
dataConTypes | Language.Haskell.Liquid.Measure |
DataDecl | Language.Haskell.Liquid.Types |
dataDecls | Language.Haskell.Liquid.Measure |
DC | Language.Haskell.Liquid.UX.DiffCheck |
dconsP | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
dc_loc | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
dc_locE | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
debug | Language.Haskell.Liquid.Prover.Constants |
declP | Language.Haskell.Liquid.Prover.Parser |
declsP | Language.Haskell.Liquid.Prover.Parser |
decomposeRuleLhs | Language.Haskell.Liquid.Desugar710.DsBinds |
decQTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
decr | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
decsQTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
decTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
Def | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
defaultTag | Language.Haskell.Liquid.UX.CTags |
defaultTyConInfo | Language.Haskell.Liquid.Types |
default_depth | Language.Haskell.Liquid.Prover.Constants |
defConfig | Language.Haskell.Liquid.UX.CmdLine |
defRefType | Language.Haskell.Liquid.Measure |
defVars | Language.Haskell.Liquid.Types |
delta | Language.Haskell.Liquid.Prover.Constants |
DEnv | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
denv | Language.Haskell.Liquid.Constraint.Types |
depthP | Language.Haskell.Liquid.Prover.Parser |
deref | Language.Haskell.Liquid.Foreign |
derVars | Language.Haskell.Liquid.Types |
deSugar | Language.Haskell.Liquid.Desugar710.Desugar |
deSugarExpr | Language.Haskell.Liquid.Desugar710.Desugar |
desugarModule | Language.Haskell.Liquid.GHC.Misc |
deSugarWithLoc | Language.Haskell.Liquid.Desugar710.Desugar |
dfromList | Language.Haskell.Liquid.Types.Dictionaries |
dhasinfo | Language.Haskell.Liquid.Types.Dictionaries |
dictionaryBind | Language.Haskell.Liquid.WiredIn |
dictionaryTyVar | Language.Haskell.Liquid.WiredIn |
dictionaryVar | Language.Haskell.Liquid.WiredIn |
dicts | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
DiffCheck | Language.Haskell.Liquid.UX.DiffCheck |
diffcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types, Language.Haskell.Liquid.UX.CmdLine |
dinsert | Language.Haskell.Liquid.Types.Dictionaries |
dlookup | Language.Haskell.Liquid.Types.Dictionaries |
dmap | Language.Haskell.Liquid.Types.Dictionaries |
dmapty | Language.Haskell.Liquid.Types.Dictionaries |
dname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
dparams | Language.Haskell.Liquid.Types |
dpos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
dropFst3 | Language.Haskell.Liquid.Misc |
dropModuleNames | Language.Haskell.Liquid.GHC.Misc |
dropModuleUnique | Language.Haskell.Liquid.GHC.Misc |
dropThd3 | Language.Haskell.Liquid.Misc |
dsBracket | Language.Haskell.Liquid.Desugar710.DsMeta |
dsCCall | Language.Haskell.Liquid.Desugar710.DsCCall |
dsCImport | Language.Haskell.Liquid.Desugar710.DsForeign |
dsEvBinds | Language.Haskell.Liquid.Desugar710.DsBinds |
dsExpr | Language.Haskell.Liquid.Desugar710.DsExpr |
dsFCall | Language.Haskell.Liquid.Desugar710.DsForeign |
dsFExport | Language.Haskell.Liquid.Desugar710.DsForeign |
dsFExportDynamic | Language.Haskell.Liquid.Desugar710.DsForeign |
dsFImport | Language.Haskell.Liquid.Desugar710.DsForeign |
dsForeigns | Language.Haskell.Liquid.Desugar710.DsForeign |
dsForeigns' | Language.Haskell.Liquid.Desugar710.DsForeign |
dsGRHS | Language.Haskell.Liquid.Desugar710.DsGRHSs |
dsGRHSs | Language.Haskell.Liquid.Desugar710.DsGRHSs |
dsGuarded | Language.Haskell.Liquid.Desugar710.DsGRHSs |
dsHsWrapper | Language.Haskell.Liquid.Desugar710.DsBinds |
dsLExpr | Language.Haskell.Liquid.Desugar710.DsExpr |
dsLHsBinds | Language.Haskell.Liquid.Desugar710.DsBinds |
dsListComp | Language.Haskell.Liquid.Desugar710.DsListComp |
dsLit | Language.Haskell.Liquid.Desugar710.MatchLit, Language.Haskell.Liquid.Desugar710.DsExpr |
dsLocalBinds | Language.Haskell.Liquid.Desugar710.DsExpr |
dsMonadComp | Language.Haskell.Liquid.Desugar710.DsListComp |
dsort | Language.Haskell.Liquid.Types |
dsOverLit | Language.Haskell.Liquid.Desugar710.MatchLit |
dsPArrComp | Language.Haskell.Liquid.Desugar710.DsListComp |
dsPrimCall | Language.Haskell.Liquid.Desugar710.DsForeign |
dsProcExpr | Language.Haskell.Liquid.Desugar710.DsArrows |
dsSpec | Language.Haskell.Liquid.Desugar710.DsBinds |
dsTcEvBinds | Language.Haskell.Liquid.Desugar710.DsBinds |
dsTopLHsBinds | Language.Haskell.Liquid.Desugar710.DsBinds |
dsValBinds | Language.Haskell.Liquid.Desugar710.DsExpr |
dummyLoc | Language.Haskell.Liquid.Types |
dummyName | Language.Haskell.Liquid.Types |
duplicateArgs | Language.Haskell.Liquid.Prover.Solve |
dvariance | Language.Haskell.Liquid.Measure |
E | Language.Haskell.Liquid.Types |
ealiases | Language.Haskell.Liquid.Measure |
EApp | Language.Haskell.Liquid.Prover.Types |
eAppWithMap | Language.Haskell.Liquid.Types |
ectr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
efoldReft | Language.Haskell.Liquid.Types |
elemHEnv | Language.Haskell.Liquid.Constraint.Types |
eliminate | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
elimStats | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
emb | Language.Haskell.Liquid.Constraint.Types |
embeds | Language.Haskell.Liquid.Measure |
empty | Language.Haskell.Liquid.GHC.SpanStack |
emptyKVProf | Language.Haskell.Liquid.Types |
env | Language.Haskell.Liquid.Types |
envP | Language.Haskell.Liquid.Prover.Parser |
envToSub | Language.Haskell.Liquid.Constraint.Split |
epsilon | Language.Haskell.Liquid.Prover.Constants |
eq | Language.Haskell.Liquid.Prelude |
EqnInfo | Language.Haskell.Liquid.Desugar710.DsUtils |
eqns | Language.Haskell.Liquid.Types |
eqn_pats | Language.Haskell.Liquid.Desugar710.DsUtils |
eqn_rhs | Language.Haskell.Liquid.Desugar710.DsUtils |
eqPtr | Language.Haskell.Liquid.Foreign |
EquationInfo | Language.Haskell.Liquid.Desugar710.DsUtils |
ErrAliasApp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrAliasCycle | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrAssType | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrBadData | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrBadQual | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrDataCon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrDupAlias | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrDupMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrDupSpecs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrFCrash | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrGhc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrHMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrIAl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrIAlMis | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrIllegalAliasApp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrInvt | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrMeas | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrMismatch | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
errmsg | Language.Haskell.Liquid.Bare.Misc |
Error | |
1 (Data Constructor) | Language.Haskell.Liquid.UX.ACSS |
2 (Type/Class) | Language.Haskell.Liquid.Types |
ErrorResult | Language.Haskell.Liquid.Types |
errors | Language.Haskell.Liquid.UX.ACSS |
errorWithContext | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrOther | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrParse | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrPartPred | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrRClass | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrSaved | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrSubType | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrTermin | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrTermSpec | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrTySpec | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ErrUnbound | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
EVar | Language.Haskell.Liquid.Prover.Types |
exactDC | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
execBare | Language.Haskell.Liquid.Bare.Env |
ExhaustivePat | Language.Haskell.Liquid.Desugar710.Check |
exitWithResult | Language.Haskell.Liquid.UX.CmdLine |
exp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
expandExpr | Language.Haskell.Liquid.Bare.Expand |
expandProofs | Language.Haskell.Liquid.Constraint.Axioms |
expandReft | Language.Haskell.Liquid.Bare.Expand |
expN | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
exports | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
expQTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
Expr | Language.Haskell.Liquid.Prover.Types |
exprAliases | Language.Haskell.Liquid.Types |
exprToBoolSym | Language.Haskell.Liquid.Prover.Names |
extendEnvWithVV | Language.Haskell.Liquid.Constraint.Env |
extractMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
fastStringText | Language.Haskell.Liquid.GHC.Misc |
FE | Language.Haskell.Liquid.Constraint.Types |
feBinds | Language.Haskell.Liquid.Constraint.Types |
feEnv | Language.Haskell.Liquid.Constraint.Types |
FEnv | Language.Haskell.Liquid.Constraint.Types |
fEnv | Language.Haskell.Liquid.Constraint.Types |
fenv | Language.Haskell.Liquid.Constraint.Types |
files | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
filterEquivalentExpressions | Language.Haskell.Liquid.Prover.Solve |
findM | Language.Haskell.Liquid.Prover.Misc |
findPVar | Language.Haskell.Liquid.Types.RefType |
findValid | Language.Haskell.Liquid.Prover.Solve |
first3M | Language.Haskell.Liquid.Misc |
firstElems | Language.Haskell.Liquid.Misc |
firstJust | Language.Haskell.Liquid.Misc |
firstM | Language.Haskell.Liquid.Misc |
firstPat | Language.Haskell.Liquid.Desugar710.DsUtils |
fixCs | Language.Haskell.Liquid.Constraint.Types |
FixSubC | Language.Haskell.Liquid.Constraint.Types |
FixWfC | Language.Haskell.Liquid.Constraint.Types |
fixWfs | Language.Haskell.Liquid.Constraint.Types |
foldReft | Language.Haskell.Liquid.Types |
foldReft' | Language.Haskell.Liquid.Types |
force | Language.Haskell.Liquid.Prelude |
foreignExportInitialiser | Language.Haskell.Liquid.Desugar710.DsForeign |
fourth4 | Language.Haskell.Liquid.Misc |
fpLen | Language.Haskell.Liquid.Foreign |
freeLabels | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
freeLabelTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
freePred | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
freePredTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
freeSyms | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
freeTyVars | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
2 (Function) | Language.Haskell.Liquid.Types.RefType |
freeTyVarsTy | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
freeVars | Language.Haskell.Liquid.Types.Visitors |
fresh | Language.Haskell.Liquid.Constraint.Fresh |
Freshable | Language.Haskell.Liquid.Constraint.Fresh |
freshIndex | Language.Haskell.Liquid.Constraint.Types |
fromListHEnv | Language.Haskell.Liquid.Constraint.Types |
fromListREnv | Language.Haskell.Liquid.Constraint.Env |
fromRTypeRep | Language.Haskell.Liquid.Types |
fSrcSpan | Language.Haskell.Liquid.GHC.Misc |
fSrcSpanSrcSpan | Language.Haskell.Liquid.GHC.Misc |
fst4 | Language.Haskell.Liquid.Misc |
fullcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
generalize | Language.Haskell.Liquid.Types.RefType |
generateConstraints | Language.Haskell.Liquid.Constraint.Generate |
geq | Language.Haskell.Liquid.Prelude |
getBinDir | Paths_liquidhaskell |
getConfig | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
getCoreToLogicPath | Language.Haskell.Liquid.Misc |
getCssPath | Language.Haskell.Liquid.Misc |
getDataConVarUnique | Language.Haskell.Liquid.GHC.Misc |
getDataDir | Paths_liquidhaskell |
getDataFileName | Paths_liquidhaskell |
getGhcInfo | Language.Haskell.Liquid.GHC.Interface |
getIncludeDir | Language.Haskell.Liquid.Misc |
getLibDir | Paths_liquidhaskell |
getLibexecDir | Paths_liquidhaskell |
getLocation | Language.Haskell.Liquid.Constraint.Env |
getModName | Language.Haskell.Liquid.Types |
getModString | Language.Haskell.Liquid.Types |
getOpts | Language.Haskell.Liquid.UX.CmdLine |
getSourcePos | Language.Haskell.Liquid.GHC.Misc |
getSourcePosE | Language.Haskell.Liquid.GHC.Misc |
getStrata | Language.Haskell.Liquid.Types |
getSysconfDir | Paths_liquidhaskell |
getTag | Language.Haskell.Liquid.UX.CTags |
GhcInfo | Language.Haskell.Liquid.Types |
GhcLookup | Language.Haskell.Liquid.Bare.Lookup |
ghcOptions | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
GhcSpec | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
gHC_VERSION | Language.Haskell.Liquid.GHC.Misc |
GI | Language.Haskell.Liquid.Types |
globalize | Language.Haskell.Liquid.Constraint.Env |
goalP | Language.Haskell.Liquid.Prover.Parser |
groupExpressions | Language.Haskell.Liquid.Prover.Solve |
grtys | Language.Haskell.Liquid.Constraint.Types |
gt | Language.Haskell.Liquid.Prelude |
handler | Language.Haskell.Liquid.Interactive.Handler |
hasBaseTypeVar | Language.Haskell.Liquid.GHC.Misc |
hasBoolResult | Language.Haskell.Liquid.Bare.Misc |
HasConfig | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
hashMapMapKeys | Language.Haskell.Liquid.Misc |
hashMapMapWithKey | Language.Haskell.Liquid.Misc |
hasHole | Language.Haskell.Liquid.Types |
hasOpt | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
HAxiom | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Type/Class) | Language.Haskell.Liquid.Constraint.ProofToCore |
HBind | Language.Haskell.Liquid.Types |
hbounds | Language.Haskell.Liquid.Measure |
HCtor | Language.Haskell.Liquid.Constraint.ProofToCore |
HEnv | Language.Haskell.Liquid.Constraint.Types |
HExpr | Language.Haskell.Liquid.Constraint.ProofToCore |
HId | Language.Haskell.Liquid.Constraint.ProofToCore |
higherorder | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
HInstance | Language.Haskell.Liquid.Constraint.ProofToCore |
hmeas | Language.Haskell.Liquid.Measure |
hole | Language.Haskell.Liquid.Types |
holes | Language.Haskell.Liquid.Constraint.Types |
hpcInitCode | Language.Haskell.Liquid.Desugar710.Coverage |
HProof | Language.Haskell.Liquid.Constraint.ProofToCore |
hpropTyCon | Language.Haskell.Liquid.WiredIn |
hqFiles | Language.Haskell.Liquid.Types |
HQuery | Language.Haskell.Liquid.Constraint.ProofToCore |
hs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
hsannot | Language.Haskell.Liquid.UX.ACSS |
hscDesugarWithLoc | Language.Haskell.Liquid.Desugar710.HscMain |
hscEnv | Language.Haskell.Liquid.Bare.Env |
hscolour | Language.Haskell.Liquid.UX.ACSS |
hsCs | Language.Haskell.Liquid.Constraint.Types |
HSeg | Language.Haskell.Liquid.Types |
hsLitKey | Language.Haskell.Liquid.Desugar710.MatchLit |
hsOverLitKey | Language.Haskell.Liquid.Desugar710.MatchLit |
hsSpecificationP | Language.Haskell.Liquid.Parse |
hsWfs | Language.Haskell.Liquid.Constraint.Types |
hs_addr | Language.Haskell.Liquid.Types |
hs_val | Language.Haskell.Liquid.Types |
HVar | |
1 (Data Constructor) | Language.Haskell.Liquid.Types |
2 (Type/Class) | Language.Haskell.Liquid.Constraint.ProofToCore |
HVarCtor | Language.Haskell.Liquid.Constraint.ProofToCore |
ial | Language.Haskell.Liquid.Constraint.Types |
ialiases | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
idirs | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
ignoreInline | Language.Haskell.Liquid.GHC.Misc |
ignoreLetBinds | Language.Haskell.Liquid.GHC.Misc |
ignoreOblig | Language.Haskell.Liquid.Types |
imeas | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
imeasures | Language.Haskell.Liquid.Measure |
imports | |
1 (Function) | Language.Haskell.Liquid.Types |
2 (Function) | Language.Haskell.Liquid.Measure |
impossible | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
impVars | Language.Haskell.Liquid.Types |
includes | |
1 (Function) | Language.Haskell.Liquid.Types |
2 (Function) | Language.Haskell.Liquid.Measure |
initExpressions | Language.Haskell.Liquid.Prover.Solve |
initFEnv | Language.Haskell.Liquid.Constraint.Types |
initial | Language.Haskell.Liquid.Interactive.Handler |
initMapSt | Language.Haskell.Liquid.Bare.Misc |
inlines | |
1 (Function) | Language.Haskell.Liquid.Measure |
2 (Function) | Language.Haskell.Liquid.Bare.Env |
InlnEnv | Language.Haskell.Liquid.Bare.Env |
inModule | Language.Haskell.Liquid.Bare.Env |
insertAxiom | Language.Haskell.Liquid.Bare.Env |
insertLogicEnv | Language.Haskell.Liquid.Bare.Env |
insertREnv | Language.Haskell.Liquid.Constraint.Env |
insertsFEnv | Language.Haskell.Liquid.Constraint.Types |
insertsSEnv | Language.Haskell.Liquid.Types |
inSigs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
Inst | Language.Haskell.Liquid.Prover.Types |
Instance | Language.Haskell.Liquid.Prover.Types |
instantiate | Language.Haskell.Liquid.Prover.Solve |
instantiateVars | Language.Haskell.Liquid.Constraint.ProofToCore |
insts | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
inst_args | Language.Haskell.Liquid.Prover.Types |
inst_axiom | Language.Haskell.Liquid.Prover.Types |
inst_pred | Language.Haskell.Liquid.Prover.Types |
intCSize | Language.Haskell.Liquid.Foreign |
intToString | Language.Haskell.Liquid.Misc |
intys | Language.Haskell.Liquid.Constraint.Types |
inv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Invalid | Language.Haskell.Liquid.Prover.Types |
Invariant | Language.Haskell.Liquid.Types.Variance |
invariants | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
invs | Language.Haskell.Liquid.Constraint.Types |
isBase | Language.Haskell.Liquid.Types |
isBaseTy | Language.Haskell.Liquid.Types.RefType |
isBaseType | Language.Haskell.Liquid.GHC.Misc |
isBind | Language.Haskell.Liquid.Constraint.Types |
isClass | Language.Haskell.Liquid.Types |
isClassRTyCon | Language.Haskell.Liquid.Types |
isClassType | Language.Haskell.Liquid.Types |
isDataConId | Language.Haskell.Liquid.GHC.Misc |
isDecreasing | Language.Haskell.Liquid.Types.RefType |
isDictionary | Language.Haskell.Liquid.GHC.Misc |
isDictionaryExpression | Language.Haskell.Liquid.GHC.Misc |
isDummy | Language.Haskell.Liquid.Types |
isEqType | Language.Haskell.Liquid.Types |
isEqual | Language.Haskell.Liquid.Types |
isEVar | Language.Haskell.Liquid.Prover.Types |
isEven | Language.Haskell.Liquid.Prelude |
isFracCls | Language.Haskell.Liquid.Types |
isFractionalClass | Language.Haskell.Liquid.GHC.Misc |
isFun | Language.Haskell.Liquid.Types |
isFunTy | Language.Haskell.Liquid.Types |
isHole | Language.Haskell.Liquid.Types |
isInternal | Language.Haskell.Liquid.GHC.Misc |
isList | Language.Haskell.Liquid.Types |
isNullPtr | Language.Haskell.Liquid.Foreign |
isNumCls | Language.Haskell.Liquid.Types |
isOdd | Language.Haskell.Liquid.Prelude |
isParened | Language.Haskell.Liquid.GHC.Misc |
isPropPV | Language.Haskell.Liquid.Types |
isQualified | Language.Haskell.Liquid.GHC.Misc |
isSizeable | Language.Haskell.Liquid.Types.RefType |
isSpecImport | Language.Haskell.Liquid.Types |
isSrcImport | Language.Haskell.Liquid.Types |
isSVar | Language.Haskell.Liquid.Types |
isTmpSymbol | Language.Haskell.Liquid.UX.Tidy |
isTrivial | Language.Haskell.Liquid.Types |
isTuple | Language.Haskell.Liquid.Types |
iterativeSolve | Language.Haskell.Liquid.Prover.Solve |
joinVar | Language.Haskell.Liquid.Bare.Misc |
kind | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
kindArity | Language.Haskell.Liquid.GHC.Misc |
kuts | Language.Haskell.Liquid.Constraint.Types |
KVKind | Language.Haskell.Liquid.Types |
KVProf | Language.Haskell.Liquid.Types |
kvProf | Language.Haskell.Liquid.Constraint.Types |
L | Language.Haskell.Liquid.GHC.Misc |
LamE | Language.Haskell.Liquid.Types |
largs | Language.Haskell.Liquid.Types |
LAxiom | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Type/Class) | Language.Haskell.Liquid.Types |
lazy | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
LC | Language.Haskell.Liquid.Constraint.Types |
lcb | Language.Haskell.Liquid.Constraint.Types |
LConstraint | Language.Haskell.Liquid.Constraint.Types |
lcs | Language.Haskell.Liquid.Constraint.Types |
lenLocSymbol | Language.Haskell.Liquid.Types.Names |
leq | Language.Haskell.Liquid.Prelude |
LetE | Language.Haskell.Liquid.Types |
letVars | Language.Haskell.Liquid.Types.Visitors |
lexpr | Language.Haskell.Liquid.Types |
lhs | Language.Haskell.Liquid.Constraint.Types |
lhsSpecificationP | Language.Haskell.Liquid.Parse |
liftName | Language.Haskell.Liquid.Desugar710.DsMeta |
liftStringName | Language.Haskell.Liquid.Desugar710.DsMeta |
linear | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
lineCol | Language.Haskell.Liquid.GHC.Misc |
lintCoreBindings | Language.Haskell.Liquid.GHC.Misc |
liquid | Language.Haskell.Liquid.Liquid |
liquidAssert | Language.Haskell.Liquid.Prelude |
liquidAssertB | Language.Haskell.Liquid.Prelude |
liquidAssume | Language.Haskell.Liquid.Prelude |
liquidAssumeB | Language.Haskell.Liquid.Prelude |
liquidBegin | Language.Haskell.Liquid.Types |
liquidEnd | Language.Haskell.Liquid.Types |
liquidError | Language.Haskell.Liquid.Prelude |
literalConst | Language.Haskell.Liquid.Types.Literals |
literalFReft | Language.Haskell.Liquid.Types.Literals |
literalFRefType | Language.Haskell.Liquid.Types.Literals |
literals | Language.Haskell.Liquid.Types.Visitors |
lits | Language.Haskell.Liquid.Constraint.Types |
LM | Language.Haskell.Liquid.Types |
LMap | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
Loc | |
1 (Data Constructor) | Language.Haskell.Liquid.Types |
2 (Type/Class) | Language.Haskell.Liquid.GHC.Misc |
loc | Language.Haskell.Liquid.Types |
localBindsOfType | Language.Haskell.Liquid.Constraint.Env |
localSigs | Language.Haskell.Liquid.Measure |
Located | Language.Haskell.Liquid.Types |
locE | Language.Haskell.Liquid.Types |
locs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
LocSymbol | Language.Haskell.Liquid.Types |
LocText | Language.Haskell.Liquid.Types |
logErrors | Language.Haskell.Liquid.Constraint.Types |
logicEnv | Language.Haskell.Liquid.Bare.Env |
LogicMap | Language.Haskell.Liquid.Types |
logicMap | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
logicType | Language.Haskell.Liquid.Transforms.CoreToLogic |
logic_map | Language.Haskell.Liquid.Types |
lookupGhcDataCon | Language.Haskell.Liquid.Bare.Lookup |
lookupGhcThing | Language.Haskell.Liquid.Bare.Lookup |
lookupGhcTyCon | Language.Haskell.Liquid.Bare.Lookup |
lookupGhcVar | Language.Haskell.Liquid.Bare.Lookup |
lookupName | Language.Haskell.Liquid.Bare.Lookup |
lookupRdrName | Language.Haskell.Liquid.GHC.Misc |
lookupREnv | Language.Haskell.Liquid.Constraint.Env |
lq | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
lqPos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
LQuery | Language.Haskell.Liquid.Prover.Types |
lt | Language.Haskell.Liquid.Prelude |
LVar | Language.Haskell.Liquid.Prover.Types |
lvar | Language.Haskell.Liquid.Types |
LVarCtor | Language.Haskell.Liquid.Prover.Types |
lvars | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
M | Language.Haskell.Liquid.Types |
makeApp | Language.Haskell.Liquid.Constraint.ProofToCore |
makeArgs | Language.Haskell.Liquid.Prover.Solve |
makeArgs' | Language.Haskell.Liquid.Prover.Solve |
makeArguments | Language.Haskell.Liquid.Prover.Solve |
makeArgumnetsExpr | Language.Haskell.Liquid.Prover.Solve |
makeAssertSpec | Language.Haskell.Liquid.Bare.Spec |
makeAssumeSpec | Language.Haskell.Liquid.Bare.Spec |
makeAxiom | Language.Haskell.Liquid.Bare.Axiom |
makeBound | Language.Haskell.Liquid.Types.Bounds |
makeBounds | Language.Haskell.Liquid.Bare.Spec |
makeClasses | Language.Haskell.Liquid.Bare.Spec |
makeClassMeasureSpec | Language.Haskell.Liquid.Bare.Measure |
makeCombineType | Language.Haskell.Liquid.Constraint.Axioms |
makeCombineVar | Language.Haskell.Liquid.Constraint.Axioms |
makeContext | Language.Haskell.Liquid.Prover.SMTInterface |
makeConTypes | Language.Haskell.Liquid.Bare.DataType |
makeCTorArgs | Language.Haskell.Liquid.Prover.Solve |
makeDecrType | Language.Haskell.Liquid.Types.RefType |
makeDefaultMethods | Language.Haskell.Liquid.Bare.Spec |
makeDictionaries | |
1 (Function) | Language.Haskell.Liquid.Constraint.ProofToCore |
2 (Function) | Language.Haskell.Liquid.Types.Dictionaries |
makeDictionary | |
1 (Function) | Language.Haskell.Liquid.Constraint.ProofToCore |
2 (Function) | Language.Haskell.Liquid.Types.Dictionaries |
makeDivType | Language.Haskell.Liquid.Types |
makeEq | Language.Haskell.Liquid.Prover.Solve |
makeExpressions | Language.Haskell.Liquid.Prover.Solve |
makeFinType | Language.Haskell.Liquid.Types |
makeGhcSpec | Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
makeHaskellBounds | Language.Haskell.Liquid.Bare.Measure |
makeHaskellInlines | Language.Haskell.Liquid.Bare.Measure |
makeHaskellMeasures | Language.Haskell.Liquid.Bare.Measure |
makeHBounds | Language.Haskell.Liquid.Bare.Spec |
makeHIMeas | Language.Haskell.Liquid.Bare.Spec |
makeHints | Language.Haskell.Liquid.Bare.Spec |
makeIAliases | Language.Haskell.Liquid.Bare.Spec |
makeInvariants | Language.Haskell.Liquid.Bare.Spec |
makeLazy | Language.Haskell.Liquid.Bare.Spec |
makeLexRefa | Language.Haskell.Liquid.Types.RefType |
makeLVar | Language.Haskell.Liquid.Bare.Spec |
makeMeasureSelectors | Language.Haskell.Liquid.Bare.Measure |
makeMeasureSpec | Language.Haskell.Liquid.Bare.Measure |
makeMeasureSpec' | Language.Haskell.Liquid.Bare.Measure |
makeNumEnv | Language.Haskell.Liquid.Types.RefType |
makePluggedAsmSigs | Language.Haskell.Liquid.Bare.Plugged |
makePluggedDataCons | Language.Haskell.Liquid.Bare.Plugged |
makePluggedSigs | Language.Haskell.Liquid.Bare.Plugged |
makeQualifiers | Language.Haskell.Liquid.Bare.Spec |
makeRecordSelectorSigs | Language.Haskell.Liquid.Bare.DataType |
makeRTEnv | Language.Haskell.Liquid.Bare.RTEnv |
makeSorts | Language.Haskell.Liquid.Prover.Solve |
makeSpecDictionaries | Language.Haskell.Liquid.Bare.Spec |
makeSymbols | Language.Haskell.Liquid.Bare.Misc |
makeTagEnv | Language.Haskell.Liquid.UX.CTags |
makeTargetVars | Language.Haskell.Liquid.Bare.Spec |
makeTExpr | Language.Haskell.Liquid.Bare.Spec |
makeTyConEmbeds | Language.Haskell.Liquid.Bare.DataType |
makeTyConInfo | Language.Haskell.Liquid.Types.PredType |
mapBind | Language.Haskell.Liquid.Types |
mapBot | Language.Haskell.Liquid.Types |
mapFourth4 | Language.Haskell.Liquid.Misc |
mapFst | Language.Haskell.Liquid.Misc |
mapFst3 | Language.Haskell.Liquid.Misc |
mapN | Language.Haskell.Liquid.Misc |
mapNs | Language.Haskell.Liquid.Misc |
mapRE | Language.Haskell.Liquid.Types |
mapReft | Language.Haskell.Liquid.Types |
mapReftM | Language.Haskell.Liquid.Types |
mapRT | Language.Haskell.Liquid.Types |
mapRTAVars | Language.Haskell.Liquid.Types |
mapSnd | |
1 (Function) | Language.Haskell.Liquid.Prover.Misc |
2 (Function) | Language.Haskell.Liquid.Misc |
mapSnd3 | Language.Haskell.Liquid.Misc |
mapSndM | Language.Haskell.Liquid.Misc |
mapThd3 | Language.Haskell.Liquid.Misc |
mapTyVars | Language.Haskell.Liquid.Bare.Misc |
MapTyVarST | Language.Haskell.Liquid.Bare.Misc |
match | Language.Haskell.Liquid.Desugar710.Match |
matchCanFail | Language.Haskell.Liquid.Desugar710.DsUtils |
matchConFamily | Language.Haskell.Liquid.Desugar710.MatchCon |
matchEquations | Language.Haskell.Liquid.Desugar710.Match |
matchLiterals | Language.Haskell.Liquid.Desugar710.MatchLit |
matchNPats | Language.Haskell.Liquid.Desugar710.MatchLit |
matchNPlusKPats | Language.Haskell.Liquid.Desugar710.MatchLit |
matchPatSyn | Language.Haskell.Liquid.Desugar710.MatchCon |
MatchResult | |
1 (Data Constructor) | Language.Haskell.Liquid.Desugar710.DsUtils |
2 (Type/Class) | Language.Haskell.Liquid.Desugar710.DsUtils |
matchSimply | Language.Haskell.Liquid.Desugar710.Match |
matchSinglePat | Language.Haskell.Liquid.Desugar710.Match |
matchWrapper | Language.Haskell.Liquid.Desugar710.Match |
maxParams | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
maxPartSize | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
MbEnv | Language.Haskell.Liquid.Liquid |
meas | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
measMap | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
Measure | Language.Haskell.Liquid.Types |
measure | Language.Haskell.Liquid.Types |
measures | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
meetable | Language.Haskell.Liquid.Types.RefType |
meetDataConSpec | Language.Haskell.Liquid.Bare.DataType |
meetVarTypes | Language.Haskell.Liquid.Types.Meet |
memTagEnv | Language.Haskell.Liquid.UX.CTags |
mergeExpressions | Language.Haskell.Liquid.Prover.Solve |
MGIModGuts | Language.Haskell.Liquid.GHC.Misc |
mgi_binds | Language.Haskell.Liquid.GHC.Misc |
mgi_cls_inst | Language.Haskell.Liquid.GHC.Misc |
mgi_deps | Language.Haskell.Liquid.GHC.Misc |
mgi_dir_imps | Language.Haskell.Liquid.GHC.Misc |
mgi_exports | Language.Haskell.Liquid.GHC.Misc |
mgi_fam_insts | Language.Haskell.Liquid.GHC.Misc |
mgi_module | Language.Haskell.Liquid.GHC.Misc |
mgi_namestring | Language.Haskell.Liquid.GHC.Misc |
mgi_rdr_env | Language.Haskell.Liquid.GHC.Misc |
mgi_tcs | Language.Haskell.Liquid.GHC.Misc |
MI | Language.Haskell.Liquid.GHC.Misc |
miModGuts | Language.Haskell.Liquid.GHC.Misc |
minimize | Language.Haskell.Liquid.Prover.Solve |
minPartSize | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
minus | Language.Haskell.Liquid.Prelude |
mkArrow | Language.Haskell.Liquid.Types |
mkBigLHsPatTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkBigLHsTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkBigLHsVarPatTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkBigLHsVarTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkBinaryTickBox | Language.Haskell.Liquid.Desugar710.DsUtils |
MkCaseAlt | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCastDs | Language.Haskell.Liquid.Desugar710.DsUtils |
mkcheckExpr | Language.Haskell.Liquid.Prover.Solve |
mkCoAlgCaseMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCoLetMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCoPrimCaseMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCoreAppDs | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCoreAppsDs | Language.Haskell.Liquid.Desugar710.DsUtils |
mkCoSynCaseMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkDataConIdsTy | Language.Haskell.Liquid.Types.RefType |
mkErrorAppDs | Language.Haskell.Liquid.Desugar710.DsUtils |
mkEvalMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkExpr | Language.Haskell.Liquid.Prover.Types |
mkFCall | Language.Haskell.Liquid.Desugar710.DsCCall |
mkFExportCBits | Language.Haskell.Liquid.Desugar710.DsForeign |
mkGraph | Language.Haskell.Liquid.Misc |
mkGuardedMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
mkLHsPatTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkLHsVarPatTup | Language.Haskell.Liquid.Desugar710.DsUtils |
mkLit | Language.Haskell.Liquid.Transforms.CoreToLogic |
mkM | Language.Haskell.Liquid.Measure |
mkMSpec | Language.Haskell.Liquid.Measure |
mkMSpec' | Language.Haskell.Liquid.Measure |
mkNameG_dName | Language.Haskell.Liquid.Desugar710.DsMeta |
mkNameG_tcName | Language.Haskell.Liquid.Desugar710.DsMeta |
mkNameG_vName | Language.Haskell.Liquid.Desugar710.DsMeta |
mkOpts | Language.Haskell.Liquid.UX.CmdLine |
mkOptTickBox | Language.Haskell.Liquid.Desugar710.DsUtils |
mkOutput | Language.Haskell.Liquid.UX.Annotate |
mkPtr | Language.Haskell.Liquid.Foreign |
mkRTyConIAl | Language.Haskell.Liquid.Constraint.Types |
mkRTyConInv | Language.Haskell.Liquid.Constraint.Types |
mkSelectorBinds | Language.Haskell.Liquid.Desugar710.DsUtils |
mkSpecType | Language.Haskell.Liquid.Bare.OfType |
mkSpecType' | Language.Haskell.Liquid.Bare.OfType |
mkTyConInfo | Language.Haskell.Liquid.Types.RefType |
mkUnivs | Language.Haskell.Liquid.Types |
MkUReft | Language.Haskell.Liquid.Types |
mkVanillaTuplePat | Language.Haskell.Liquid.Desugar710.DsUtils |
mkVarExpr | Language.Haskell.Liquid.Bare.Misc |
mkViewMatchResult | Language.Haskell.Liquid.Desugar710.DsUtils |
ModName | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
modName | Language.Haskell.Liquid.Bare.Env |
ModType | Language.Haskell.Liquid.Types |
ms | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
msg | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
MSpec | |
1 (Type/Class) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
2 (Data Constructor) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Measure |
MTVST | Language.Haskell.Liquid.Bare.Misc |
mungeNames | Language.Haskell.Liquid.GHC.Misc |
name | Language.Haskell.Liquid.Types |
nameTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
nargs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
neq | Language.Haskell.Liquid.Prelude |
newBinds | Language.Haskell.Liquid.UX.DiffCheck |
newcheck | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
newSpec | Language.Haskell.Liquid.UX.DiffCheck |
nocaseexpand | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
noCheckUnknown | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
NonRecBindE | Language.Haskell.Liquid.Types |
noPrune | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
normalizePds | Language.Haskell.Liquid.Types.RefType |
notermination | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
notGHCVar | Language.Haskell.Liquid.Prover.Solve |
notruetypes | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
nowarnings | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
O | Language.Haskell.Liquid.Types |
obl | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Oblig | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
oblig | Language.Haskell.Liquid.Constraint.Types |
OCons | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ofBareType | Language.Haskell.Liquid.Bare.OfType |
ofBPVar | Language.Haskell.Liquid.Bare.OfType |
ofBSort | Language.Haskell.Liquid.Bare.OfType |
ofMeaSort | Language.Haskell.Liquid.Bare.OfType |
ofRSort | Language.Haskell.Liquid.Types |
ofType | Language.Haskell.Liquid.Types.RefType |
ofUReft | Language.Haskell.Liquid.Types |
OInv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
OkRT | Language.Haskell.Liquid.Types.PrettyPrint |
oldOutput | Language.Haskell.Liquid.UX.DiffCheck |
oneLine | Language.Haskell.Liquid.GHC.Misc |
Only | Language.Haskell.Liquid.Types |
OTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Output | Language.Haskell.Liquid.Types |
o_bots | Language.Haskell.Liquid.Types |
o_errors | Language.Haskell.Liquid.Types |
o_result | Language.Haskell.Liquid.Types |
o_templs | Language.Haskell.Liquid.Types |
o_types | Language.Haskell.Liquid.Types |
o_vars | Language.Haskell.Liquid.Types |
P | Language.Haskell.Liquid.Types |
panic | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
panicDoc | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
panicError | Language.Haskell.Liquid.UX.Tidy |
panicUnbound | Language.Haskell.Liquid.Constraint.Split |
pApp | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
pappArity | Language.Haskell.Liquid.Types.PredType |
pappSort | Language.Haskell.Liquid.Types.PredType |
pappSym | Language.Haskell.Liquid.Types |
par | Language.Haskell.Liquid.Prover.Pretty |
parg | Language.Haskell.Liquid.Types |
pargs | Language.Haskell.Liquid.Types |
parseQuery | Language.Haskell.Liquid.Prover.Parser |
parseSymbolToLogic | Language.Haskell.Liquid.Parse |
patQTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
pdVar | Language.Haskell.Liquid.Types.RefType |
pdVarReft | Language.Haskell.Liquid.WiredIn |
pErr | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
placeArg | Language.Haskell.Liquid.Prover.Solve |
placeExpr | Language.Haskell.Liquid.Prover.Solve |
pLen | Language.Haskell.Liquid.Foreign |
plus | Language.Haskell.Liquid.Prelude |
pname | Language.Haskell.Liquid.Types |
port | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
pos | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
powerset | Language.Haskell.Liquid.Prover.Misc |
powerset' | Language.Haskell.Liquid.Prover.Misc |
PP | Language.Haskell.Liquid.Types |
PPEnv | Language.Haskell.Liquid.Types |
ppEnv | Language.Haskell.Liquid.Types |
ppEnvShort | Language.Haskell.Liquid.Types |
ppError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ppError' | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
ppPs | Language.Haskell.Liquid.Types |
pprDoc | Language.Haskell.Liquid.GHC.Misc |
PPrint | Language.Haskell.Liquid.Types |
pprint | Language.Haskell.Liquid.Types |
pprintCBs | Language.Haskell.Liquid.GHC.Interface |
pprintLongList | Language.Haskell.Liquid.Types.PrettyPrint |
pprintPrec | Language.Haskell.Liquid.Types |
pprintSymbol | Language.Haskell.Liquid.Types.PrettyPrint |
pprintTidy | Language.Haskell.Liquid.Types |
pprManyOrdered | Language.Haskell.Liquid.Types.PrettyPrint |
pprShow | Language.Haskell.Liquid.GHC.Misc |
ppRType | Language.Haskell.Liquid.Types |
ppr_rtype | Language.Haskell.Liquid.Types.PrettyPrint |
ppShort | Language.Haskell.Liquid.Types |
ppSs | Language.Haskell.Liquid.Types |
ppTycon | Language.Haskell.Liquid.Types |
ppTyVar | Language.Haskell.Liquid.Types |
Pr | Language.Haskell.Liquid.Types |
pragmas | Language.Haskell.Liquid.Measure |
Prec | Language.Haskell.Liquid.GHC.Misc |
Pred | Language.Haskell.Liquid.Prover.Types |
predCtor | Language.Haskell.Liquid.Prover.Solve |
Predicate | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Type/Class) | Language.Haskell.Liquid.Types |
predicateP | Language.Haskell.Liquid.Prover.Parser |
PredInstE | Language.Haskell.Liquid.Types |
predType | Language.Haskell.Liquid.Types.PredType |
PrEnv | Language.Haskell.Liquid.Prover.Solve |
Proof | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
proofTyConName | Language.Haskell.Liquid.WiredIn |
proofType | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
propTyCon | Language.Haskell.Liquid.WiredIn |
propType | Language.Haskell.Liquid.WiredIn |
PrType | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
pruneRefs | Language.Haskell.Liquid.Constraint.Types |
ptype | Language.Haskell.Liquid.Types |
push | Language.Haskell.Liquid.GHC.SpanStack |
pushConsBind | Language.Haskell.Liquid.Constraint.Monad |
putExpr | Language.Haskell.Liquid.Prover.Solve |
PV | Language.Haskell.Liquid.Types |
PVar | Language.Haskell.Liquid.Types |
pvarRType | Language.Haskell.Liquid.Types.PredType |
pvars | Language.Haskell.Liquid.Types |
pVartoRConc | Language.Haskell.Liquid.Types.PredType |
PVHProp | Language.Haskell.Liquid.Types |
PVKind | Language.Haskell.Liquid.Types |
PVProp | Language.Haskell.Liquid.Types |
pvType | Language.Haskell.Liquid.Types |
p_evidence | Language.Haskell.Liquid.Prover.Types |
p_pred | Language.Haskell.Liquid.Prover.Types |
qname | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
qTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
qualifiedNameSymbol | Language.Haskell.Liquid.GHC.Misc |
qualifiers | |
1 (Function) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
2 (Function) | Language.Haskell.Liquid.Measure |
qualifySpec | Language.Haskell.Liquid.Measure |
qualifySymbol | Language.Haskell.Liquid.GHC.Misc |
qualImportDecl | Language.Haskell.Liquid.GHC.Misc |
Query | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
queryP | Language.Haskell.Liquid.Prover.Parser |
quoteDecName | Language.Haskell.Liquid.Desugar710.DsMeta |
quoteExpName | Language.Haskell.Liquid.Desugar710.DsMeta |
quotePatName | Language.Haskell.Liquid.Desugar710.DsMeta |
quoteTypeName | Language.Haskell.Liquid.Desugar710.DsMeta |
q_axioms | Language.Haskell.Liquid.Prover.Types |
q_ctors | Language.Haskell.Liquid.Prover.Types |
q_decls | Language.Haskell.Liquid.Prover.Types |
q_depth | Language.Haskell.Liquid.Prover.Types |
q_env | Language.Haskell.Liquid.Prover.Types |
q_fname | Language.Haskell.Liquid.Prover.Types |
q_goal | Language.Haskell.Liquid.Prover.Types |
q_isHO | Language.Haskell.Liquid.Prover.Types |
q_vars | Language.Haskell.Liquid.Prover.Types |
R | Language.Haskell.Liquid.Types |
RAllE | Language.Haskell.Liquid.Types |
RAllP | Language.Haskell.Liquid.Types |
RAllS | Language.Haskell.Liquid.Types |
RAllT | Language.Haskell.Liquid.Types |
RApp | Language.Haskell.Liquid.Types |
rApp | Language.Haskell.Liquid.Types.RefType |
RAppTy | Language.Haskell.Liquid.Types |
RBEnv | Language.Haskell.Liquid.Types.Bounds |
RBound | Language.Haskell.Liquid.Types.Bounds |
RClass | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
rCls | Language.Haskell.Liquid.Types |
rcMethods | Language.Haskell.Liquid.Types |
rcName | Language.Haskell.Liquid.Types |
rcSupers | Language.Haskell.Liquid.Types |
rcTyVars | Language.Haskell.Liquid.Types |
RDEnv | Language.Haskell.Liquid.Types |
readVars | Language.Haskell.Liquid.Types.Visitors |
realSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
realSrcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
realSrcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
realTcArity | Language.Haskell.Liquid.GHC.Misc |
RecBindE | Language.Haskell.Liquid.Types |
recCount | Language.Haskell.Liquid.Constraint.Types |
recs | Language.Haskell.Liquid.Constraint.Types |
Ref | Language.Haskell.Liquid.Types |
ref | Language.Haskell.Liquid.Constraint.Types |
refresh | Language.Haskell.Liquid.Constraint.Fresh |
RefTypable | Language.Haskell.Liquid.Types |
reGlobal | Language.Haskell.Liquid.Types |
reLocal | Language.Haskell.Liquid.Types |
REnv | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
renv | Language.Haskell.Liquid.Constraint.Types |
replaceN | Language.Haskell.Liquid.Misc |
replacePreds | Language.Haskell.Liquid.Types.PredType |
replacePredsWithRefs | Language.Haskell.Liquid.Types.PredType |
Resolvable | Language.Haskell.Liquid.Bare.Resolve |
resolve | Language.Haskell.Liquid.Bare.Resolve |
resolveVar | Language.Haskell.Liquid.Constraint.ProofToCore |
resolveVs | Language.Haskell.Liquid.Constraint.ProofToCore |
Response | Language.Haskell.Liquid.Interactive.Types |
Result | Language.Haskell.Liquid.UX.Tidy |
result | Language.Haskell.Liquid.UX.Tidy |
resultWrapper | Language.Haskell.Liquid.Desugar710.DsCCall |
REx | Language.Haskell.Liquid.Types |
rEx | Language.Haskell.Liquid.Types.RefType |
RExprArg | Language.Haskell.Liquid.Types |
RFun | Language.Haskell.Liquid.Types |
rFun | Language.Haskell.Liquid.Types |
rf_args | Language.Haskell.Liquid.Types |
rf_body | Language.Haskell.Liquid.Types |
RHole | Language.Haskell.Liquid.Types |
rhs | Language.Haskell.Liquid.Constraint.Types |
RI | Language.Haskell.Liquid.Types |
riclass | Language.Haskell.Liquid.Types |
RInstance | Language.Haskell.Liquid.Types |
rinstance | Language.Haskell.Liquid.Measure |
risigs | Language.Haskell.Liquid.Types |
ritype | Language.Haskell.Liquid.Types |
RProp | Language.Haskell.Liquid.Types |
rPropP | Language.Haskell.Liquid.Types |
RPVar | Language.Haskell.Liquid.Types |
RRBEnv | Language.Haskell.Liquid.Types.Bounds |
RRBound | Language.Haskell.Liquid.Types.Bounds |
rRCls | Language.Haskell.Liquid.Types |
RReft | Language.Haskell.Liquid.Types |
RRProp | Language.Haskell.Liquid.Types |
RRTy | Language.Haskell.Liquid.Types |
RRType | Language.Haskell.Liquid.Types |
RSort | Language.Haskell.Liquid.Types |
RTA | Language.Haskell.Liquid.Types |
RTAlias | Language.Haskell.Liquid.Types |
rtBody | Language.Haskell.Liquid.Types |
rtc_info | Language.Haskell.Liquid.Types |
rtc_tc | Language.Haskell.Liquid.Types |
RTE | Language.Haskell.Liquid.Types |
RTEnv | Language.Haskell.Liquid.Types |
rtEnv | Language.Haskell.Liquid.Bare.Env |
rtName | Language.Haskell.Liquid.Types |
rtPos | Language.Haskell.Liquid.Types |
rtPosE | Language.Haskell.Liquid.Types |
RTProp | Language.Haskell.Liquid.Types |
rtTArgs | Language.Haskell.Liquid.Types |
RTV | Language.Haskell.Liquid.Types |
rtVArgs | Language.Haskell.Liquid.Types |
RTyCon | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
RTyConIAl | Language.Haskell.Liquid.Constraint.Types |
RTyConInv | Language.Haskell.Liquid.Constraint.Types |
rTyConPropVs | Language.Haskell.Liquid.Types |
rTyConPVs | Language.Haskell.Liquid.Types |
RType | Language.Haskell.Liquid.Types |
rtypeDoc | Language.Haskell.Liquid.Types.PrettyPrint |
rTypeReft | Language.Haskell.Liquid.Types |
RTypeRep | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
rTypeSort | Language.Haskell.Liquid.Types.RefType |
rTypeSortedReft | Language.Haskell.Liquid.Types.RefType |
rTypeSortedReft' | Language.Haskell.Liquid.Constraint.Env |
rTypeValueVar | Language.Haskell.Liquid.Types |
RTyVar | Language.Haskell.Liquid.Types |
rTyVar | Language.Haskell.Liquid.Types.RefType |
rt_allarg | Language.Haskell.Liquid.Types |
rt_arg | Language.Haskell.Liquid.Types |
rt_args | Language.Haskell.Liquid.Types |
rt_bind | Language.Haskell.Liquid.Types |
rt_env | Language.Haskell.Liquid.Types |
rt_exarg | Language.Haskell.Liquid.Types |
rt_in | Language.Haskell.Liquid.Types |
rt_obl | Language.Haskell.Liquid.Types |
rt_out | Language.Haskell.Liquid.Types |
rt_pargs | Language.Haskell.Liquid.Types |
rt_pvbind | Language.Haskell.Liquid.Types |
rt_ref | Language.Haskell.Liquid.Types |
rt_reft | Language.Haskell.Liquid.Types |
rt_res | Language.Haskell.Liquid.Types |
rt_sbind | Language.Haskell.Liquid.Types |
rt_tvbind | Language.Haskell.Liquid.Types |
rt_ty | Language.Haskell.Liquid.Types |
rt_tycon | Language.Haskell.Liquid.Types |
rt_var | Language.Haskell.Liquid.Types |
runLiquid | Language.Haskell.Liquid.Liquid |
runMapTyVars | Language.Haskell.Liquid.Bare.Misc |
runToLogic | Language.Haskell.Liquid.Transforms.CoreToLogic |
RVar | Language.Haskell.Liquid.Types |
rVar | Language.Haskell.Liquid.Types.RefType |
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 |
tact | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
TagEnv | Language.Haskell.Liquid.UX.CTags |
TagKey | Language.Haskell.Liquid.UX.CTags |
takeModuleNames | Language.Haskell.Liquid.GHC.Misc |
Target | Language.Haskell.Liquid.Types |
target | Language.Haskell.Liquid.Types |
TargetVars | Language.Haskell.Liquid.Types |
tAs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
tcEmbeds | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
TCEnv | Language.Haskell.Liquid.Bare.Env |
tcEnv | Language.Haskell.Liquid.Bare.Env |
tcheck | Language.Haskell.Liquid.Constraint.Types |
tconsP | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
tcRnLookupRdrName | Language.Haskell.Liquid.GHC.Misc |
templateHaskellNames | Language.Haskell.Liquid.Desugar710.DsMeta |
termExprs | Language.Haskell.Liquid.Constraint.Types |
termexprs | Language.Haskell.Liquid.Measure |
TError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
texp | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
tExpDataConName | Language.Haskell.Liquid.Desugar710.DsMeta |
texprs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
tExpTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
tgEnv | Language.Haskell.Liquid.Constraint.Types |
tgKey | Language.Haskell.Liquid.Constraint.Types |
tgtVars | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
thin | Language.Haskell.Liquid.UX.DiffCheck |
third3 | Language.Haskell.Liquid.Misc |
third3M | Language.Haskell.Liquid.Misc |
third4 | Language.Haskell.Liquid.Misc |
TI | Language.Haskell.Liquid.Bare.Env |
tiargs | Language.Haskell.Liquid.Bare.Env |
tibody | Language.Haskell.Liquid.Bare.Env |
Tick | Language.Haskell.Liquid.GHC.SpanStack |
tickSrcSpan | Language.Haskell.Liquid.GHC.Misc |
tidyCBs | Language.Haskell.Liquid.GHC.Misc |
tidyError | Language.Haskell.Liquid.UX.Errors |
tidyLitPat | Language.Haskell.Liquid.Desugar710.MatchLit |
tidyNPat | Language.Haskell.Liquid.Desugar710.MatchLit |
tidySpecType | Language.Haskell.Liquid.UX.Tidy |
tidySymbol | Language.Haskell.Liquid.UX.Tidy |
times | Language.Haskell.Liquid.Prelude |
TInline | Language.Haskell.Liquid.Bare.Env |
ToCore | Language.Haskell.Liquid.Constraint.ProofToCore |
toCore | Language.Haskell.Liquid.Constraint.ProofToCore |
toCType | Language.Haskell.Liquid.Desugar710.DsForeign |
todo | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
toFixSDoc | Language.Haskell.Liquid.GHC.Misc |
toListREnv | Language.Haskell.Liquid.Constraint.Env |
toLogicMap | Language.Haskell.Liquid.Types |
toRSort | Language.Haskell.Liquid.Types |
toRTypeRep | Language.Haskell.Liquid.Types |
totality | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
toType | Language.Haskell.Liquid.Types.RefType |
tracePpr | Language.Haskell.Liquid.GHC.Misc |
Transformable | Language.Haskell.Liquid.Bare.RefToLogic |
transformRecExpr | Language.Haskell.Liquid.Transforms.Rec |
transformScope | Language.Haskell.Liquid.Transforms.Rec |
transpose | Language.Haskell.Liquid.List |
trec | Language.Haskell.Liquid.Constraint.Types |
true | Language.Haskell.Liquid.Constraint.Fresh |
trustghc | Language.Haskell.Liquid.Constraint.Types |
trustinternals | Language.Haskell.Liquid.UX.Config, Language.Haskell.Liquid.Types |
tryIgnore | Language.Haskell.Liquid.Misc |
tUs | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
tvId | Language.Haskell.Liquid.GHC.Misc |
txExpToBind | Language.Haskell.Liquid.Bare.Existential |
txRefSort | Language.Haskell.Liquid.Bare.SymSort |
txRefToLogic | Language.Haskell.Liquid.Bare.RefToLogic |
tyArgs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
tycDCons | Language.Haskell.Liquid.Types |
tyClasses | Language.Haskell.Liquid.Types.RefType |
tycName | Language.Haskell.Liquid.Types |
tycon | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
TyConable | Language.Haskell.Liquid.Types |
tyConEmbed | Language.Haskell.Liquid.Constraint.Types |
tyconEnv | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
TyConInfo | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
tyConInfo | Language.Haskell.Liquid.Constraint.Types |
tyConName | Language.Haskell.Liquid.Types.RefType |
TyConP | |
1 (Type/Class) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
2 (Data Constructor) | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
tyConsts | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
tyConTyVarsDef | Language.Haskell.Liquid.GHC.Misc |
tycPVars | Language.Haskell.Liquid.Types |
tycSFun | Language.Haskell.Liquid.Types |
tycSrcPos | Language.Haskell.Liquid.Types |
tycTyLabs | Language.Haskell.Liquid.Types |
tycTyVars | Language.Haskell.Liquid.Types |
typ | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
typeAliases | Language.Haskell.Liquid.Types |
TypeInstE | Language.Haskell.Liquid.Types |
typeQTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
types | Language.Haskell.Liquid.UX.ACSS |
typeSort | Language.Haskell.Liquid.Types.RefType |
typeTyConName | Language.Haskell.Liquid.Desugar710.DsMeta |
typeUniqueString | Language.Haskell.Liquid.GHC.Misc |
typeUniqueSymbol | Language.Haskell.Liquid.Types.RefType |
tyRes | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
tySigs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Bare.GhcSpec, Language.Haskell.Liquid.Bare |
tyvars | Language.Haskell.Liquid.Types.Bounds |
ty_args | Language.Haskell.Liquid.Types |
ty_binds | Language.Haskell.Liquid.Types |
ty_labels | Language.Haskell.Liquid.Types |
ty_preds | Language.Haskell.Liquid.Types |
ty_refts | Language.Haskell.Liquid.Types |
ty_res | Language.Haskell.Liquid.Types |
ty_vars | Language.Haskell.Liquid.Types |
uError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
unboxArg | Language.Haskell.Liquid.Desugar710.DsCCall |
unifiable | Language.Haskell.Liquid.Prover.Solve |
uniqueHash | Language.Haskell.Liquid.GHC.Misc |
unpackRealSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
Unsafe | Language.Haskell.Liquid.UX.ACSS |
unsafeTExpCoerceName | Language.Haskell.Liquid.Desugar710.DsMeta |
unTick | Language.Haskell.Liquid.GHC.Misc |
unTickExpr | Language.Haskell.Liquid.GHC.Misc |
unTypeName | Language.Haskell.Liquid.Desugar710.DsMeta |
unTypeQName | Language.Haskell.Liquid.Desugar710.DsMeta |
updateLocA | Language.Haskell.Liquid.Constraint.Monad |
updKVProf | Language.Haskell.Liquid.Types |
uPVar | Language.Haskell.Liquid.Types.RefType |
UReft | Language.Haskell.Liquid.Types |
uReft | Language.Haskell.Liquid.Types.RefType |
UReftable | Language.Haskell.Liquid.Types |
uRType | Language.Haskell.Liquid.Types.RefType |
uRType' | Language.Haskell.Liquid.Types.RefType |
uRTypeGen | Language.Haskell.Liquid.Types.RefType |
ur_pred | Language.Haskell.Liquid.Types |
ur_reft | Language.Haskell.Liquid.Types |
ur_strata | Language.Haskell.Liquid.Types |
UsedPVar | Language.Haskell.Liquid.Types |
UserError | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
useVars | Language.Haskell.Liquid.Types |
uTop | Language.Haskell.Liquid.Types.RefType |
val | Language.Haskell.Liquid.Types |
validTyVar | Language.Haskell.Liquid.GHC.Misc |
Var | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
3 (Data Constructor) | Language.Haskell.Liquid.GHC.SpanStack |
var | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
varANF | Language.Haskell.Liquid.Constraint.ProofToCore |
varANFPr | Language.Haskell.Liquid.Constraint.ProofToCore |
varCombine | Language.Haskell.Liquid.Constraint.ProofToCore |
VarCtor | |
1 (Type/Class) | Language.Haskell.Liquid.Prover.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Prover.Types |
varCtorToCtor | Language.Haskell.Liquid.Prover.Types |
varEnv | Language.Haskell.Liquid.Bare.Env |
Variance | Language.Haskell.Liquid.Types.Variance |
VarianceInfo | Language.Haskell.Liquid.Types.Variance |
variancePs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
variancePsArgs | Language.Haskell.Liquid.Types |
varianceTs | Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Types.PredType |
varianceTyArgs | Language.Haskell.Liquid.Types |
varMeasures | Language.Haskell.Liquid.Bare.Measure |
varP | Language.Haskell.Liquid.Prover.Parser |
varSymbol | Language.Haskell.Liquid.GHC.Misc |
var_info | Language.Haskell.Liquid.Prover.Types |
var_name | Language.Haskell.Liquid.Prover.Types |
var_sort | Language.Haskell.Liquid.Prover.Types |
vctor_prop | Language.Haskell.Liquid.Prover.Types |
vctor_var | Language.Haskell.Liquid.Prover.Types |
vctor_vars | Language.Haskell.Liquid.Prover.Types |
version | Paths_liquidhaskell |
vmap | Language.Haskell.Liquid.Bare.Misc |
Warn | Language.Haskell.Liquid.Bare.Env |
warnAboutEmptyEnumerations | Language.Haskell.Liquid.Desugar710.MatchLit |
warnAboutIdentities | Language.Haskell.Liquid.Desugar710.MatchLit |
WfC | |
1 (Type/Class) | Language.Haskell.Liquid.Constraint.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Constraint.Types |
whenLoud | Language.Haskell.Liquid.Prover.Constants |
wiredDataCons | Language.Haskell.Liquid.WiredIn |
wiredInMeasures | Language.Haskell.Liquid.Measure |
wiredSortedSyms | Language.Haskell.Liquid.WiredIn |
wiredTyCons | Language.Haskell.Liquid.WiredIn |
withPragmas | Language.Haskell.Liquid.UX.CmdLine |
withVArgs | Language.Haskell.Liquid.Bare.Env |
World | |
1 (Type/Class) | Language.Haskell.Liquid.Types |
2 (Data Constructor) | Language.Haskell.Liquid.Types |
wrapBind | Language.Haskell.Liquid.Desugar710.DsUtils |
wrapBinds | Language.Haskell.Liquid.Desugar710.DsUtils |
wrapParens | Language.Haskell.Liquid.GHC.Misc |
zip4 | Language.Haskell.Liquid.Misc |
zipWithDefM | Language.Haskell.Liquid.Misc |