satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.Integer.Difference

Documentation

data Number a Source #

Constructors

Difference 

Fields

Instances

Instances details
Decode m a Integer => Decode m (Number a) Integer Source # 
Instance details

Defined in Satchmo.Integer.Difference

Methods

decode :: Number a -> m Integer Source #

Constant a => Constant (Number a) Source # 
Instance details

Defined in Satchmo.Integer.Difference

Methods

constant :: MonadSAT m => Integer -> m (Number a) Source #

Create a => Create (Number a) Source # 
Instance details

Defined in Satchmo.Integer.Difference

Methods

create :: MonadSAT m => Int -> m (Number a) Source #

Numeric a => Numeric (Number a) Source # 
Instance details

Defined in Satchmo.Integer.Difference

Methods

equal :: MonadSAT m => Number a -> Number a -> m Boolean Source #

greater_equal :: MonadSAT m => Number a -> Number a -> m Boolean Source #

plus :: MonadSAT m => Number a -> Number a -> m (Number a) Source #

minus :: MonadSAT m => Number a -> Number a -> m (Number a) Source #

times :: MonadSAT m => Number a -> Number a -> m (Number a) Source #