Moduleghc-9.10.3GHC2021

GHC.Types.Var.Set

9 types
64 values

Packageghc-9.10.3
Exports73
LanguageGHC2021
LicenceBSD-3-Clause
SourceSet.hs

Var, Id and TyVar set types

5 declarations

typetype VarSet = UniqSet Var

A non-deterministic Variable Set

A non-deterministic set of variables. See Note [Deterministic UniqFM] in GHC.Types.Unique.DFM for explanation why it's not deterministic and why it matters. Use DVarSet if the set eventually gets converted into a list or folded over in a way where the order changes the generated code, for example when abstracting variables.

typetype IdSet = UniqSet Id

Identifier Set

typetype TyVarSet = UniqSet TyVar

Type Variable Set

typetype CoVarSet = UniqSet CoVar

Coercion Variable Set

typetype TyCoVarSet = UniqSet TyCoVar

Type or Coercion Variable Set

Manipulating these sets

valueemptyVarSet :: VarSet

valueunitVarSet :: Var -> VarSet

valuemkVarSet :: [Var] -> VarSet

valueextendVarSet :: VarSet -> Var -> VarSet

valueextendVarSetList :: VarSet -> [Var] -> VarSet

valueelemVarSet :: Var -> VarSet -> Bool

valuesubVarSet :: VarSet -> VarSet -> Bool

valueunionVarSet :: VarSet -> VarSet -> VarSet

valueunionVarSets :: [VarSet] -> VarSet

valuemapUnionVarSet :: (a -> VarSet) -> [a] -> VarSet

map the function over the list, and union the results

valueintersectVarSet :: VarSet -> VarSet -> VarSet

valueintersectsVarSet :: VarSet -> VarSet -> Bool

valuedisjointVarSet :: VarSet -> VarSet -> Bool

valueisEmptyVarSet :: VarSet -> Bool

valuedelVarSet :: VarSet -> Var -> VarSet

valuedelVarSetList :: VarSet -> [Var] -> VarSet

valuedelVarSetByKey :: VarSet -> Unique -> VarSet

valueminusVarSet :: VarSet -> VarSet -> VarSet

valuefilterVarSet :: (Var -> Bool) -> VarSet -> VarSet

valuemapVarSet :: Uniquable b => (a -> b) -> UniqSet a -> UniqSet b

valueanyVarSet :: (Var -> Bool) -> VarSet -> Bool

valueallVarSet :: (Var -> Bool) -> VarSet -> Bool

valuetransCloVarSet :: (VarSet -> VarSet) -> VarSet -> VarSet

valuefixVarSet :: (VarSet -> VarSet) -> VarSet -> VarSet

valuelookupVarSet_Directly :: VarSet -> Unique -> Maybe Var

valuelookupVarSet :: VarSet -> Var -> Maybe Var

valuelookupVarSetByName :: VarSet -> Name -> Maybe Var

valuesizeVarSet :: VarSet -> Int

valueseqVarSet :: VarSet -> ()

valueelemVarSetByKey :: Unique -> VarSet -> Bool

valuepartitionVarSet :: (Var -> Bool) -> VarSet -> (VarSet, VarSet)

valuepluralVarSet :: VarSet -> SDoc

Determines the pluralisation suffix appropriate for the length of a set in the same way that plural from Outputable does for lists.

valuepprVarSet

:: VarSet
The things to be pretty printed
-> ([Var] -> SDoc)
The pretty printing function to use on the elements
-> SDoc
SDoc where the things have been pretty printed

Pretty-print a non-deterministic set. The order of variables is non-deterministic and for pretty-printing that shouldn't be a problem. Having this function helps contain the non-determinism created with nonDetEltsUFM. Passing a list to the pretty-printing function allows the caller to decide on the order of Vars (eg. toposort them) without them having to use nonDetEltsUFM at the call site. This prevents from let-binding non-deterministically ordered lists and reusing them where determinism matters.

valuenonDetStrictFoldVarSet :: (Var -> a -> a) -> a -> VarSet -> a

Deterministic Var set types

4 declarations

typetype DVarSet = UniqDSet Var

Deterministic Variable Set

typetype DIdSet = UniqDSet Id

Deterministic Identifier Set

typetype DTyVarSet = UniqDSet TyVar

Deterministic Type Variable Set

typetype DTyCoVarSet = UniqDSet TyCoVar

Deterministic Type or Coercion Variable Set

Manipulating these sets

valueemptyDVarSet :: DVarSet

valueunitDVarSet :: Var -> DVarSet

valuemkDVarSet :: [Var] -> DVarSet

valueextendDVarSet :: DVarSet -> Var -> DVarSet

valueextendDVarSetList :: DVarSet -> [Var] -> DVarSet

Add a list of variables to DVarSet

valueelemDVarSet :: Var -> DVarSet -> Bool

valuedVarSetElems :: DVarSet -> [Var]

valuesubDVarSet :: DVarSet -> DVarSet -> Bool

valueunionDVarSet :: DVarSet -> DVarSet -> DVarSet

valueunionDVarSets :: [DVarSet] -> DVarSet

valuemapUnionDVarSet :: (a -> DVarSet) -> [a] -> DVarSet

Map the function over the list, and union the results

valueintersectDVarSet :: DVarSet -> DVarSet -> DVarSet

valuedVarSetIntersectVarSet :: DVarSet -> VarSet -> DVarSet

valueintersectsDVarSet :: DVarSet -> DVarSet -> Bool

True if non-empty intersection

valuedisjointDVarSet :: DVarSet -> DVarSet -> Bool

True if empty intersection

valueisEmptyDVarSet :: DVarSet -> Bool

valuedelDVarSet :: DVarSet -> Var -> DVarSet

valuedelDVarSetList :: DVarSet -> [Var] -> DVarSet

Delete a list of variables from DVarSet

valueminusDVarSet :: DVarSet -> DVarSet -> DVarSet

valuenonDetStrictFoldDVarSet :: (Var -> a -> a) -> a -> DVarSet -> a

valuefilterDVarSet :: (Var -> Bool) -> DVarSet -> DVarSet

valuemapDVarSet :: Uniquable b => (a -> b) -> UniqDSet a -> UniqDSet b

valuedVarSetMinusVarSet :: DVarSet -> VarSet -> DVarSet

valueanyDVarSet :: (Var -> Bool) -> DVarSet -> Bool

valueallDVarSet :: (Var -> Bool) -> DVarSet -> Bool

valuetransCloDVarSet :: (DVarSet -> DVarSet) -> DVarSet -> DVarSet

transCloVarSet for DVarSet

valuesizeDVarSet :: DVarSet -> Int

valueseqDVarSet :: DVarSet -> ()

valuepartitionDVarSet :: (Var -> Bool) -> DVarSet -> (DVarSet, DVarSet)

Partition DVarSet according to the predicate given

valuedVarSetToVarSet :: DVarSet -> VarSet

Convert a DVarSet to a VarSet by forgetting the order of insertion