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

extendVarSet_C

elemVarSet

varSetElems

subVarSet

unionVarSet

unionVarSets

mapUnionVarSet

intersectVarSet

intersectsVarSet

disjointVarSet

isEmptyVarSet

delVarSet

delVarSetList

delVarSetByKey

minusVarSet

foldVarSet

filterVarSet

transCloVarSet

fixVarSet

lookupVarSet

lookupVarSetByName

mapVarSet

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

transCloDVarSet

sizeDVarSet

seqDVarSet

partitionDVarSet

dVarSetToVarSet