Data.CDAR.Extended

The Extended module allows real-valued numeric data types to be extended by positive and negative infinity.

Documentation

data Extended a

Extended numbers are either finite numbers or one of the two infinities.

Constructors

PosInf

NegInf

Finite a

Instances

Monad Extended

Defined in Data.CDAR.Extended

Methods

(>>=) :: Extended a -> (a -> Extended b) -> Extended b

(>>) :: Extended a -> Extended b -> Extended b

return :: a -> Extended a

Functor Extended

Defined in Data.CDAR.Extended

Methods

fmap :: (a -> b) -> Extended a -> Extended b

(<$) :: a -> Extended b -> Extended a

Applicative Extended

Defined in Data.CDAR.Extended

Methods

pure :: a -> Extended a

(<*>) :: Extended (a -> b) -> Extended a -> Extended b

liftA2 :: (a -> b -> c) -> Extended a -> Extended b -> Extended c

(*>) :: Extended a -> Extended b -> Extended b

(<*) :: Extended a -> Extended b -> Extended a

Eq a => Eq (Extended a)

Defined in Data.CDAR.Extended

Methods

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

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

(Ord a, Num a) => Num (Extended a)

Defined in Data.CDAR.Extended

Methods

(+) :: Extended a -> Extended a -> Extended a

(-) :: Extended a -> Extended a -> Extended a

(*) :: Extended a -> Extended a -> Extended a

negate :: Extended a -> Extended a

abs :: Extended a -> Extended a

signum :: Extended a -> Extended a

fromInteger :: Integer -> Extended a

Ord a => Ord (Extended a)

Defined in Data.CDAR.Extended

Methods

compare :: Extended a -> Extended a -> Ordering

(<) :: Extended a -> Extended a -> Bool

(<=) :: Extended a -> Extended a -> Bool

(>) :: Extended a -> Extended a -> Bool

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

max :: Extended a -> Extended a -> Extended a

min :: Extended a -> Extended a -> Extended a

Read a => Read (Extended a)

Defined in Data.CDAR.Extended

Methods

readsPrec :: Int -> ReadS (Extended a)

readList :: ReadS [Extended a]

readPrec :: ReadPrec (Extended a)

readListPrec :: ReadPrec [Extended a]

Real a => Real (Extended a)

Defined in Data.CDAR.Extended

Methods

toRational :: Extended a -> Rational

Show a => Show (Extended a)

Defined in Data.CDAR.Extended

Methods

showsPrec :: Int -> Extended a -> ShowS

show :: Extended a -> String

showList :: [Extended a] -> ShowS