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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.Debug

Contents

Synopsis

Debugging Dictionarys

externals :: [External] Source

Exposed debugging Externals.

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

Show before and after a rewrite.

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

Print out the Core, with a message.

observeFailureR :: Injection a CoreTC => String -> RewriteH a -> RewriteH a Source

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

traceR :: String -> RewriteH a Source

Just say something, every time the rewrite is done.