Safe Haskell	None
Language	Haskell2010

ToySolver.SAT.Encoder.Integer

Documentation

Constructors

Instances

Eq Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Num Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods (+) :: Expr -> Expr -> Expr # (-) :: Expr -> Expr -> Expr # (*) :: Expr -> Expr -> Expr # negate :: Expr -> Expr # abs :: Expr -> Expr # signum :: Expr -> Expr # fromInteger :: Integer -> Expr #
Read Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods readsPrec :: Int -> ReadS Expr # readList :: ReadS [Expr] # readPrec :: ReadPrec Expr # readListPrec :: ReadPrec [Expr] #
Show Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
VectorSpace Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Associated Types type Scalar Expr :: Type # Methods (*^) :: Scalar Expr -> Expr -> Expr #
AdditiveGroup Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer Methods zeroV :: Expr # (^+^) :: Expr -> Expr -> Expr # negateV :: Expr -> Expr # (^-^) :: Expr -> Expr -> Expr #
type Scalar Expr Source #
Instance details Defined in ToySolver.SAT.Encoder.Integer type Scalar Expr = Integer