| Copyright | (c) Sirui Lu 2024 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | None |
| Language | Haskell2010 |
Grisette.Internal.Core.Data.Class.SymIEEEFP
Description
Synopsis
- class SymIEEEFPTraits a where
- symFpIsNaN :: a -> SymBool
- symFpIsPositive :: a -> SymBool
- symFpIsNegative :: a -> SymBool
- symFpIsPositiveInfinite :: a -> SymBool
- symFpIsNegativeInfinite :: a -> SymBool
- symFpIsInfinite :: a -> SymBool
- symFpIsPositiveZero :: a -> SymBool
- symFpIsNegativeZero :: a -> SymBool
- symFpIsZero :: a -> SymBool
- symFpIsNormal :: a -> SymBool
- symFpIsSubnormal :: a -> SymBool
- symFpIsPoint :: a -> SymBool
Documentation
class SymIEEEFPTraits a where Source #
A class for symbolic traits of IEEE floating-point numbers.
Methods
symFpIsNaN :: a -> SymBool Source #
Check if a symbolic floating-point number is not-a-number.
symFpIsPositive :: a -> SymBool Source #
Check if a symbolic floating-point number is positive. +0, +inf are considered positive. nan, -0, -inf are not positive.
symFpIsNegative :: a -> SymBool Source #
Check if a symbolic floating-point number is negative. -0, -inf are considered negative. nan, +0, +inf are not negative.
symFpIsPositiveInfinite :: a -> SymBool Source #
Check if a symbolic floating-point number is positive infinite.
symFpIsNegativeInfinite :: a -> SymBool Source #
Check if a symbolic floating-point number is negative infinite.
symFpIsInfinite :: a -> SymBool Source #
Check if a symbolic floating-point number is infinite.
symFpIsPositiveZero :: a -> SymBool Source #
Check if a symbolic floating-point number is positive zero.
symFpIsNegativeZero :: a -> SymBool Source #
Check if a symbolic floating-point number is negative zero.
symFpIsZero :: a -> SymBool Source #
Check if a symbolic floating-point number is zero.
symFpIsNormal :: a -> SymBool Source #
Check if a symbolic floating-point number is normal, i.e., not 0, not inf, not nan, and not denormalized.
symFpIsSubnormal :: a -> SymBool Source #
Check if a symbolic floating-point number is subnormal, i.e., denormalized. 0, inf, or nan are not subnormal.
symFpIsPoint :: a -> SymBool Source #
Check if a symbolic floating-point number is a point, i.e., not inf, not nan.