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

Portability	non-portable (FlexibleInstances, DeriveDataTypeable, CPP)
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

negate :: Sign -> Sign Source

mult :: Sign -> Sign -> Sign Source

recip :: Sign -> Sign Source

div :: Sign -> Sign -> Sign Source

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

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

symbol :: Sign -> String Source