Contents
Index
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