toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portability	non-portable (DeriveDataTypeable)
Stability	provisional
Maintainer	masahiro.sakai@gmail.com
Safe Haskell	None

Data.Sign

Contents

Algebra of Sign

Description

Algebra of Signs.

Synopsis

Algebra of Sign

data Sign Source

Constructors

Neg
Zero
Pos

Instances

Bounded Sign
Enum Sign
Eq Sign
Data Sign
Ord Sign
Read Sign
Show Sign
Typeable Sign
Commutative Sign
Division Sign
Unital Sign
Multiplicative Sign
NFData Sign
Enumerable Sign

signNegate :: Sign -> Sign Source

signMul :: Sign -> Sign -> Sign Source

signRecip :: Sign -> Sign Source

signDiv :: Sign -> Sign -> Sign Source

signPow :: Integral x => Sign -> x -> Sign Source

signOf :: Real a => a -> Sign Source

showSign :: Sign -> String Source