Data.Semilattice.Signed

Documentation

data Sign

Sign is similar to 'Maybe Ordering', 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}.

Constructors

Zero

Negative

Positive

Indeterminate

Instances

Eq Sign

Defined in Data.Semilattice.Signed

Methods

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

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

Show Sign

Defined in Data.Semilattice.Signed

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Semigroup Sign

Defined in Data.Semilattice.Signed

Methods

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

sconcat :: NonEmpty Sign -> Sign

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

Monoid Sign

Defined in Data.Semilattice.Signed

Methods

mempty :: Sign

mappend :: Sign -> Sign -> Sign

mconcat :: [Sign] -> Sign

Maximal Sign

Defined in Data.Semilattice.Signed

Methods

maximal :: Sign

Minimal Sign

Defined in Data.Semilattice.Signed

Methods

minimal :: Sign

Prd Sign

Defined in Data.Semilattice.Signed

Methods

(<~) :: Sign -> Sign -> Bool

(>~) :: Sign -> Sign -> Bool

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

(?~) :: Sign -> Sign -> Bool

pcompare :: Sign -> Sign -> Maybe Ordering

signOf :: (Eq a, (Additive - Monoid) a, Prd a) => a -> Sign

fromOrdering :: Ordering -> Sign

newtype Signed a

Constructors

Signed

Fields

• unSigned :: a

Instances

(Semiring a, Prd a) => Eq (Signed a)

Defined in Data.Semilattice.Signed

Methods

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

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

Show a => Show (Signed a)

Defined in Data.Semilattice.Signed

Methods

showsPrec :: Int -> Signed a -> ShowS

show :: Signed a -> String

showList :: [Signed a] -> ShowS

(Field a, Prd a) => Prd (Signed a)

Defined in Data.Semilattice.Signed

Methods

(<~) :: Signed a -> Signed a -> Bool

(>~) :: Signed a -> Signed a -> Bool

(=~) :: Signed a -> Signed a -> Bool

(?~) :: Signed a -> Signed a -> Bool

pcompare :: Signed a -> Signed a -> Maybe Ordering

joinSigned :: (Semifield a, Prd a) => Signed a -> Signed a -> Signed a