Moduleghc-10.0.0.20260917GHC2024

GHC.Types.Unique.Set

2 types
60 values

Packageghc-10.0.0.20260917
Exports62
LanguageGHC2024
LicenceBSD-3-Clause
SourceSet.hs

Unique set type

3 declarations

newtypenewtype UniqSet a

Set of Uniquable values

Instances6Eq, Data, Semigroup, Monoid, NFData, Outputable

Eq (UniqSet a)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Data a => Data (UniqSet a)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Semigroup (UniqSet a)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Monoid (UniqSet a)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
NFData a => NFData (UniqSet a)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Outputable a => Outputable (UniqSet a)Defined in ghc-10.0.0.20260917 · 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

valuestrictAddOneToUniqSet_C

:: Uniquable a
=> a -> a -> 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

valuestrictUnionUniqSets_C

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

valuestrictUnionManyUniqSets_C :: (a -> a -> a) -> [UniqSet a] -> UniqSet a

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

valueminusUniqSet_C :: (a -> a -> Maybe a) -> 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

valuestrictIntersectUniqSets_C

:: a -> a -> a
-> 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

valuemapUniqSetToUFM :: (a -> b) -> UniqSet a -> UniqFM a b

valuemapMaybeUniqSetToUFM :: (a -> Maybe b) -> UniqSet a -> UniqFM a 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

valuemapMaybeUniqSet_sameUnique :: (a -> Maybe b) -> UniqSet a -> UniqSet b

Like Data.Set.mapMaybe, but you must ensure the passed in function does not change the Unique.

newtypenewtype UniqueSet

Set of Unique values

Similar to 'UniqSet Unique' but with a more compact representation.

Constructors

US
- unUniqueSet :: Word64Set

Instances5Eq, Ord, Show, Semigroup, Monoid

Eq UniqueSetDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Ord UniqueSetDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Show UniqueSetDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Semigroup UniqueSetDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set
Monoid UniqueSetDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.Set

valuenullUniqueSet :: UniqueSet -> Bool

valuesizeUniqueSet :: UniqueSet -> Int

valuememberUniqueSet :: Unique -> UniqueSet -> Bool

valueemptyUniqueSet :: UniqueSet

valuesingletonUniqueSet :: Unique -> UniqueSet

valueinsertUniqueSet :: Unique -> UniqueSet -> UniqueSet

valuedeleteUniqueSet :: Unique -> UniqueSet -> UniqueSet

valuedifferenceUniqueSet :: UniqueSet -> UniqueSet -> UniqueSet

valueunionUniqueSet :: UniqueSet -> UniqueSet -> UniqueSet

valueunionsUniqueSet :: [UniqueSet] -> UniqueSet

valueintersectionUniqueSet :: UniqueSet -> UniqueSet -> UniqueSet

valueisSubsetOfUniqueSet :: UniqueSet -> UniqueSet -> Bool

valuefilterUniqueSet :: (Unique -> Bool) -> UniqueSet -> UniqueSet

valuefoldlUniqueSet :: (a -> Unique -> a) -> a -> UniqueSet -> a

valuefoldrUniqueSet :: (Unique -> b -> b) -> b -> UniqueSet -> b

valueelemsUniqueSet :: UniqueSet -> [Unique]

valuefromListUniqueSet :: [Unique] -> UniqueSet