Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Polynomial.Numeric

Documentation

Constructors

Instances details

Decode m a b => Decode m (Poly a) (Poly b) Source #
Instance details Defined in Satchmo.Polynomial.Numeric Methods decode :: Poly a -> m (Poly b) Source #
Show a => Show (Poly a) Source #
Instance details Defined in Satchmo.Polynomial.Numeric Methods showsPrec :: Int -> Poly a -> ShowS # show :: Poly a -> String # showList :: [Poly a] -> ShowS #
(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 #

derive :: forall {m} {a}. (Constant a, MonadSAT m, Numeric a) => Poly a -> m (Poly a) Source #

compose :: forall {m} {a}. (Create a, Constant a, Numeric a, MonadSAT m) => Poly a -> Poly a -> m (Poly a) Source #

fullZip :: [a] -> [b] -> [(Maybe a, Maybe b)] Source #