Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Numeric

Documentation

class Constant a where Source #

Methods

constant :: MonadSAT m => Integer -> m a Source #

Instances

Instances details

Constant Number Source #
Instance details Defined in Satchmo.Binary.Numeric Methods constant :: MonadSAT m => Integer -> m Number Source #
Constant Number Source #
Instance details Defined in Satchmo.BinaryTwosComplement.Numeric Methods constant :: MonadSAT m => Integer -> m Number Source #
Constant a => Constant (Number a) Source #
Instance details Defined in Satchmo.Integer.Difference Methods constant :: MonadSAT m => Integer -> m (Number a) Source #

class Create a where Source #

Methods

create :: MonadSAT m => Int -> m a Source #

Parameter: bit width

Instances

Instances details

Create Number Source #
Instance details Defined in Satchmo.Binary.Numeric Methods create :: MonadSAT m => Int -> m Number Source #
Create Number Source #
Instance details Defined in Satchmo.BinaryTwosComplement.Numeric Methods create :: MonadSAT m => Int -> m Number Source #
Create a => Create (Number a) Source #
Instance details Defined in Satchmo.Integer.Difference Methods create :: MonadSAT m => Int -> m (Number a) Source #

class Numeric a where Source #

Methods

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

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

plus :: MonadSAT m => a -> a -> m a Source #

minus :: MonadSAT m => a -> a -> m a Source #

times :: MonadSAT m => a -> a -> m a Source #

Instances

Instances details

Numeric Number Source #
Instance details Defined in Satchmo.Binary.Numeric 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 #
Numeric Number Source #
Instance details Defined in Satchmo.BinaryTwosComplement.Numeric 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 #
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 #
(Create a, Constant a, Numeric a) => Numeric (Poly a) Source #
Instance details Defined in Satchmo.Polynomial.Numeric Methods equal :: MonadSAT m => Poly a -> Poly a -> m Boolean Source # greater_equal :: MonadSAT m => Poly a -> Poly a -> m Boolean Source # plus :: MonadSAT m => Poly a -> Poly a -> m (Poly a) Source # minus :: MonadSAT m => Poly a -> Poly a -> m (Poly a) Source # times :: MonadSAT m => Poly a -> Poly a -> m (Poly a) Source #