Index
Extended | Data.ExtendedReal |
Finite | Data.ExtendedReal |
inf | Data.ExtendedReal |
isFinite | Data.ExtendedReal |
isInfinite | Data.ExtendedReal |
NegInf | Data.ExtendedReal |
PosInf | Data.ExtendedReal |
extended-reals-0.2.0.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 |