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