intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking (Index)

intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking

Index

:=>	Intensional.Types
Ambiguous	Intensional.Types
App	Intensional.Types
Atomic	Intensional.Constraints
avg	Intensional
Base	Intensional.Types
Benchmark
1 (Type/Class)	Intensional
2 (Data Constructor)	Intensional
bigD	Intensional
bigI	Intensional
bigK	Intensional
bigN	Intensional
bigV	Intensional
body	Intensional.Scheme
boundvs	Intensional.Scheme
branchAny	Intensional.InferM
cexs
1 (Function)	Intensional.Constraints
2 (Function)	Intensional.InferM
CInfo
1 (Type/Class)	Intensional.Constraints
2 (Data Constructor)	Intensional.Constraints
cinfo	Intensional.Constraints
Con	Intensional.Constructors
ConL	Intensional.Constructors
ConR	Intensional.Constructors
consInstArgs	Intensional.FromCore
Constraint
1 (Type/Class)	Intensional.Constraints
2 (Data Constructor)	Intensional.Constraints
constraints	Intensional.Scheme
ConstraintSet	Intensional.Constraints
Context	Intensional.InferM
Data	Intensional.Types
DataType	Intensional.Types
debugging	Intensional.Ubiq
decompType	Intensional.Types
delete	Intensional.Guard
deleteAll	Intensional.Guard
Dom	Intensional.Constructors
Domain	Intensional.Types
domain	Intensional.Types
emitDD	Intensional.InferM
emitDK	Intensional.InferM
emitKD	Intensional.InferM
Forall	Intensional.Scheme
fresh	Intensional.InferM
freshCoreScheme	Intensional.FromCore
freshCoreType	Intensional.FromCore
fromCoreCons	Intensional.FromCore
fromList
1 (Function)	Intensional.Guard
2 (Function)	Intensional.Constraints
getD	Intensional.InferM
getExternalName	Intensional.InferM
getI	Intensional.InferM
getK	Intensional.InferM
getLocation	Intensional.Constructors
getN	Intensional.InferM
getV	Intensional.InferM
getVar	Intensional.FromCore
groups	Intensional.Guard
Guard
1 (Type/Class)	Intensional.Guard
2 (Data Constructor)	Intensional.Guard
guard	Intensional.Constraints
guardWith	Intensional.Constraints
impliedBy	Intensional.Guard
incrN	Intensional.InferM
InferEnv
1 (Type/Class)	Intensional.InferM
2 (Data Constructor)	Intensional.InferM
inferLoc	Intensional.InferM
InferM	Intensional.InferM
inferProg	Intensional.InferCoreExpr
Inj	Intensional.Types
insert	Intensional.Constraints
isEmpty	Intensional.Guard
isIneligible	Intensional.InferM
isTrivial	Intensional.InferM
isTriviallyUnsat	Intensional.Constraints
K	Intensional.Constructors
L	Intensional.Constructors
left	Intensional.Constraints
Lit	Intensional.Types
lookup	Intensional.Guard
modInfo	Intensional.Constraints
modName	Intensional.InferM
mono	Intensional.Scheme
noteD	Intensional.InferM
noteErrs	Intensional.InferM
noteK	Intensional.InferM
plugin	Intensional
prov	Intensional.Constraints
prpr	Intensional.Types
putVar	Intensional.InferM
putVars	Intensional.InferM
R	Intensional.Constructors
Refined	Intensional.Types
rename	Intensional.Types
right	Intensional.Constraints
runInferM	Intensional.InferM
RVar	Intensional.Types
saturate
1 (Function)	Intensional.Constraints
2 (Function)	Intensional.InferM
Scheme
1 (Data Constructor)	Intensional.Scheme
2 (Type/Class)	Intensional.Scheme
SchemeGen	Intensional.Scheme
Set	Intensional.Constructors
setLoc	Intensional.InferM
Side	Intensional.Constructors
singleton	Intensional.Guard
size	Intensional.Constraints
spanInfo	Intensional.Constraints
sspn	Intensional.Constraints
Stats
1 (Type/Class)	Intensional.InferM
2 (Data Constructor)	Intensional.InferM
subTyVar	Intensional.Types
times	Intensional
toAtomic	Intensional.Constructors
toList
1 (Function)	Intensional.Constraints
2 (Function)	Intensional.Guard
traceSpan	Intensional.Ubiq
tyconOf	Intensional.Types
Type	Intensional.Types
typedVars	Intensional.Guard
TypeGen	Intensional.Types
tyvars	Intensional.Scheme
unsats
1 (Function)	Intensional.Constraints
2 (Function)	Intensional.Scheme
Var	Intensional.Types
varEnv	Intensional.InferM