operations from this module cannot overflow. instead they increase the bit width.
- add :: MonadSAT m => Number -> Number -> m Number
- times :: MonadSAT m => Number -> Number -> m Number
- add_with_carry :: MonadSAT m => Boolean -> Booleans -> Booleans -> m (Booleans, Boolean)
- times1 :: MonadSAT m => Boolean -> Number -> m Number
- shift :: MonadSAT m => Number -> m Number
- data Number
- bits :: Number -> [Boolean]
- make :: [Boolean] -> Number
- width :: Number -> Int
- number :: MonadSAT m => Int -> m Number
- constant :: MonadSAT m => Integer -> m Number
- module Satchmo.Binary.Op.Common
Documentation
module Satchmo.Binary.Op.Common