BlockId

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

BlockId

# Documentation

type BlockId = Label

mkBlockId :: Unique -> BlockId

type BlockSet = LabelSet

type BlockEnv a = LabelMap a

class IsSet set where Source

Associated Types

type ElemOf set :: * Source

Methods

setNull :: set -> Bool Source

setSize :: set -> Int Source

setMember :: ElemOf set -> set -> Bool Source

setEmpty :: set Source

setSingleton :: ElemOf set -> set Source

setInsert :: ElemOf set -> set -> set Source

setDelete :: ElemOf set -> set -> set Source

setUnion :: set -> set -> set Source

setDifference :: set -> set -> set Source

setIntersection :: set -> set -> set Source

setIsSubsetOf :: set -> set -> Bool Source

setFold :: (ElemOf set -> b -> b) -> b -> set -> b Source

setElems :: set -> [ElemOf set] Source

setFromList :: [ElemOf set] -> set Source

Instances

IsSet LabelSet |
IsSet UniqueSet |

setInsertList :: IsSet set => [ElemOf set] -> set -> set Source

setDeleteList :: IsSet set => [ElemOf set] -> set -> set Source

setUnions :: IsSet set => [set] -> set Source

class IsMap map where Source

Associated Types

type KeyOf map :: * Source

Methods

mapNull :: map a -> Bool Source

mapSize :: map a -> Int Source

mapMember :: KeyOf map -> map a -> Bool Source

mapLookup :: KeyOf map -> map a -> Maybe a Source

mapFindWithDefault :: a -> KeyOf map -> map a -> a Source

mapEmpty :: map a Source

mapSingleton :: KeyOf map -> a -> map a Source

mapInsert :: KeyOf map -> a -> map a -> map a Source

mapInsertWith :: (a -> a -> a) -> KeyOf map -> a -> map a -> map a Source

mapDelete :: KeyOf map -> map a -> map a Source

mapUnion :: map a -> map a -> map a Source

mapUnionWithKey :: (KeyOf map -> a -> a -> a) -> map a -> map a -> map a Source

mapDifference :: map a -> map a -> map a Source

mapIntersection :: map a -> map a -> map a Source

mapIsSubmapOf :: Eq a => map a -> map a -> Bool Source

mapMap :: (a -> b) -> map a -> map b Source

mapMapWithKey :: (KeyOf map -> a -> b) -> map a -> map b Source

mapFold :: (a -> b -> b) -> b -> map a -> b Source

mapFoldWithKey :: (KeyOf map -> a -> b -> b) -> b -> map a -> b Source

mapFilter :: (a -> Bool) -> map a -> map a Source

mapElems :: map a -> [a] Source

mapKeys :: map a -> [KeyOf map] Source

mapToList :: map a -> [(KeyOf map, a)] Source

mapFromList :: [(KeyOf map, a)] -> map a Source

mapFromListWith :: (a -> a -> a) -> [(KeyOf map, a)] -> map a Source

Instances

IsMap LabelMap |
IsMap UniqueMap |

mapInsertList :: IsMap map => [(KeyOf map, a)] -> map a -> map a Source

mapDeleteList :: IsMap map => [KeyOf map] -> map a -> map a Source

mapUnions :: IsMap map => [map a] -> map a Source

emptyBlockSet :: BlockSet

emptyBlockMap :: BlockEnv a

blockLbl :: BlockId -> CLabel

infoTblLbl :: BlockId -> CLabel

retPtLbl :: BlockId -> CLabel