Satchmo.Integer.Difference

Documentation

data Number a

Constructors

Difference

Fields

• top :: a
• bot :: a

Instances

Decode m a Integer => Decode m (Number a) Integer

Defined in Satchmo.Integer.Difference

Methods

decode :: Number a -> m Integer

Constant a => Constant (Number a)

Defined in Satchmo.Integer.Difference

Methods

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

Create a => Create (Number a)

Defined in Satchmo.Integer.Difference

Methods

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

Numeric a => Numeric (Number a)

Defined in Satchmo.Integer.Difference

Methods

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

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

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

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

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