hermit-0.1.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.Primitive.Debug
Contents
Synopsis
externals :: [External]Source
Exposed debugging Externals.
External
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.
Core
observeFailureR :: (Injection a Core, Generic a ~ Core) => String -> RewriteH a -> RewriteH aSource
If the Rewrite fails, print out the Core, with a message.
Rewrite