Contents
Index
Engine.Rewritable
Documentation
class
MonadIO m =>
Rewritable
m a
where
Methods
isFinal
:: a -> m Bool
rewriteStep
:: a -> m a
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