satchmo-2.9.9.4: SAT encoding monad

Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Binary.Op.Common

Synopsis

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 :: MonadSAT m => Boolean -> Boolean -> Boolean -> m (Boolean, Boolean)
half_adder :: MonadSAT m => Boolean -> Boolean -> m (Boolean, Boolean)
select :: MonadSAT m => Boolean -> Number -> m Number
max :: MonadSAT m => Number -> Number -> m Number
min :: MonadSAT m => Number -> Number -> m Number
maximum :: MonadSAT m => [Number] -> m Number

Documentation

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

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

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

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

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

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

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

full_adder Source #

Arguments

:: MonadSAT m
=> Boolean
-> Boolean
-> Boolean
-> m (Boolean, Boolean)	(result, carry)

half_adder Source #

Arguments

:: MonadSAT m
=> Boolean
-> Boolean
-> m (Boolean, Boolean)	(result, carry)

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

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

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

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

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