Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- iszero :: MonadSAT m => Number -> m Boolean
- equals :: MonadSAT m => Number -> Number -> m Boolean
- le :: MonadSAT m => Number -> Number -> m Boolean
- ge :: MonadSAT m => Number -> Number -> m Boolean
- eq :: MonadSAT m => Number -> Number -> m Boolean
- lt :: MonadSAT m => Number -> Number -> m Boolean
- gt :: MonadSAT m => Number -> Number -> m Boolean
- min :: MonadSAT m => Number -> Number -> m Number
- max :: MonadSAT m => Number -> Number -> m Number
- maximum :: MonadSAT m => [Number] -> m Number
- minimum :: MonadSAT m => [Number] -> m Number
- select :: MonadSAT m => Boolean -> Number -> m Number
- antiselect :: MonadSAT m => Boolean -> Number -> m Number
- add :: MonadSAT m => Number -> Number -> m Number
- add_quadratic :: MonadSAT m => Number -> Number -> m Number
- add_by_odd_even_merge :: MonadSAT m => Number -> Number -> m Number
- add_by_bitonic_sort :: MonadSAT m => Number -> Number -> m Number