Moduleghc-10.0.0.20260917GHC2024

GHC.Cmm.Dataflow.Label

4 types
52 values

Packageghc-10.0.0.20260917
Exports56
LanguageGHC2024
LicenceBSD-3-Clause

newtypenewtype Label

Constructors

Label
- lblToUnique :: Word64

Instances6Eq, Ord, Show, Outputable, Uniquable, OutputableP

Eq LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Ord LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Show LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Outputable LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Uniquable LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
OutputableP env LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label

newtypenewtype LabelMap v

Constructors

LM (Word64Map v)

Instances13Functor, Foldable, Traversable, TrieMap, OutputableP, Eq, …

Functor LabelMapDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Foldable LabelMapDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Traversable LabelMapDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
TrieMap LabelMapDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
OutputableP Platform CmmGraphDefined in ghc-10.0.0.20260917 · GHC.Cmm
OutputableP Platform CmmTopInfoDefined in ghc-10.0.0.20260917 · GHC.Cmm
OutputableP env a => OutputableP env (LabelMap a)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
OutputableP Platform (Graph CmmNode e x)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Node
Eq v => Eq (LabelMap v)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Ord v => Ord (LabelMap v)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Show v => Show (LabelMap v)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Outputable a => Outputable (LabelMap a)Defined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
type Key LabelMap = LabelDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label

newtypenewtype LabelSet

Constructors

LS Word64Set

Instances6Eq, Ord, Show, Semigroup, Monoid, Outputable

Eq LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Ord LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Show LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Semigroup LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Monoid LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label
Outputable LabelSetDefined in ghc-10.0.0.20260917 · GHC.Cmm.Dataflow.Label

typetype FactBase f = LabelMap f

valuelookupFact :: Label -> FactBase f -> Maybe f

valuemkHooplLabel :: Word64 -> Label

Set

17 declarations

valuesetEmpty :: LabelSet

valuesetNull :: LabelSet -> Bool

valuesetSize :: LabelSet -> Int

valuesetMember :: Label -> LabelSet -> Bool

valuesetSingleton :: Label -> LabelSet

valuesetInsert :: Label -> LabelSet -> LabelSet

valuesetDelete :: Label -> LabelSet -> LabelSet

valuesetUnion :: LabelSet -> LabelSet -> LabelSet

valuesetUnions :: [LabelSet] -> LabelSet

valuesetDifference :: LabelSet -> LabelSet -> LabelSet

valuesetIntersection :: LabelSet -> LabelSet -> LabelSet

valuesetIsSubsetOf :: LabelSet -> LabelSet -> Bool

valuesetFilter :: (Label -> Bool) -> LabelSet -> LabelSet

valuesetFoldl :: (t -> Label -> t) -> t -> LabelSet -> t

valuesetFoldr :: (Label -> t -> t) -> t -> LabelSet -> t

valuesetFromList :: [Label] -> LabelSet

valuesetElems :: LabelSet -> [Label]

Map

33 declarations

valuemapNull :: LabelMap a -> Bool

valuemapSize :: LabelMap a -> Int

valuemapMember :: Label -> LabelMap a -> Bool

valuemapLookup :: Label -> LabelMap a -> Maybe a

valuemapFindWithDefault :: a -> Label -> LabelMap a -> a

valuemapEmpty :: LabelMap v

valuemapSingleton :: Label -> v -> LabelMap v

valuemapInsert :: Label -> v -> LabelMap v -> LabelMap v

valuemapInsertWith :: (v -> v -> v) -> Label -> v -> LabelMap v -> LabelMap v

valuemapDelete :: Label -> LabelMap v -> LabelMap v

valuemapAlter :: (Maybe v -> Maybe v) -> Label -> LabelMap v -> LabelMap v

valuemapUpsert :: (Maybe v -> v) -> Label -> LabelMap v -> LabelMap v

valuemapAdjust :: (v -> v) -> Label -> LabelMap v -> LabelMap v

valuemapUnion :: LabelMap v -> LabelMap v -> LabelMap v

valuemapUnions :: [LabelMap a] -> LabelMap a

valuemapUnionWithKey

:: Label -> v -> v -> v
-> LabelMap v
-> LabelMap v
-> LabelMap v

valuemapDifference :: LabelMap v -> LabelMap b -> LabelMap v

valuemapIntersection :: LabelMap v -> LabelMap b -> LabelMap v

valuemapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool

valuemapMap :: (a -> v) -> LabelMap a -> LabelMap v

valuemapMapWithKey :: (Label -> a -> v) -> LabelMap a -> LabelMap v

valuemapFoldl :: (a -> b -> a) -> a -> LabelMap b -> a

valuemapFoldr :: (a -> b -> b) -> b -> LabelMap a -> b

valuemapFoldlWithKey :: (t -> Label -> b -> t) -> t -> LabelMap b -> t

valuemapFoldMapWithKey :: Monoid m => (Label -> t -> m) -> LabelMap t -> m

valuemapFilter :: (v -> Bool) -> LabelMap v -> LabelMap v

valuemapFilterWithKey :: (Label -> v -> Bool) -> LabelMap v -> LabelMap v

valuemapElems :: LabelMap a -> [a]

valuemapKeys :: LabelMap a -> [Label]

valuemapToList :: LabelMap b -> [(Label, b)]

valuemapFromList :: [(Label, v)] -> LabelMap v

valuemapFromListWith :: (v -> v -> v) -> [(Label, v)] -> LabelMap v

valuemapMapMaybe :: (a -> Maybe b) -> LabelMap a -> LabelMap b