-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Dump the communication with an SMT solver for debugging purposes.
--   
--   Dump the communication with an SMT solver for debugging purposes.
@package smtlib2-debug
@version 1.0

module Language.SMTLib2.Debug
data DebugBackend (b :: *)
debugBackend :: (Backend b, MonadIO (SMTMonad b)) => b -> DebugBackend b
namedDebugBackend :: (Backend b, MonadIO (SMTMonad b)) => String -> b -> DebugBackend b
debugBackend' :: (Backend b, MonadIO (SMTMonad b)) => Bool -> Bool -> Maybe String -> Handle -> b -> DebugBackend b
instance Language.SMTLib2.Internals.Backend.Backend b => Data.GADT.Show.GShow (Language.SMTLib2.Internals.Backend.Expr (Language.SMTLib2.Debug.DebugBackend b))
instance Language.SMTLib2.Internals.Backend.Backend b => Data.GADT.Compare.GEq (Language.SMTLib2.Internals.Backend.Expr (Language.SMTLib2.Debug.DebugBackend b))
instance Language.SMTLib2.Internals.Backend.Backend b => Data.GADT.Compare.GCompare (Language.SMTLib2.Internals.Backend.Expr (Language.SMTLib2.Debug.DebugBackend b))
instance Language.SMTLib2.Internals.Backend.Backend b => Language.SMTLib2.Internals.Type.GetType (Language.SMTLib2.Internals.Backend.Expr (Language.SMTLib2.Debug.DebugBackend b))
instance Language.SMTLib2.Internals.Backend.Backend b => Language.SMTLib2.Internals.Backend.Backend (Language.SMTLib2.Debug.DebugBackend b)