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

Safe HaskellNone

HERMIT.Dictionary.Debug

Contents

Synopsis

Debugging Dictionarys

externals :: [External]Source

Exposed debugging Externals.

bracketR :: Injection a CoreTC => String -> RewriteH a -> RewriteH aSource

Show before and after a rewrite.

observeR :: Injection a CoreTC => String -> RewriteH aSource

Print out the Core, with a message.

observeFailureR :: Injection a CoreTC => 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.