module ZipCfgExtras
()
where
+import BlockId
import Maybes
import Panic
import ZipCfg
_unused :: ()
_unused = all `seq` ()
where all = ( exit, focusp, unfocus {- , splice_focus_entry, splice_focus_exit -}
- , fold_fwd_block, foldM_fwd_block (\_ a -> Just a)
+ , foldM_fwd_block (\_ a -> Just a)
)
unfocus (FGraph e bz bs) = LGraph e (insertBlock (zip bz) bs)
FGraph eid (ZBlock head' tail) (plusUFM (lg_blocks g') blocks)
-}
--- | Fold from first to last
-fold_fwd_block ::
- (BlockId -> a -> a) -> (m -> a -> a) -> (ZLast l -> a -> a) ->
- Block m l -> a -> a
-fold_fwd_block first middle last (Block id t) z = tail t (first id z)
- where tail (ZTail m t) z = tail t (middle m z)
- tail (ZLast l) z = last l z
-
-- | iterate from first to last
foldM_fwd_block ::
Monad m => (BlockId -> a -> m a) -> (mid -> a -> m a) -> (ZLast l -> a -> m a) ->