Moduleghc-9.10.3GHC2021

GHC.Types.Unique.Set

1 type
35 values

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

Unique set type

3 declarations

newtypenewtype UniqSet a

Instances5Eq, Data, Semigroup, Monoid, Outputable

Eq (UniqSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.Set
Data a => Data (UniqSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.Set
Semigroup (UniqSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.Set
Monoid (UniqSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.Set
Outputable a => Outputable (UniqSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.Set

valuegetUniqSet :: UniqSet a -> UniqFM a a

valuepprUniqSet :: (a -> SDoc) -> UniqSet a -> SDoc

Manipulating these sets

valueemptyUniqSet :: UniqSet a

valueunitUniqSet :: Uniquable a => a -> UniqSet a

valuemkUniqSet :: Uniquable a => [a] -> UniqSet a

valueaddOneToUniqSet :: Uniquable a => UniqSet a -> a -> UniqSet a

valueaddListToUniqSet :: Uniquable a => UniqSet a -> [a] -> UniqSet a

valuedelOneFromUniqSet :: Uniquable a => UniqSet a -> a -> UniqSet a

valuedelOneFromUniqSet_Directly :: UniqSet a -> Unique -> UniqSet a

valuedelListFromUniqSet :: Uniquable a => UniqSet a -> [a] -> UniqSet a

valuedelListFromUniqSet_Directly :: UniqSet a -> [Unique] -> UniqSet a

valueunionUniqSets :: UniqSet a -> UniqSet a -> UniqSet a

valueunionManyUniqSets :: [UniqSet a] -> UniqSet a

valueminusUniqSet :: UniqSet a -> UniqSet a -> UniqSet a

valueuniqSetMinusUFM :: UniqSet key -> UniqFM key b -> UniqSet key

valueuniqSetMinusUDFM :: UniqSet key -> UniqDFM key b -> UniqSet key

valueintersectUniqSets :: UniqSet a -> UniqSet a -> UniqSet a

valuedisjointUniqSets :: UniqSet a -> UniqSet a -> Bool

valuerestrictUniqSetToUFM :: UniqSet key -> UniqFM key b -> UniqSet key

valueuniqSetAny :: (a -> Bool) -> UniqSet a -> Bool

valueuniqSetAll :: (a -> Bool) -> UniqSet a -> Bool

valueelementOfUniqSet :: Uniquable a => a -> UniqSet a -> Bool

valueelemUniqSet_Directly :: Unique -> UniqSet a -> Bool

valuefilterUniqSet :: (a -> Bool) -> UniqSet a -> UniqSet a

valuefilterUniqSet_Directly

:: Unique -> elt -> Bool
-> UniqSet elt
-> UniqSet elt

valuesizeUniqSet :: UniqSet a -> Int

valueisEmptyUniqSet :: UniqSet a -> Bool

valuelookupUniqSet :: Uniquable key => UniqSet key -> key -> Maybe key

What's the point you might ask? We might have changed an object without it's key changing. In which case this lookup makes sense.

valuelookupUniqSet_Directly :: UniqSet a -> Unique -> Maybe a

valuepartitionUniqSet :: (a -> Bool) -> UniqSet a -> (UniqSet a, UniqSet a)

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

valueunsafeUFMToUniqSet :: UniqFM a a -> UniqSet a

unsafeUFMToUniqSet converts a UniqFM a into a UniqSet a assuming, without checking, that it maps each Unique to a value that has that Unique. See Note [UniqSet invariant].

valuenonDetEltsUniqSet :: UniqSet elt -> [elt]

valuenonDetKeysUniqSet :: UniqSet elt -> [Unique]

valuenonDetStrictFoldUniqSet :: (elt -> a -> a) -> a -> UniqSet elt -> a