Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class (Applicative m, Monad m) => MonadSAT m where Source
fresh, fresh_forall :: m Literal Source
emit some note (could be printed by the backend)
decode_variable :: Variable -> Decoder m Bool Source
MonadSAT SAT Source | |
MonadSAT SAT Source | |
MonadSAT SAT Source | |
(Monad m, MonadSAT m) => MonadSAT (ListT m) Source | |
(Monad m, MonadSAT m) => MonadSAT (ContT s m) Source | |
(Monad m, MonadSAT m) => MonadSAT (ReaderT r m) Source | |
(Monad m, MonadSAT m) => MonadSAT (StateT s m) Source | |
(Monad m, MonadSAT m) => MonadSAT (StateT s m) Source | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (WriterT w m) Source | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (WriterT w m) Source | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (RWST r w s m) Source | |
(Monad m, MonadSAT m, Monoid w) => MonadSAT (RWST r w s m) Source |