Grisette.Internal.Core.Data.Class.IEEEFP

Documentation

fpIsNaN :: RealFloat a => a -> Bool

Check if a floating-point number is not-a-number.

fpIsPositiveZero :: RealFloat a => a -> Bool

Check if a floating-point number is positive zero.

fpIsNegativeZero :: RealFloat a => a -> Bool

Check if a floating-point number is negative zero.

fpIsPositiveInfinite :: RealFloat a => a -> Bool

Check if a floating-point number is positive infinite.

fpIsNegativeInfinite :: RealFloat a => a -> Bool

Check if a floating-point number is negative infinite.

fpIsPositive :: RealFloat a => a -> Bool

Check if a floating-point number is positive. +0, +inf are considered positive. nan, -0, -inf are not positive.

fpIsNegative :: RealFloat a => a -> Bool

Check if a floating-point number is negative. -0, -inf are considered negative. nan, +0, +inf are not negative.

fpIsInfinite :: RealFloat a => a -> Bool

Check if a floating-point number is infinite.

fpIsZero :: RealFloat a => a -> Bool

Check if a floating-point number is zero.

fpIsNormal :: RealFloat a => a -> Bool

Check if a floating-point number is normal, i.e., not 0, not inf, not nan, and not denormalized.

fpIsSubnormal :: RealFloat a => a -> Bool

Check if a floating-point number is subnormal, i.e., denormalized. 0, inf, or nan are not subnormal.

fpIsPoint :: RealFloat a => a -> Bool

Check if a floating-point number is a point, i.e., not inf, not nan.

class SymIEEEFPTraits a where

A class for symbolic traits of IEEE floating-point numbers.

Methods

symFpIsNaN :: a -> SymBool

Check if a symbolic floating-point number is not-a-number.

symFpIsPositive :: a -> SymBool

Check if a symbolic floating-point number is positive. +0, +inf are considered positive. nan, -0, -inf are not positive.

symFpIsNegative :: a -> SymBool

Check if a symbolic floating-point number is negative. -0, -inf are considered negative. nan, +0, +inf are not negative.

symFpIsPositiveInfinite :: a -> SymBool

Check if a symbolic floating-point number is positive infinite.

symFpIsNegativeInfinite :: a -> SymBool

Check if a symbolic floating-point number is negative infinite.

symFpIsInfinite :: a -> SymBool

Check if a symbolic floating-point number is infinite.

symFpIsPositiveZero :: a -> SymBool

Check if a symbolic floating-point number is positive zero.

symFpIsNegativeZero :: a -> SymBool

Check if a symbolic floating-point number is negative zero.

symFpIsZero :: a -> SymBool

Check if a symbolic floating-point number is zero.

symFpIsNormal :: a -> SymBool

Check if a symbolic floating-point number is normal, i.e., not 0, not inf, not nan, and not denormalized.

symFpIsSubnormal :: a -> SymBool

Check if a symbolic floating-point number is subnormal, i.e., denormalized. 0, inf, or nan are not subnormal.

symFpIsPoint :: a -> SymBool

Check if a symbolic floating-point number is a point, i.e., not inf, not nan.

Instances

SymIEEEFPTraits Double

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpIsNaN :: Double -> SymBool

symFpIsPositive :: Double -> SymBool

symFpIsNegative :: Double -> SymBool

symFpIsPositiveInfinite :: Double -> SymBool

symFpIsNegativeInfinite :: Double -> SymBool

symFpIsInfinite :: Double -> SymBool

symFpIsPositiveZero :: Double -> SymBool

symFpIsNegativeZero :: Double -> SymBool

symFpIsZero :: Double -> SymBool

symFpIsNormal :: Double -> SymBool

symFpIsSubnormal :: Double -> SymBool

symFpIsPoint :: Double -> SymBool

SymIEEEFPTraits Float

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpIsNaN :: Float -> SymBool

symFpIsPositive :: Float -> SymBool

symFpIsNegative :: Float -> SymBool

symFpIsPositiveInfinite :: Float -> SymBool

symFpIsNegativeInfinite :: Float -> SymBool

symFpIsInfinite :: Float -> SymBool

