satchmo-2.6.0: SAT encoding monad

Safe HaskellSafe-Inferred
LanguageHaskell98

Satchmo.SMT.Exotic.Semiring.Class

Documentation

data Strictness Source

Constructors

Full 
Half 

Instances

class Semiring a where Source

Methods

strictness :: a -> Strictness Source

nonnegative :: a -> Bool Source

strictly_positive :: a -> Bool Source

ge :: a -> a -> Bool Source

gt :: a -> a -> Bool Source

plus :: a -> a -> a Source

zero :: a Source

times :: a -> a -> a Source

one :: a Source

Instances

Semiring Integer 
Semiring Rational 
(Ord a, Num a) => Semiring (Tropical a) 
(Ord a, Num a) => Semiring (Fuzzy a) 
(Ord a, Num a) => Semiring (Arctic a)