BPS-0.1.0.0: Translations of classic Truth Maintenance Systems
Safe HaskellNone
LanguageHaskell2010

Data.TMS.Dbg

Synopsis

Documentation

Constraint for monads which will require MonadIO when debugging is activated.

class Monad m => Debuggable m Source #

Instances

Instances details
Monad m => Debuggable m Source # 
Instance details

Defined in Data.TMS.Dbg

The quoted code will be run when debugging is activated.

dbg :: a -> Q Exp Source #