Org.Org.Semantic.HBase.Mathematics.NaNExtended

Synopsis

class HasNaN a where

nan :: a

isNaN :: a -> Bool

type NumericError = String

data NaNExtended a

= Number a

| NaN NumericError

unNumber :: NaNExtended a -> a

failingAdd :: (Additive a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(+!) :: (Additive a a aa, IsA (NaNExtended a) aa) => a -> a -> a

failingSubtract :: (Subtractive a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(-!) :: (Subtractive a a aa, IsA (NaNExtended a) aa) => a -> a -> a

failingMultiply :: (Multiplicative a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(*!) :: (Multiplicative a a aa, IsA (NaNExtended a) aa) => a -> a -> a

Documentation

class HasNaN a where

Has a NaN value

Methods

nan :: a

isNaN :: a -> Bool

Instances

HasNaN a => HasNaN (Complex a)

HasNaN Double

HasNaN EIReal

HasNaN (NaNExtended a)

type NumericError = String

data NaNExtended a

a or NaN

Constructors

Number a
NaN NumericError

Instances

MaybeA Double (NaNExtended Rational)

Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c))

Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c))

(HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c))

MaybeHasIntegerDivide i a a => MaybeHasIntegerDivide i (NaNExtended (InfExtended a)) (InfExtended a)

(HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab))

MaybeA (NaNExtended a) (NaNExtended a)

IsA (NaNExtended a) (NaNExtended a)

MaybeA (NaNExtended a) a

IsA (NaNExtended a) a

MaybeA a (NaNExtended a)

Eq a => Eq (NaNExtended a)

MaybeOrdered a => MaybeOrdered (NaNExtended a)

HasNaN (NaNExtended a)

Functor NaNExtended

HasReturn NaNExtended

FunctorApply NaNExtended

Monad NaNExtended

Show a => Show (NaNExtended a)

() => Additive (NaNExtended Integer) (NaNExtended Integer) (NaNExtended Integer)

() => Additive Integer (NaNExtended Integer) (NaNExtended Integer)

() => Additive (NaNExtended Integer) Integer (NaNExtended Integer)

() => Subtractive (NaNExtended Integer) (NaNExtended Integer) (NaNExtended Integer)

() => Subtractive Integer (NaNExtended Integer) (NaNExtended Integer)

() => Subtractive (NaNExtended Integer) Integer (NaNExtended Integer)

() => Multiplicative (NaNExtended Integer) (NaNExtended Integer) (NaNExtended Integer)

() => Multiplicative Integer (NaNExtended Integer) (NaNExtended Integer)

() => Multiplicative (NaNExtended Integer) Integer (NaNExtended Integer)

() => Additive (NaNExtended Int) (NaNExtended Int) (NaNExtended Int)

() => Additive Int (NaNExtended Int) (NaNExtended Int)

() => Additive (NaNExtended Int) Int (NaNExtended Int)

() => Subtractive (NaNExtended Int) (NaNExtended Int) (NaNExtended Int)

() => Subtractive Int (NaNExtended Int) (NaNExtended Int)

() => Subtractive (NaNExtended Int) Int (NaNExtended Int)

() => Multiplicative (NaNExtended Int) (NaNExtended Int) (NaNExtended Int)

() => Multiplicative Int (NaNExtended Int) (NaNExtended Int)

() => Multiplicative (NaNExtended Int) Int (NaNExtended Int)

() => Additive (NaNExtended Word8) (NaNExtended Word8) (NaNExtended Word8)

() => Additive Word8 (NaNExtended Word8) (NaNExtended Word8)

() => Additive (NaNExtended Word8) Word8 (NaNExtended Word8)

() => Subtractive (NaNExtended Word8) (NaNExtended Word8) (NaNExtended Word8)

() => Subtractive Word8 (NaNExtended Word8) (NaNExtended Word8)

() => Subtractive (NaNExtended Word8) Word8 (NaNExtended Word8)

() => Multiplicative (NaNExtended Word8) (NaNExtended Word8) (NaNExtended Word8)

() => Multiplicative Word8 (NaNExtended Word8) (NaNExtended Word8)

() => Multiplicative (NaNExtended Word8) Word8 (NaNExtended Word8)

