satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Polynomial.Numeric

Documentation

data Poly a Source

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) Source

constantTerm :: Poly a -> a Source

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

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

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