connections-0.0.1: Partial orders, Galois connections, ordered semirings, & residuated lattices.

Safe HaskellSafe
LanguageHaskell2010

Data.Dioid.Signed

Synopsis

Documentation

data Sign Source #

Sign is isomorphic to 'Maybe Ordering' and (Bool,Bool), but has a distinct poset ordering:

Indeterminate >= Positive >= Zero and Indeterminate >= Negative >= Zero

Note that Positive and Negative are not comparable.

  • Positive can be regarded as representing (0, +∞],
  • Negative as representing [−∞, 0),
  • Indeterminate as representing [−∞, +∞] v NaN, and
  • Zero as representing the set {0}.
Instances
Bounded Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Eq Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

(==) :: Sign -> Sign -> Bool #

(/=) :: Sign -> Sign -> Bool #

Show Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

showsPrec :: Int -> Sign -> ShowS #

show :: Sign -> String #

showList :: [Sign] -> ShowS #

Semigroup Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

(<>) :: Sign -> Sign -> Sign #

sconcat :: NonEmpty Sign -> Sign #

stimes :: Integral b => b -> Sign -> Sign #

Monoid Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

mempty :: Sign #

mappend :: Sign -> Sign -> Sign #

mconcat :: [Sign] -> Sign #

Semiring Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

(><) :: Sign -> Sign -> Sign #

fromBoolean :: Bool -> Sign #

Max Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

maximal :: Sign Source #

Min Sign Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

minimal :: Sign Source #

Prd Sign Source # 
Instance details

Defined in Data.Dioid.Signed

signOf :: (Eq a, Num a, Prd a) => a -> Sign Source #

newtype Signed Source #

Constructors

Signed 

Fields

Instances
Eq Signed Source # 
Instance details

Defined in Data.Dioid.Signed

Methods

(==) :: Signed -> Signed -> Bool #

(/=) :: Signed -> Signed -> Bool #

Show Signed Source # 
Instance details

Defined in Data.Dioid.Signed

Prd Signed Source # 
Instance details

Defined in Data.Dioid.Signed

newtype Unsigned Source #

Constructors

Unsigned Float 
Instances
Eq Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Show Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Semigroup Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Monoid Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Semiring Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Max Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Min Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Prd Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Lattice Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed

Quantale Unsigned Source # 
Instance details

Defined in Data.Dioid.Signed