Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Decode m a Integer => Decode m (Number a) Integer Source # | |
Constant a => Constant (Number a) Source # | |
Create a => Create (Number a) Source # | |
Numeric a => Numeric (Number a) Source # | |
Defined in Satchmo.Integer.Difference equal :: MonadSAT m => Number a -> Number a -> m Boolean Source # greater_equal :: MonadSAT m => Number a -> Number a -> m Boolean Source # plus :: MonadSAT m => Number a -> Number a -> m (Number a) Source # minus :: MonadSAT m => Number a -> Number a -> m (Number a) Source # times :: MonadSAT m => Number a -> Number a -> m (Number a) Source # |