 | funsat-0.4: A modern DPLL-style SAT solver | Source code | Contents | Index |
| DPLL.Monad |
The main SAT solver monad. Embeds ST. See type SSTErrMonad, which stands for ''State ST Error Monad''.
Most of the work done is in the form of SSTErrMonad actions.
| liftST :: MonadST s m => ST s a -> m a |
| runSSTErrMonad :: Error e => SSTErrMonad e st s a -> (st -> ST s (Either e a, st)) |
| evalSSTErrMonad :: Error e => SSTErrMonad e st s a -> st -> ST s (Either e a) |
| data SSTErrMonad e st s a |
| liftST :: MonadST s m => ST s a -> m a | Source |
| runSSTErrMonad :: Error e => SSTErrMonad e st s a -> (st -> ST s (Either e a, st)) | Source |
| evalSSTErrMonad :: Error e => SSTErrMonad e st s a -> st -> ST s (Either e a) | Source |
| data SSTErrMonad e st s a | Source |
SSTErrMonad e st s a: the error type e, state type st, ST thread s and result type a. This is a monad embedding ST and supporting error handling and state threading. It uses CPS to avoid checking Left and Right for every >>=; instead only checks on catchError. Idea adapted from http://haskell.org/haskellwiki/Performance/Monads. | |||||
 Instances | |||||
|