Moduleghc-10.0.0.20260917GHC2024

GHC.Types.Unique.Set

Contents

Unique set type
Manipulating these sets

Synopsis

newtype UniqSet
value getUniqSet
value pprUniqSet
value emptyUniqSet
value unitUniqSet
value mkUniqSet
value addOneToUniqSet
value addListToUniqSet
value strictAddOneToUniqSet_C
value delOneFromUniqSet
value delOneFromUniqSet_Directly
value delListFromUniqSet
value delListFromUniqSet_Directly
value unionUniqSets
value unionManyUniqSets
value strictUnionUniqSets_C
value strictUnionManyUniqSets_C
value minusUniqSet
value minusUniqSet_C
value uniqSetMinusUFM
value uniqSetMinusUDFM
value intersectUniqSets
value strictIntersectUniqSets_C
value disjointUniqSets
value restrictUniqSetToUFM
value uniqSetAny
value uniqSetAll
value elementOfUniqSet
value elemUniqSet_Directly
value filterUniqSet
value filterUniqSet_Directly
value sizeUniqSet
value isEmptyUniqSet
value lookupUniqSet
value lookupUniqSet_Directly
value partitionUniqSet
value mapUniqSet
value mapUniqSetToUFM
value mapMaybeUniqSetToUFM
value unsafeUFMToUniqSet
value nonDetEltsUniqSet
value nonDetKeysUniqSet
value nonDetStrictFoldUniqSet
value mapMaybeUniqSet_sameUnique
newtype UniqueSet
value nullUniqueSet
value sizeUniqueSet
value memberUniqueSet
value emptyUniqueSet
value singletonUniqueSet
value insertUniqueSet
value deleteUniqueSet
value differenceUniqueSet
value unionUniqueSet
value unionsUniqueSet
value intersectionUniqueSet
value isSubsetOfUniqueSet
value filterUniqueSet
value foldlUniqueSet
value foldrUniqueSet
value elemsUniqueSet
value fromListUniqueSet

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

Unique set type

newtypenewtype UniqSet a

Source#

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

Source#

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

Source#

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

Source#

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

newtypenewtype UniqueSet

Source#

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