BlockId

ghc-8.0.0.20160204: The GHC API

Safe Haskell | None
Language | Haskell2010

BlockId

Contents

- Orphan instances

# Documentation

type BlockId = Label Source

mkBlockId :: Unique -> BlockId Source

type BlockSet = LabelSet Source

type BlockEnv a = LabelMap a Source

class IsSet set where Source

Associated Types

type ElemOf set :: TYPE Lifted Source

Instances

IsSet LabelSet |
Associated Types type ElemOf LabelSet :: TYPE Lifted Source Methods setNull :: LabelSet -> Bool Source setSize :: LabelSet -> Int Source setMember :: ElemOf LabelSet -> LabelSet -> Bool Source setEmpty :: LabelSet Source setSingleton :: ElemOf LabelSet -> LabelSet Source setInsert :: ElemOf LabelSet -> LabelSet -> LabelSet Source setDelete :: ElemOf LabelSet -> LabelSet -> LabelSet Source setUnion :: LabelSet -> LabelSet -> LabelSet Source setDifference :: LabelSet -> LabelSet -> LabelSet Source setIntersection :: LabelSet -> LabelSet -> LabelSet Source setIsSubsetOf :: LabelSet -> LabelSet -> Bool Source setFold :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b Source setElems :: LabelSet -> [ElemOf LabelSet] Source setFromList :: [ElemOf LabelSet] -> LabelSet Source
IsSet UniqueSet |
Associated Types type ElemOf UniqueSet :: TYPE Lifted Source Methods setNull :: UniqueSet -> Bool Source setSize :: UniqueSet -> Int Source setMember :: ElemOf UniqueSet -> UniqueSet -> Bool Source setEmpty :: UniqueSet Source setSingleton :: ElemOf UniqueSet -> UniqueSet Source setInsert :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source setDelete :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source setUnion :: UniqueSet -> UniqueSet -> UniqueSet Source setDifference :: UniqueSet -> UniqueSet -> UniqueSet Source setIntersection :: UniqueSet -> UniqueSet -> UniqueSet Source setIsSubsetOf :: UniqueSet -> UniqueSet -> Bool Source setFold :: (ElemOf UniqueSet -> b -> b) -> b -> UniqueSet -> b Source setElems :: UniqueSet -> [ElemOf UniqueSet] Source setFromList :: [ElemOf UniqueSet] -> UniqueSet Source

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 :: TYPE Lifted Source

Instances

IsMap LabelMap |
Associated Types type KeyOf (LabelMap :: TYPE Lifted -> TYPE Lifted) :: TYPE Lifted Source Methods mapNull :: LabelMap a -> Bool Source mapSize :: LabelMap a -> Int Source mapMember :: KeyOf LabelMap -> LabelMap a -> Bool Source mapLookup :: KeyOf LabelMap -> LabelMap a -> Maybe a Source mapFindWithDefault :: a -> KeyOf LabelMap -> LabelMap a -> a Source mapEmpty :: LabelMap a Source mapSingleton :: KeyOf LabelMap -> a -> LabelMap a Source mapInsert :: KeyOf LabelMap -> a -> LabelMap a -> LabelMap a Source mapInsertWith :: (a -> a -> a) -> KeyOf LabelMap -> a -> LabelMap a -> LabelMap a Source mapDelete :: KeyOf LabelMap -> LabelMap a -> LabelMap a Source mapUnion :: LabelMap a -> LabelMap a -> LabelMap a Source mapUnionWithKey :: (KeyOf LabelMap -> a -> a -> a) -> LabelMap a -> LabelMap a -> LabelMap a Source mapDifference :: LabelMap a -> LabelMap a -> LabelMap a Source mapIntersection :: LabelMap a -> LabelMap a -> LabelMap a Source mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool Source mapMap :: (a -> b) -> LabelMap a -> LabelMap b Source mapMapWithKey :: (KeyOf LabelMap -> a -> b) -> LabelMap a -> LabelMap b Source mapFold :: (a -> b -> b) -> b -> LabelMap a -> b Source mapFoldWithKey :: (KeyOf LabelMap -> a -> b -> b) -> b -> LabelMap a -> b Source mapFilter :: (a -> Bool) -> LabelMap a -> LabelMap a Source mapElems :: LabelMap a -> [a] Source mapKeys :: LabelMap a -> [KeyOf LabelMap] Source mapToList :: LabelMap a -> [(KeyOf LabelMap, a)] Source mapFromList :: [(KeyOf LabelMap, a)] -> LabelMap a Source mapFromListWith :: (a -> a -> a) -> [(KeyOf LabelMap, a)] -> LabelMap a Source
IsMap UniqueMap |
Associated Types type KeyOf (UniqueMap :: TYPE Lifted -> TYPE Lifted) :: TYPE Lifted Source Methods mapNull :: UniqueMap a -> Bool Source mapSize :: UniqueMap a -> Int Source mapMember :: KeyOf UniqueMap -> UniqueMap a -> Bool Source mapLookup :: KeyOf UniqueMap -> UniqueMap a -> Maybe a Source mapFindWithDefault :: a -> KeyOf UniqueMap -> UniqueMap a -> a Source mapEmpty :: UniqueMap a Source mapSingleton :: KeyOf UniqueMap -> a -> UniqueMap a Source mapInsert :: KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a Source mapInsertWith :: (a -> a -> a) -> KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a Source mapDelete :: KeyOf UniqueMap -> UniqueMap a -> UniqueMap a Source mapUnion :: UniqueMap a -> UniqueMap a -> UniqueMap a Source mapUnionWithKey :: (KeyOf UniqueMap -> a -> a -> a) -> UniqueMap a -> UniqueMap a -> UniqueMap a Source mapDifference :: UniqueMap a -> UniqueMap a -> UniqueMap a Source mapIntersection :: UniqueMap a -> UniqueMap a -> UniqueMap a Source mapIsSubmapOf :: Eq a => UniqueMap a -> UniqueMap a -> Bool Source mapMap :: (a -> b) -> UniqueMap a -> UniqueMap b Source mapMapWithKey :: (KeyOf UniqueMap -> a -> b) -> UniqueMap a -> UniqueMap b Source mapFold :: (a -> b -> b) -> b -> UniqueMap a -> b Source mapFoldWithKey :: (KeyOf UniqueMap -> a -> b -> b) -> b -> UniqueMap a -> b Source mapFilter :: (a -> Bool) -> UniqueMap a -> UniqueMap a Source mapElems :: UniqueMap a -> [a] Source mapKeys :: UniqueMap a -> [KeyOf UniqueMap] Source mapToList :: UniqueMap a -> [(KeyOf UniqueMap, a)] Source mapFromList :: [(KeyOf UniqueMap, a)] -> UniqueMap a Source mapFromListWith :: (a -> a -> a) -> [(KeyOf UniqueMap, a)] -> UniqueMap a Source

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 Source

emptyBlockMap :: BlockEnv a Source

blockLbl :: BlockId -> CLabel Source

infoTblLbl :: BlockId -> CLabel Source

retPtLbl :: BlockId -> CLabel Source

# Orphan instances

Outputable BlockSet |
Methods ppr :: BlockSet -> SDoc Source pprPrec :: Rational -> BlockSet -> SDoc Source
Outputable BlockId |
Methods ppr :: BlockId -> SDoc Source pprPrec :: Rational -> BlockId -> SDoc Source
Uniquable BlockId |
Methods getUnique :: BlockId -> Unique Source
Outputable a => Outputable (BlockEnv a) |
Methods ppr :: BlockEnv a -> SDoc Source pprPrec :: Rational -> BlockEnv a -> SDoc Source