Moduleghc-9.14.1GHC2021

GHC.Cmm.Dataflow.Label

Contents

Synopsis

newtype Label
newtype LabelMap
newtype LabelSet
type FactBase
value lookupFact
value mkHooplLabel
value setEmpty
value setNull
value setSize
value setMember
value setSingleton
value setInsert
value setDelete
value setUnion
value setUnions
value setDifference
value setIntersection
value setIsSubsetOf
value setFilter
value setFoldl
value setFoldr
value setFromList
value setElems
value mapNull
value mapSize
value mapMember
value mapLookup
value mapFindWithDefault
value mapEmpty
value mapSingleton
value mapInsert
value mapInsertWith
value mapDelete
value mapAlter
value mapAdjust
value mapUnion
value mapUnions
value mapUnionWithKey
value mapDifference
value mapIntersection
value mapIsSubmapOf
value mapMap
value mapMapWithKey
value mapFoldl
value mapFoldr
value mapFoldlWithKey
value mapFoldMapWithKey
value mapFilter
value mapFilterWithKey
value mapElems
value mapKeys
value mapToList
value mapFromList
value mapFromListWith
value mapMapMaybe

Packageghc-9.14.1
Exports55
LanguageGHC2021
LicenceBSD-3-Clause

newtypenewtype Label

Instances6Eq, Ord, Show, Outputable, Uniquable, OutputableP

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

newtypenewtype LabelMap v

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

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

newtypenewtype LabelSet

Instances6Eq, Ord, Show, Semigroup, Monoid, Outputable

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

typetype FactBase f = LabelMap f

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

valuemkHooplLabel :: Word64 -> Label

Set

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

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

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