Satchmo.Binary.Op.Flexible

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

Documentation

add :: Number -> Number -> SAT Number

times :: Number -> Number -> SAT Number

add_with_carry :: Boolean -> Booleans -> Booleans -> SAT (Booleans, Boolean)

times1 :: Boolean -> Number -> SAT Number

shift :: Number -> SAT Number

multiply by 2

data Number

Instances

Decode Number Integer

bits :: Number -> [Boolean]

make :: [Boolean] -> Number

width :: Number -> Int

number :: Int -> SAT Number

declare a number variable (bit width)

constant :: Integer -> SAT Number

declare a number constant

equals :: Number -> Number -> SAT Boolean

iszero :: Number -> SAT Boolean