ContentsIndex
Engine.Rewritable
Synopsis
class MonadIO m => Rewritable m a where
isFinal :: a -> m Bool
rewriteStep :: a -> m a
rewrite :: Rewritable m a => a -> m a
rewriteN :: Rewritable m a => Int -> a -> m a
Produced by Haddock version 0.6