cdar-mBound-0.1.0.1: Exact real arithmetic using Centred Dyadic Approximations
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.CDAR.Extended

Description

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

Synopsis

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

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

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 #