extended-reals-0.2.5.0: Extension of real numbers with positive/negative infinities (Index)

extended-reals-0.2.5.0: Extension of real numbers with positive/negative infinities

Index

Extended	Data.ExtendedReal
Finite	Data.ExtendedReal
fromRealFloat	Data.ExtendedReal
inf	Data.ExtendedReal
isFinite	Data.ExtendedReal
isInfinite	Data.ExtendedReal
NegInf	Data.ExtendedReal
PosInf	Data.ExtendedReal