Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Numeric a where Source #
equal :: MonadSAT m => a -> a -> m Boolean Source #
greater_equal :: MonadSAT m => a -> a -> m Boolean Source #
plus :: MonadSAT m => a -> a -> m a Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
class Numeric a where Source #
equal :: MonadSAT m => a -> a -> m Boolean Source #
greater_equal :: MonadSAT m => a -> a -> m Boolean Source #
plus :: MonadSAT m => a -> a -> m a Source #