ersatz-0.1.0.2: A monad for expressing SAT or QSAT problems using observable sharing.

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Ersatz.Monad

Contents

Description

 

Synopsis

The SAT Monad

newtype SAT m a Source

Constructors

SAT 

Fields

runSAT :: forall r. (a -> Problem -> m r) -> Problem -> m r
 

Instances

class (Applicative m, Monad m) => MonadSAT m whereSource

Instances

MonadSAT (SAT m) 
MonadSAT m => MonadSAT (ReaderT r m) 
MonadSAT m => MonadSAT (StateT s m) 
MonadSAT m => MonadSAT (StateT s m) 
(MonadSAT m, Monoid w) => MonadSAT (WriterT w m) 
(MonadSAT m, Monoid w) => MonadSAT (WriterT w m) 
(MonadSAT m, Monoid w) => MonadSAT (RWST r w s m) 
(MonadSAT m, Monoid w) => MonadSAT (RWST r w s m)