Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.CDAR.Extended

Description

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

Synopsis

data Extended a
- = PosInf
- | NegInf
- | Finite a

Documentation

data Extended a Source #

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

Constructors

PosInf
NegInf
Finite a

Instances

Instances details

Monad Extended Source #
Instance details 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 Source #
Instance details Defined in Data.CDAR.Extended Methods fmap :: (a -> b) -> Extended a -> Extended b # (<$) :: a -> Extended b -> Extended a #
Applicative Extended Source #
Instance details 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) Source #
Instance details Defined in Data.CDAR.Extended Methods (==) :: Extended a -> Extended a -> Bool # (/=) :: Extended a -> Extended a -> Bool #
(Ord a, Num a) => Num (Extended a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.CDAR.Extended Methods toRational :: Extended a -> Rational #
Show a => Show (Extended a) Source #
Instance details Defined in Data.CDAR.Extended Methods showsPrec :: Int -> Extended a -> ShowS # show :: Extended a -> String # showList :: [Extended a] -> ShowS #