Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.BinaryTwosComplement.Numeric

Contents

Orphan instances

Constant Number Source #
Instance details Methods constant :: MonadSAT m => Integer -> m Number Source #
Create Number Source #
Instance details Methods create :: MonadSAT m => Int -> m Number Source #
Numeric Number Source #
Instance details Methods equal :: MonadSAT m => Number -> Number -> m Boolean Source # greater_equal :: MonadSAT m => Number -> Number -> m Boolean Source # plus :: MonadSAT m => Number -> Number -> m Number Source # minus :: MonadSAT m => Number -> Number -> m Number Source # times :: MonadSAT m => Number -> Number -> m Number Source #