ghc-lib-parser-9.8.2.20240223: The GHC API, decoupled from GHC versions

Safe Haskell | None
Language | Haskell2010

GHC.Cmm.Dataflow.Label

# Documentation

data Label #

#### Instances

Instances details

Show Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Uniquable Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods getUnique :: Label -> Unique #
Outputable Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: Label -> SDoc #
Eq Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #
OutputableP env Label # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> Label -> SDoc #

data LabelMap v #

#### Instances

Instances details

Foldable LabelMap # |

Instance details

Defined in GHC.Cmm.Dataflow.Label

Methods

fold :: Monoid m => LabelMap m -> m #

foldMap :: Monoid m => (a -> m) -> LabelMap a -> m #

foldMap' :: Monoid m => (a -> m) -> LabelMap a -> m #

foldr :: (a -> b -> b) -> b -> LabelMap a -> b #

foldr' :: (a -> b -> b) -> b -> LabelMap a -> b #

foldl :: (b -> a -> b) -> b -> LabelMap a -> b #

foldl' :: (b -> a -> b) -> b -> LabelMap a -> b #

foldr1 :: (a -> a -> a) -> LabelMap a -> a #

foldl1 :: (a -> a -> a) -> LabelMap a -> a #

toList :: LabelMap a -> [a] #

null :: LabelMap a -> Bool #

length :: LabelMap a -> Int #

elem :: Eq a => a -> LabelMap a -> Bool #

maximum :: Ord a => LabelMap a -> a #

minimum :: Ord a => LabelMap a -> a #

sum :: Num a => LabelMap a -> a #

product :: Num a => LabelMap a -> a #

Traversable LabelMap # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods traverse :: Applicative f => (a -> f b) -> LabelMap a -> f (LabelMap b) # sequenceA :: Applicative f => LabelMap (f a) -> f (LabelMap a) # mapM :: Monad m => (a -> m b) -> LabelMap a -> m (LabelMap b) # sequence :: Monad m => LabelMap (m a) -> m (LabelMap a) #
Functor LabelMap # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods fmap :: (a -> b) -> LabelMap a -> LabelMap b # (<$) :: a -> LabelMap b -> LabelMap a #
IsMap LabelMap # |

Instance details

Defined in GHC.Cmm.Dataflow.Label

Associated Types

type KeyOf LabelMap |
Instance details Defined in GHC.Cmm.Dataflow.Label type KeyOf LabelMap = Label

Methods

mapNull :: LabelMap a -> Bool #

mapSize :: LabelMap a -> Int #

mapMember :: KeyOf LabelMap -> LabelMap a -> Bool #

mapLookup :: KeyOf LabelMap -> LabelMap a -> Maybe a #

mapFindWithDefault :: a -> KeyOf LabelMap -> LabelMap a -> a #

mapEmpty :: LabelMap a #

mapSingleton :: KeyOf LabelMap -> a -> LabelMap a #

mapInsert :: KeyOf LabelMap -> a -> LabelMap a -> LabelMap a #

mapInsertWith :: (a -> a -> a) -> KeyOf LabelMap -> a -> LabelMap a -> LabelMap a #

mapDelete :: KeyOf LabelMap -> LabelMap a -> LabelMap a #

mapAlter :: (Maybe a -> Maybe a) -> KeyOf LabelMap -> LabelMap a -> LabelMap a #

mapAdjust :: (a -> a) -> KeyOf LabelMap -> LabelMap a -> LabelMap a #

mapUnion :: LabelMap a -> LabelMap a -> LabelMap a #

mapUnionWithKey :: (KeyOf LabelMap -> a -> a -> a) -> LabelMap a -> LabelMap a -> LabelMap a #

mapDifference :: LabelMap a -> LabelMap a -> LabelMap a #

mapIntersection :: LabelMap a -> LabelMap a -> LabelMap a #

mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool #

mapMap :: (a -> b) -> LabelMap a -> LabelMap b #

mapMapWithKey :: (KeyOf LabelMap -> a -> b) -> LabelMap a -> LabelMap b #

mapFoldl :: (b -> a -> b) -> b -> LabelMap a -> b #

mapFoldr :: (a -> b -> b) -> b -> LabelMap a -> b #

mapFoldlWithKey :: (b -> KeyOf LabelMap -> a -> b) -> b -> LabelMap a -> b #

mapFoldMapWithKey :: Monoid m => (KeyOf LabelMap -> a -> m) -> LabelMap a -> m #

mapFilter :: (a -> Bool) -> LabelMap a -> LabelMap a #

mapFilterWithKey :: (KeyOf LabelMap -> a -> Bool) -> LabelMap a -> LabelMap a #

mapElems :: LabelMap a -> [a] #

mapKeys :: LabelMap a -> [KeyOf LabelMap] #

mapToList :: LabelMap a -> [(KeyOf LabelMap, a)] #

mapFromList :: [(KeyOf LabelMap, a)] -> LabelMap a #

