Safe Haskell	Safe
Language	Haskell2010

Data.Dioid.Signed

Synopsis

data Sign
- = Zero
- | Negative
- | Positive
- | Indeterminate
signOf :: (Eq a, Num a, Prd a) => a -> Sign
newtype Signed = Signed {
- unSigned :: Float
}
f32sgn :: Conn Float Signed
ugnsgn :: Conn Unsigned Signed
newtype Unsigned = Unsigned Float
unsigned :: Signed -> Unsigned
ltugn :: Unsigned -> Unsigned -> Bool

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}.

Constructors

Zero
Negative
Positive
Indeterminate

Instances

Bounded Sign Source #
Instance details Defined in Data.Dioid.Signed Methods minBound :: Sign # maxBound :: Sign #
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 #
Prd Sign Source #
Instance details Defined in Data.Dioid.Signed Methods (<~) :: Sign -> Sign -> Bool # (>~) :: Sign -> Sign -> Bool # (=~) :: Sign -> Sign -> Bool # (?~) :: Sign -> Sign -> Bool # pcompare :: Sign -> Sign -> Maybe Ordering #
Min Sign Source #
Instance details Defined in Data.Dioid.Signed Methods minimal :: Sign #
Max Sign Source #
Instance details Defined in Data.Dioid.Signed Methods maximal :: Sign #
Semiring Sign Source #
Instance details Defined in Data.Dioid.Signed Methods (><) :: Sign -> Sign -> Sign Source # fromBoolean :: Bool -> Sign Source #

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

newtype Signed Source #

Constructors

Signed
Fields unSigned :: Float

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 Methods showsPrec :: Int -> Signed -> ShowS # show :: Signed -> String # showList :: [Signed] -> ShowS #
Prd Signed Source #
Instance details Defined in Data.Dioid.Signed Methods (<~) :: Signed -> Signed -> Bool # (>~) :: Signed -> Signed -> Bool # (=~) :: Signed -> Signed -> Bool # (?~) :: Signed -> Signed -> Bool # pcompare :: Signed -> Signed -> Maybe Ordering #

f32sgn :: Conn Float Signed Source #

ugnsgn :: Conn Unsigned Signed Source #

newtype Unsigned Source #

Constructors

Unsigned Float

Instances

Eq Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods (==) :: Unsigned -> Unsigned -> Bool # (/=) :: Unsigned -> Unsigned -> Bool #
Show Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods showsPrec :: Int -> Unsigned -> ShowS # show :: Unsigned -> String # showList :: [Unsigned] -> ShowS #
Semigroup Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods (<>) :: Unsigned -> Unsigned -> Unsigned # sconcat :: NonEmpty Unsigned -> Unsigned # stimes :: Integral b => b -> Unsigned -> Unsigned #
Monoid Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods mempty :: Unsigned # mappend :: Unsigned -> Unsigned -> Unsigned # mconcat :: [Unsigned] -> Unsigned #
Lattice Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods (\/) :: Unsigned -> Unsigned -> Unsigned # (/\) :: Unsigned -> Unsigned -> Unsigned # fromSubset :: Set Unsigned -> Unsigned #
Prd Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods (<~) :: Unsigned -> Unsigned -> Bool # (>~) :: Unsigned -> Unsigned -> Bool # (=~) :: Unsigned -> Unsigned -> Bool # (?~) :: Unsigned -> Unsigned -> Bool # pcompare :: Unsigned -> Unsigned -> Maybe Ordering #
Min Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods minimal :: Unsigned #
Max Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods maximal :: Unsigned #
Quantale Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods residr :: Unsigned -> Conn Unsigned Unsigned Source # residl :: Unsigned -> Conn Unsigned Unsigned Source # (\\) :: Unsigned -> Unsigned -> Unsigned Source # (//) :: Unsigned -> Unsigned -> Unsigned Source #
Semiring Unsigned Source #
Instance details Defined in Data.Dioid.Signed Methods (><) :: Unsigned -> Unsigned -> Unsigned Source # fromBoolean :: Bool -> Unsigned Source #

unsigned :: Signed -> Unsigned Source #

ltugn :: Unsigned -> Unsigned -> Bool Source #