Satchmo.Binary.Op.Flexible

operations from this module cannot overflow. instead they increase the bit width.

Documentation

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

multiply by 2

data Number

Instances

Decode Number Integer

bits :: Number -> [Boolean]

make :: [Boolean] -> Number

width :: Number -> Int

number :: MonadSAT m => Int -> m Number

declare a number variable (bit width)

constant :: MonadSAT m => Integer -> m Number

declare a number constant

module Satchmo.Binary.Op.Common