Documentation

data BlockId Source

mkBlockId :: Unique -> BlockIdSource

data BlockEnv a Source

emptyBlockEnv :: BlockEnv aSource

elemBlockEnv :: BlockEnv a -> BlockId -> BoolSource

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

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

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

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

eltsBlockEnv :: BlockEnv elt -> [elt]Source

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

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

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

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

isNullBEnv :: BlockEnv a -> BoolSource

sizeBEnv :: BlockEnv a -> IntSource

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

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

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

data BlockSet Source

emptyBlockSet :: BlockSetSource

unitBlockSet :: BlockId -> BlockSetSource

isEmptyBlockSet :: BlockSet -> BoolSource

elemBlockSet :: BlockId -> BlockSet -> BoolSource

extendBlockSet :: BlockSet -> BlockId -> BlockSetSource

sizeBlockSet :: BlockSet -> IntSource

unionBlockSets :: BlockSet -> BlockSet -> BlockSetSource

removeBlockSet :: BlockSet -> BlockId -> BlockSetSource

mkBlockSet :: [BlockId] -> BlockSetSource

blockSetToList :: BlockSet -> [BlockId]Source

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

blockLbl :: BlockId -> CLabelSource

infoTblLbl :: BlockId -> CLabelSource

retPtLbl :: BlockId -> CLabelSource