hermit-0.2.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.Primitive.Debug

Contents

Synopsis

Debugging Primitives

externals :: [External]Source

Exposed debugging Externals.

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.

observeFailureR :: Injection a Core => String -> RewriteH a -> RewriteH aSource

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

traceR :: String -> RewriteH aSource

Just say something, every time the rewrite is done.