| ||||
| ||||
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 | ||||
Produced by Haddock version 2.6.0 |