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

Index

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