VarSet

Var, Id and TyVar set types

type VarSet

type IdSet

type TyVarSet

type CoVarSet

type TyCoVarSet

Manipulating these sets

emptyVarSet

unitVarSet

mkVarSet

extendVarSet

extendVarSetList

elemVarSet

subVarSet

unionVarSet

unionVarSets

mapUnionVarSet

intersectVarSet

intersectsVarSet

disjointVarSet

isEmptyVarSet

delVarSet

delVarSetList

delVarSetByKey

minusVarSet

filterVarSet

anyVarSet

allVarSet

transCloVarSet

fixVarSet

lookupVarSet_Directly

lookupVarSet

lookupVarSetByName

sizeVarSet

seqVarSet

elemVarSetByKey

partitionVarSet

pluralVarSet

pprVarSet

Deterministic Var set types

type DVarSet

type DIdSet

type DTyVarSet

type DTyCoVarSet

Manipulating these sets

emptyDVarSet

unitDVarSet

mkDVarSet

extendDVarSet

extendDVarSetList

elemDVarSet

dVarSetElems

subDVarSet

unionDVarSet

unionDVarSets

mapUnionDVarSet

intersectDVarSet

intersectsDVarSet

disjointDVarSet

isEmptyDVarSet

delDVarSet

delDVarSetList

minusDVarSet

foldDVarSet

filterDVarSet

dVarSetMinusVarSet

anyDVarSet

allDVarSet

transCloDVarSet

sizeDVarSet

seqDVarSet

partitionDVarSet

dVarSetToVarSet