Satchmo.Binary.Op.Common

Documentation

iszero :: MonadSAT m => Number -> m Boolean

equals :: MonadSAT m => Number -> Number -> m Boolean

lt :: MonadSAT m => Number -> Number -> m Boolean

le :: MonadSAT m => Number -> Number -> m Boolean

ge :: MonadSAT m => Number -> Number -> m Boolean

eq :: MonadSAT m => Number -> Number -> m Boolean

gt :: MonadSAT m => Number -> Number -> m Boolean

full_adder

Arguments

:: MonadSAT m

=> Boolean

-> Boolean

-> Boolean

-> m (Boolean, Boolean)

(result, carry)

half_adder

Arguments

:: MonadSAT m

=> Boolean

-> Boolean

-> m (Boolean, Boolean)

(result, carry)

select :: MonadSAT m => Boolean -> Number -> m Number

i flag is True, then the number itself, and zero otherwise.

max :: MonadSAT m => Number -> Number -> m Number

min :: MonadSAT m => Number -> Number -> m Number

maximum :: MonadSAT m => [Number] -> m Number