Satchmo.Polynomial.Numeric

Documentation

data Poly a

Constructors

Poly [a]

Instances

Decode m a b => Decode m (Poly a) (Poly b)

Show a => Show (Poly a)

(Create a, Constant a, Numeric a) => Numeric (Poly a)

derive :: (Constant a, Numeric a, MonadSAT m) => Poly a -> m (Poly a)

constantTerm :: Poly a -> a

polynomial :: (Create a, MonadSAT m) => Int -> Int -> m (Poly a)

compose :: (Constant a, Create a, Numeric a, MonadSAT m) => Poly a -> Poly a -> m (Poly a)

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