() => Additive (NaNExtended Int8) (NaNExtended Int8) (NaNExtended Int8)

() => Additive Int8 (NaNExtended Int8) (NaNExtended Int8)

() => Additive (NaNExtended Int8) Int8 (NaNExtended Int8)

() => Subtractive (NaNExtended Int8) (NaNExtended Int8) (NaNExtended Int8)

() => Subtractive Int8 (NaNExtended Int8) (NaNExtended Int8)

() => Subtractive (NaNExtended Int8) Int8 (NaNExtended Int8)

() => Multiplicative (NaNExtended Int8) (NaNExtended Int8) (NaNExtended Int8)

() => Multiplicative Int8 (NaNExtended Int8) (NaNExtended Int8)

() => Multiplicative (NaNExtended Int8) Int8 (NaNExtended Int8)

() => Additive (NaNExtended Word16) (NaNExtended Word16) (NaNExtended Word16)

() => Additive Word16 (NaNExtended Word16) (NaNExtended Word16)

() => Additive (NaNExtended Word16) Word16 (NaNExtended Word16)

() => Subtractive (NaNExtended Word16) (NaNExtended Word16) (NaNExtended Word16)

() => Subtractive Word16 (NaNExtended Word16) (NaNExtended Word16)

() => Subtractive (NaNExtended Word16) Word16 (NaNExtended Word16)

() => Multiplicative (NaNExtended Word16) (NaNExtended Word16) (NaNExtended Word16)

() => Multiplicative Word16 (NaNExtended Word16) (NaNExtended Word16)

() => Multiplicative (NaNExtended Word16) Word16 (NaNExtended Word16)

() => Additive (NaNExtended Int16) (NaNExtended Int16) (NaNExtended Int16)

() => Additive Int16 (NaNExtended Int16) (NaNExtended Int16)

() => Additive (NaNExtended Int16) Int16 (NaNExtended Int16)

() => Subtractive (NaNExtended Int16) (NaNExtended Int16) (NaNExtended Int16)

() => Subtractive Int16 (NaNExtended Int16) (NaNExtended Int16)

() => Subtractive (NaNExtended Int16) Int16 (NaNExtended Int16)

() => Multiplicative (NaNExtended Int16) (NaNExtended Int16) (NaNExtended Int16)

() => Multiplicative Int16 (NaNExtended Int16) (NaNExtended Int16)

() => Multiplicative (NaNExtended Int16) Int16 (NaNExtended Int16)

() => Additive (NaNExtended Word32) (NaNExtended Word32) (NaNExtended Word32)

() => Additive Word32 (NaNExtended Word32) (NaNExtended Word32)

() => Additive (NaNExtended Word32) Word32 (NaNExtended Word32)

() => Subtractive (NaNExtended Word32) (NaNExtended Word32) (NaNExtended Word32)

() => Subtractive Word32 (NaNExtended Word32) (NaNExtended Word32)

() => Subtractive (NaNExtended Word32) Word32 (NaNExtended Word32)

() => Multiplicative (NaNExtended Word32) (NaNExtended Word32) (NaNExtended Word32)

() => Multiplicative Word32 (NaNExtended Word32) (NaNExtended Word32)

() => Multiplicative (NaNExtended Word32) Word32 (NaNExtended Word32)

() => Additive (NaNExtended Int32) (NaNExtended Int32) (NaNExtended Int32)

() => Additive Int32 (NaNExtended Int32) (NaNExtended Int32)

() => Additive (NaNExtended Int32) Int32 (NaNExtended Int32)

() => Subtractive (NaNExtended Int32) (NaNExtended Int32) (NaNExtended Int32)

() => Subtractive Int32 (NaNExtended Int32) (NaNExtended Int32)

() => Subtractive (NaNExtended Int32) Int32 (NaNExtended Int32)

() => Multiplicative (NaNExtended Int32) (NaNExtended Int32) (NaNExtended Int32)

() => Multiplicative Int32 (NaNExtended Int32) (NaNExtended Int32)

() => Multiplicative (NaNExtended Int32) Int32 (NaNExtended Int32)

() => Additive (NaNExtended Word64) (NaNExtended Word64) (NaNExtended Word64)

