Documentation

data BlockId

mkBlockId :: Unique -> BlockId

data BlockEnv a

emptyBlockEnv :: BlockEnv a

elemBlockEnv :: BlockEnv a -> BlockId -> Bool

lookupBlockEnv :: BlockEnv a -> BlockId -> Maybe a

extendBlockEnv :: BlockEnv a -> BlockId -> a -> BlockEnv a

mkBlockEnv :: [(BlockId, a)] -> BlockEnv a

mapBlockEnv :: (a -> b) -> BlockEnv a -> BlockEnv b

eltsBlockEnv :: BlockEnv elt -> [elt]

plusBlockEnv :: BlockEnv elt -> BlockEnv elt -> BlockEnv elt

delFromBlockEnv :: BlockEnv elt -> BlockId -> BlockEnv elt

blockEnvToList :: BlockEnv elt -> [(BlockId, elt)]

lookupWithDefaultBEnv :: BlockEnv a -> a -> BlockId -> a

isNullBEnv :: BlockEnv a -> Bool

sizeBEnv :: BlockEnv a -> Int

foldBlockEnv :: (BlockId -> a -> b -> b) -> b -> BlockEnv a -> b

foldBlockEnv' :: (a -> b -> b) -> b -> BlockEnv a -> b

addToBEnv_Acc :: (elt -> elts -> elts) -> (elt -> elts) -> BlockEnv elts -> BlockId -> elt -> BlockEnv elts

data BlockSet

emptyBlockSet :: BlockSet

unitBlockSet :: BlockId -> BlockSet

isEmptyBlockSet :: BlockSet -> Bool

elemBlockSet :: BlockId -> BlockSet -> Bool

extendBlockSet :: BlockSet -> BlockId -> BlockSet

sizeBlockSet :: BlockSet -> Int

unionBlockSets :: BlockSet -> BlockSet -> BlockSet

removeBlockSet :: BlockSet -> BlockId -> BlockSet

mkBlockSet :: [BlockId] -> BlockSet

blockSetToList :: BlockSet -> [BlockId]

foldBlockSet :: (BlockId -> b -> b) -> b -> BlockSet -> b

blockLbl :: BlockId -> CLabel

infoTblLbl :: BlockId -> CLabel

retPtLbl :: BlockId -> CLabel