hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
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.
Produced by Haddock version 2.12.0