() => Additive Word64 (NaNExtended Word64) (NaNExtended Word64)

() => Additive (NaNExtended Word64) Word64 (NaNExtended Word64)

() => Subtractive (NaNExtended Word64) (NaNExtended Word64) (NaNExtended Word64)

() => Subtractive Word64 (NaNExtended Word64) (NaNExtended Word64)

() => Subtractive (NaNExtended Word64) Word64 (NaNExtended Word64)

() => Multiplicative (NaNExtended Word64) (NaNExtended Word64) (NaNExtended Word64)

() => Multiplicative Word64 (NaNExtended Word64) (NaNExtended Word64)

() => Multiplicative (NaNExtended Word64) Word64 (NaNExtended Word64)

() => Additive (NaNExtended Int64) (NaNExtended Int64) (NaNExtended Int64)

() => Additive Int64 (NaNExtended Int64) (NaNExtended Int64)

() => Additive (NaNExtended Int64) Int64 (NaNExtended Int64)

() => Subtractive (NaNExtended Int64) (NaNExtended Int64) (NaNExtended Int64)

() => Subtractive Int64 (NaNExtended Int64) (NaNExtended Int64)

() => Subtractive (NaNExtended Int64) Int64 (NaNExtended Int64)

() => Multiplicative (NaNExtended Int64) (NaNExtended Int64) (NaNExtended Int64)

() => Multiplicative Int64 (NaNExtended Int64) (NaNExtended Int64)

() => Multiplicative (NaNExtended Int64) Int64 (NaNExtended Int64)

() => Additive (NaNExtended Rational) (NaNExtended Rational) (NaNExtended Rational)

() => Additive Rational (NaNExtended Rational) (NaNExtended Rational)

() => Additive (NaNExtended Rational) Rational (NaNExtended Rational)

() => Subtractive (NaNExtended Rational) (NaNExtended Rational) (NaNExtended Rational)

() => Subtractive Rational (NaNExtended Rational) (NaNExtended Rational)

() => Subtractive (NaNExtended Rational) Rational (NaNExtended Rational)

() => Multiplicative (NaNExtended Rational) (NaNExtended Rational) (NaNExtended Rational)

() => Multiplicative Rational (NaNExtended Rational) (NaNExtended Rational)

() => Multiplicative (NaNExtended Rational) Rational (NaNExtended Rational)

() => Divisible (NaNExtended Rational) (NaNExtended Rational) (NaNExtended Rational)

() => Divisible Rational (NaNExtended Rational) (NaNExtended Rational)

() => Divisible (NaNExtended Rational) Rational (NaNExtended Rational)

() => Divisible (NaNExtended Integer) (NaNExtended Rational) (NaNExtended Rational)

() => Divisible Integer (NaNExtended Rational) (NaNExtended Rational)

() => Divisible (NaNExtended Integer) Rational (NaNExtended Rational)

() => Divisible (NaNExtended Rational) (NaNExtended Integer) (NaNExtended Rational)

() => Divisible Rational (NaNExtended Integer) (NaNExtended Rational)

() => Divisible (NaNExtended Rational) Integer (NaNExtended Rational)

() => Divisible (NaNExtended Integer) (NaNExtended Integer) (NaNExtended Rational)

() => Divisible Integer (NaNExtended Integer) (NaNExtended Rational)

() => Divisible (NaNExtended Integer) Integer (NaNExtended Rational)

Divisible Rational Rational (NaNExtended Rational)

Divisible Integer Rational (NaNExtended Rational)

Divisible Rational Integer (NaNExtended Rational)

Divisible Integer Integer (NaNExtended Rational)

unNumber :: NaNExtended a -> a

failingAdd :: (Additive a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(+!) :: (Additive a a aa, IsA (NaNExtended a) aa) => a -> a -> a

failingSubtract :: (Subtractive a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(-!) :: (Subtractive a a aa, IsA (NaNExtended a) aa) => a -> a -> a

failingMultiply :: (Multiplicative a b ab, IsA (NaNExtended c) ab) => a -> b -> c

(*!) :: (Multiplicative a a aa, IsA (NaNExtended a) aa) => a -> a -> a

Produced by Haddock version 0.6