hermit-0.2.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.Primitive.Debug
Contents
Synopsis
externals :: [External]Source
Exposed debugging Externals.
External
bracketR :: Injection a Core => String -> RewriteH a -> RewriteH aSource
Show before and after a rewrite.
observeR :: Injection a Core => String -> RewriteH aSource
Print out the Core, with a message.
Core
observeFailureR :: Injection a Core => String -> RewriteH a -> RewriteH aSource
If the Rewrite fails, print out the Core, with a message.
Rewrite
traceR :: String -> RewriteH aSource
Just say something, every time the rewrite is done.