symFpIsPositiveZero :: Float -> SymBool

symFpIsNegativeZero :: Float -> SymBool

symFpIsZero :: Float -> SymBool

symFpIsNormal :: Float -> SymBool

symFpIsSubnormal :: Float -> SymBool

symFpIsPoint :: Float -> SymBool

ValidFP eb sb => SymIEEEFPTraits (FP eb sb)

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpIsNaN :: FP eb sb -> SymBool

symFpIsPositive :: FP eb sb -> SymBool

symFpIsNegative :: FP eb sb -> SymBool

symFpIsPositiveInfinite :: FP eb sb -> SymBool

symFpIsNegativeInfinite :: FP eb sb -> SymBool

symFpIsInfinite :: FP eb sb -> SymBool

symFpIsPositiveZero :: FP eb sb -> SymBool

symFpIsNegativeZero :: FP eb sb -> SymBool

symFpIsZero :: FP eb sb -> SymBool

symFpIsNormal :: FP eb sb -> SymBool

symFpIsSubnormal :: FP eb sb -> SymBool

symFpIsPoint :: FP eb sb -> SymBool

ValidFP eb sb => SymIEEEFPTraits (SymFP eb sb)

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpIsNaN :: SymFP eb sb -> SymBool

symFpIsPositive :: SymFP eb sb -> SymBool

symFpIsNegative :: SymFP eb sb -> SymBool

symFpIsPositiveInfinite :: SymFP eb sb -> SymBool

symFpIsNegativeInfinite :: SymFP eb sb -> SymBool

symFpIsInfinite :: SymFP eb sb -> SymBool

symFpIsPositiveZero :: SymFP eb sb -> SymBool

symFpIsNegativeZero :: SymFP eb sb -> SymBool

symFpIsZero :: SymFP eb sb -> SymBool

symFpIsNormal :: SymFP eb sb -> SymBool

symFpIsSubnormal :: SymFP eb sb -> SymBool

symFpIsPoint :: SymFP eb sb -> SymBool

class IEEEConstants a where

Constants for IEEE floating-point numbers.

Methods

fpPositiveInfinite :: a

Positive infinity.

fpNegativeInfinite :: a

Negative infinity.

fpNaN :: a

Not-a-number.

fpNegativeZero :: a

Negative zero.

fpPositiveZero :: a

Positive zero.

Instances

ValidFP eb sb => IEEEConstants (FP eb sb)

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

fpPositiveInfinite :: FP eb sb

fpNegativeInfinite :: FP eb sb

fpNaN :: FP eb sb

fpNegativeZero :: FP eb sb

fpPositiveZero :: FP eb sb

ValidFP eb sb => IEEEConstants (SymFP eb sb)

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

fpPositiveInfinite :: SymFP eb sb

fpNegativeInfinite :: SymFP eb sb

fpNaN :: SymFP eb sb

fpNegativeZero :: SymFP eb sb

fpPositiveZero :: SymFP eb sb

class IEEEFPOp a where

Methods

symFpAbs :: a -> a

symFpNeg :: a -> a

symFpRem :: a -> a -> a

symFpMin :: a -> a -> a

symFpMax :: a -> a -> a

Instances

ValidFP eb sb => IEEEFPOp (SymFP eb sb)

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpAbs :: SymFP eb sb -> SymFP eb sb

symFpNeg :: SymFP eb sb -> SymFP eb sb

symFpRem :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpMin :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpMax :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb

class IEEEFPRoundingOp a mode where

Methods

symFpAdd :: mode -> a -> a -> a

symFpSub :: mode -> a -> a -> a

symFpMul :: mode -> a -> a -> a

symFpDiv :: mode -> a -> a -> a

symFpFMA :: mode -> a -> a -> a -> a

symFpSqrt :: mode -> a -> a

symFpRoundToIntegral :: mode -> a -> a

Instances

ValidFP eb sb => IEEEFPRoundingOp (SymFP eb sb) SymFPRoundingMode

Defined in Grisette.Internal.Core.Data.Class.IEEEFP

Methods

symFpAdd :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpSub :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpMul :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpDiv :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpFMA :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb

symFpSqrt :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb

symFpRoundToIntegral :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb