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

Safe HaskellSafe-Infered

Language.HERMIT.Primitive.Debug

Contents

Synopsis

Debugging Primitives

externals :: [External]Source

Exposed debugging Externals.

traceR :: String -> RewriteH aSource

Just say something, every time the rewrite is done.

observeR :: (Injection a Core, Generic a ~ Core) => String -> RewriteH aSource

Print out the Core, with a message.

observeFailureR :: (Injection a Core, Generic a ~ Core) => String -> RewriteH a -> RewriteH aSource

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