Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Cmm.Dataflow.Label
Documentation
Instances
Show Label # | |
Uniquable Label # | |
Defined in GHC.Cmm.Dataflow.Label | |
Outputable Label # | |
Defined in GHC.Cmm.Dataflow.Label | |
Eq Label # | |
Ord Label # | |
OutputableP env Label # | |
Defined in GHC.Cmm.Dataflow.Label |
Instances
Instances
Monoid LabelSet # | |
Semigroup LabelSet # | |
Show LabelSet # | |
IsSet LabelSet # | |
Defined in GHC.Cmm.Dataflow.Label Methods setMember :: ElemOf LabelSet -> LabelSet -> Bool # 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 # | |
Defined in GHC.Cmm.Dataflow.Label | |
Eq LabelSet # | |
Ord LabelSet # | |
Defined in GHC.Cmm.Dataflow.Label | |
type ElemOf LabelSet # | |
Defined in GHC.Cmm.Dataflow.Label |
lookupFact :: Label -> FactBase f -> Maybe f #
mkHooplLabel :: Int -> Label #