HERMIT.Dictionary.Debug

Debugging Rewrites

externals :: [External]

Exposed debugging Externals.

bracketR :: (Injection a LCoreTC, ReadBindings c, ReadPath c Crumb, HasDebugChan m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a

Show before and after a rewrite.

observeR :: (Injection a LCoreTC, ReadBindings c, ReadPath c Crumb, HasDebugChan m, Monad m) => String -> Rewrite c m a

Print out the Core, with a message.

observeFailureR :: (Injection a LCoreTC, ReadBindings c, ReadPath c Crumb, HasDebugChan m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a

If the Rewrite fails, print out the Core, with a message.

traceR :: (HasDebugChan m, Monad m) => String -> Rewrite c m a

Just say something, every time the rewrite is done.