Safe Haskell | None |
---|---|
Language | Haskell2010 |
- externals :: [External]
- bracketR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a
- observeR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m) => String -> Rewrite c m a
- observeFailureR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a
- traceR :: (HasHermitMEnv m, HasLemmas m, LiftCoreM m) => String -> Rewrite c m a
Debugging Rewrites
bracketR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a Source
Show before and after a rewrite.
observeR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m) => String -> Rewrite c m a Source
Print out the Core
, with a message.
observeFailureR :: (Injection a LCoreTC, LemmaContext c, ReadBindings c, ReadPath c Crumb, HasHermitMEnv m, HasLemmas m, LiftCoreM m, MonadCatch m) => String -> Rewrite c m a -> Rewrite c m a Source