Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.Var.Set

Contents

Var, Id and TyVar set types
Manipulating these sets
Deterministic Var set types
Manipulating these sets

Synopsis

type VarSet
type IdSet
type TyVarSet
type CoVarSet
type TyCoVarSet
value emptyVarSet
value unitVarSet
value mkVarSet
value extendVarSet
value extendVarSetList
value elemVarSet
value subVarSet
value unionVarSet
value unionVarSets
value mapUnionVarSet
value intersectVarSet
value intersectsVarSet
value disjointVarSet
value isEmptyVarSet
value delVarSet
value delVarSetList
value delVarSetByKey
value minusVarSet
value filterVarSet
value mapVarSet
value anyVarSet
value allVarSet
value transCloVarSet
value fixVarSet
value lookupVarSet_Directly
value lookupVarSet
value lookupVarSetByName
value sizeVarSet
value seqVarSet
value elemVarSetByKey
value partitionVarSet
value pluralVarSet
value pprVarSet
value nonDetStrictFoldVarSet
type DVarSet
type DIdSet
type DTyVarSet
type DCoVarSet
type DTyCoVarSet
value emptyDVarSet
value unitDVarSet
value mkDVarSet
value extendDVarSet
value extendDVarSetList
value elemDVarSet
value dVarSetElems
value subDVarSet
value unionDVarSet
value unionDVarSets
value mapUnionDVarSet
value intersectDVarSet
value dVarSetIntersectVarSet
value intersectsDVarSet
value disjointDVarSet
value isEmptyDVarSet
value delDVarSet
value delDVarSetList
value minusDVarSet
value nonDetStrictFoldDVarSet
value filterDVarSet
value mapDVarSet
value strictFoldDVarSet
value dVarSetMinusVarSet
value anyDVarSet
value allDVarSet
value transCloDVarSet
value sizeDVarSet
value seqDVarSet
value partitionDVarSet
value dVarSetToVarSet

Packageghc-lib-parser-9.14.1.20251220
Exports75
LanguageGHC2021
LicenceBSD-3-Clause
SourceSet.hs

Var, Id and TyVar set types

typetype VarSet = UniqSet Var

Source#

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

Source#

Identifier Set

typetype TyVarSet = UniqSet TyVar

Source#

Type Variable Set

typetype CoVarSet = UniqSet CoVar

Source#

Coercion Variable Set

typetype TyCoVarSet = UniqSet TyCoVar

Source#

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

Source#

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

Source#

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

Source#

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

typetype DVarSet = UniqDSet Var

Source#

Deterministic Variable Set

typetype DIdSet = UniqDSet Id

Source#

Deterministic Identifier Set

typetype DTyVarSet = UniqDSet TyVar

Source#

Deterministic Type Variable Set

typetype DCoVarSet = UniqDSet CoVar

Source#

Deterministic Coercion Variable Set

typetype DTyCoVarSet = UniqDSet TyCoVar

Source#

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

Source#

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

Source#

Map the function over the list, and union the results

valueintersectDVarSet :: DVarSet -> DVarSet -> DVarSet

valuedVarSetIntersectVarSet :: DVarSet -> VarSet -> DVarSet

valueintersectsDVarSet :: DVarSet -> DVarSet -> Bool

Source#

True if non-empty intersection

valuedisjointDVarSet :: DVarSet -> DVarSet -> Bool

Source#

True if empty intersection

valueisEmptyDVarSet :: DVarSet -> Bool

valuedelDVarSet :: DVarSet -> Var -> DVarSet

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

Source#

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

valuestrictFoldDVarSet :: (a -> r -> r) -> r -> UniqDSet a -> r

valuedVarSetMinusVarSet :: DVarSet -> VarSet -> DVarSet

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

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

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

Source#

transCloVarSet for DVarSet

valuesizeDVarSet :: DVarSet -> Int

valueseqDVarSet :: DVarSet -> ()

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

Source#

Partition DVarSet according to the predicate given

valuedVarSetToVarSet :: DVarSet -> VarSet

Source#

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