Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Orphan instances
Constant Number Source # | |
Create Number Source # | |
Numeric Number Source # | |
equal :: MonadSAT m => Number -> Number -> m Boolean Source # greater_equal :: MonadSAT m => Number -> Number -> m Boolean Source # plus :: MonadSAT m => Number -> Number -> m Number Source # minus :: MonadSAT m => Number -> Number -> m Number Source # times :: MonadSAT m => Number -> Number -> m Number Source # |