Moduleghc-9.10.3GHC2021

GHC.Types.Unique.DSet

Specialised deterministic sets, for things with Uniques

Based on UniqDFMs (as you would expect). See Note [Deterministic UniqFM] in GHC.Types.Unique.DFM for explanation why we need it.

Basically, the things need to be in class Uniquable.

Unique set type

3 declarations

newtypenewtype UniqDSet a

Instances3Eq, Data, Outputable

Eq (UniqDSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.DSet
Data a => Data (UniqDSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.DSet
Outputable a => Outputable (UniqDSet a)Defined in ghc-9.10.3 · GHC.Types.Unique.DSet

valuegetUniqDSet :: UniqDSet a -> UniqDFM a a

valuepprUniqDSet :: (a -> SDoc) -> UniqDSet a -> SDoc

valuedelOneFromUniqDSet :: Uniquable a => UniqDSet a -> a -> UniqDSet a

valuedelListFromUniqDSet :: Uniquable a => UniqDSet a -> [a] -> UniqDSet a

valueemptyUniqDSet :: UniqDSet a

valueunitUniqDSet :: Uniquable a => a -> UniqDSet a

valuemkUniqDSet :: Uniquable a => [a] -> UniqDSet a

valueaddOneToUniqDSet :: Uniquable a => UniqDSet a -> a -> UniqDSet a

valueaddListToUniqDSet :: Uniquable a => UniqDSet a -> [a] -> UniqDSet a

valueunionUniqDSets :: UniqDSet a -> UniqDSet a -> UniqDSet a

valueunionManyUniqDSets :: [UniqDSet a] -> UniqDSet a

valueminusUniqDSet :: UniqDSet a -> UniqDSet a -> UniqDSet a

valueuniqDSetMinusUniqSet :: UniqDSet a -> UniqSet a -> UniqDSet a

valueintersectUniqDSets :: UniqDSet a -> UniqDSet a -> UniqDSet a

valueuniqDSetIntersectUniqSet :: UniqDSet a -> UniqSet a -> UniqDSet a

valuenonDetStrictFoldUniqDSet :: (a -> b -> b) -> b -> UniqDSet a -> b

valueelementOfUniqDSet :: Uniquable a => a -> UniqDSet a -> Bool

valuefilterUniqDSet :: (a -> Bool) -> UniqDSet a -> UniqDSet a

valuesizeUniqDSet :: UniqDSet a -> Int

valueisEmptyUniqDSet :: UniqDSet a -> Bool

valuelookupUniqDSet :: Uniquable a => UniqDSet a -> a -> Maybe a

valueuniqDSetToList :: UniqDSet a -> [a]

valuepartitionUniqDSet :: (a -> Bool) -> UniqDSet a -> (UniqDSet a, UniqDSet a)

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