mapFromListWith :: (a -> a -> a) -> [(KeyOf LabelMap, a)] -> LabelMap a #

TrieMap LabelMap # |

Instance details

Defined in GHC.Cmm.Dataflow.Label

Associated Types

type Key LabelMap |
Instance details Defined in GHC.Cmm.Dataflow.Label type Key LabelMap = Label

Methods

emptyTM :: LabelMap a #

lookupTM :: Key LabelMap -> LabelMap b -> Maybe b #

alterTM :: Key LabelMap -> XT b -> LabelMap b -> LabelMap b #

filterTM :: (a -> Bool) -> LabelMap a -> LabelMap a #

foldTM :: (a -> b -> b) -> LabelMap a -> b -> b #

OutputableP env a => OutputableP env (LabelMap a) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods pdoc :: env -> LabelMap a -> SDoc #
Show v => Show (LabelMap v) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods showsPrec :: Int -> LabelMap v -> ShowS # show :: LabelMap v -> String # showList :: [LabelMap v] -> ShowS #
Outputable a => Outputable (LabelMap a) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelMap a -> SDoc #
Eq v => Eq (LabelMap v) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods (==) :: LabelMap v -> LabelMap v -> Bool # (/=) :: LabelMap v -> LabelMap v -> Bool #
Ord v => Ord (LabelMap v) # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods compare :: LabelMap v -> LabelMap v -> Ordering # (<) :: LabelMap v -> LabelMap v -> Bool # (<=) :: LabelMap v -> LabelMap v -> Bool # (>) :: LabelMap v -> LabelMap v -> Bool # (>=) :: LabelMap v -> LabelMap v -> Bool # max :: LabelMap v -> LabelMap v -> LabelMap v # min :: LabelMap v -> LabelMap v -> LabelMap v #
type KeyOf LabelMap # |
Instance details Defined in GHC.Cmm.Dataflow.Label type KeyOf LabelMap = Label
type Key LabelMap # |
Instance details Defined in GHC.Cmm.Dataflow.Label type Key LabelMap = Label

data LabelSet #

#### Instances

Instances details

Monoid LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods mempty :: LabelSet # mappend :: LabelSet -> LabelSet -> LabelSet # mconcat :: [LabelSet] -> LabelSet #
Semigroup LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods (<>) :: LabelSet -> LabelSet -> LabelSet # sconcat :: NonEmpty LabelSet -> LabelSet # stimes :: Integral b => b -> LabelSet -> LabelSet #
Show LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods showsPrec :: Int -> LabelSet -> ShowS # show :: LabelSet -> String # showList :: [LabelSet] -> ShowS #
IsSet LabelSet # |

Instance details

Defined in GHC.Cmm.Dataflow.Label

Associated Types

type ElemOf LabelSet |
Instance details Defined in GHC.Cmm.Dataflow.Label type ElemOf LabelSet = Label

Methods

setNull :: LabelSet -> Bool #

setSize :: LabelSet -> Int #

setMember :: ElemOf LabelSet -> LabelSet -> Bool #

setEmpty :: LabelSet #

setSingleton :: ElemOf LabelSet -> LabelSet #

setInsert :: ElemOf LabelSet -> LabelSet -> LabelSet #

setDelete :: ElemOf LabelSet -> LabelSet -> LabelSet #

setUnion :: LabelSet -> LabelSet -> LabelSet #

setDifference :: LabelSet -> LabelSet -> LabelSet #

setIntersection :: LabelSet -> LabelSet -> LabelSet #

setIsSubsetOf :: LabelSet -> LabelSet -> Bool #

setFilter :: (ElemOf LabelSet -> Bool) -> LabelSet -> LabelSet #

setFoldl :: (b -> ElemOf LabelSet -> b) -> b -> LabelSet -> b #

setFoldr :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b #

setElems :: LabelSet -> [ElemOf LabelSet] #

setFromList :: [ElemOf LabelSet] -> LabelSet #

Outputable LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods ppr :: LabelSet -> SDoc #
Eq LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods (==) :: LabelSet -> LabelSet -> Bool # (/=) :: LabelSet -> LabelSet -> Bool #
Ord LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label Methods compare :: LabelSet -> LabelSet -> Ordering # (<) :: LabelSet -> LabelSet -> Bool # (<=) :: LabelSet -> LabelSet -> Bool # (>) :: LabelSet -> LabelSet -> Bool # (>=) :: LabelSet -> LabelSet -> Bool # max :: LabelSet -> LabelSet -> LabelSet # min :: LabelSet -> LabelSet -> LabelSet #
type ElemOf LabelSet # |
Instance details Defined in GHC.Cmm.Dataflow.Label type ElemOf LabelSet = Label

type FactBase f = LabelMap f #

lookupFact :: Label -> FactBase f -> Maybe f #

mkHooplLabel :: Int -> Label #