ContentsIndex
Engine.Rewritable
Documentation
class MonadIO m => Rewritable m a where
Methods
isFinal :: a -> m Bool
rewriteStep :: a -> m a
show/hide Instances
Monad m => Rewritable m Int
(MonadIO m, MonadState RModule m) => Rewritable m Relational
(MonadIO m, MonadState RModule m) => Rewritable m Relational
rewrite :: Rewritable m a => a -> m a
rewriteN :: Rewritable m a => Int -> a -> m a
Produced by Haddock version 0.8