Module zebra_test::prelude::prop::num::f64

Structs

• Any
  Strategies which produce floating-point values from particular classes. See the various Any-typed constants in this module.
• BinarySearch
  Shrinks a float towards 0, using binary search to find boundary points.

Constants

• ANY
  Generates literally arbitrary floating-point values, including infinities and quiet NaNs (but not signaling NaNs).
• INFINITE
  Generates infinity floats.
• NEGATIVE
  Generates negative floats.
• NORMAL
  Generates “normal” floats.
• POSITIVE
  Generates positive floats
• QUIET_NAN
  Generates “Quiet NaN” floats.
• SIGNALING_NAN
  Generates “Signaling NaN” floats if allowed by the platform.
• SUBNORMAL
  Generates subnormal floats.
• ZERO
  Generates zero-valued floats.