Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (Applicative m, Monad m) => MonadSAT m where Source #
fresh_forall :: m Literal Source #
emit :: Clause -> m () Source #
note :: String -> m () Source #
emit some note (could be printed by the backend)
Instances
MonadSAT SAT Source # | |
MonadSAT SAT Source # | |
MonadSAT SAT Source # | |
(Monad m, MonadSAT m) => MonadSAT (ListT m) Source # | |
(Monad m, MonadSAT m) => MonadSAT (ReaderT r m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m) => MonadSAT (StateT s m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m) => MonadSAT (StateT s m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (WriterT w m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (WriterT w m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m) => MonadSAT (ContT s m) Source # | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (RWST r w s m) Source # | |
Defined in Satchmo.MonadSAT | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (RWST r w s m) Source # | |
Defined in Satchmo.MonadSAT |