| ||||||
| ||||||
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.1 |