Idris2Doc : Test.Hedgehog.BoundedDoubles

Test.Hedgehog.BoundedDoubles

(source)
Definitions
ClosestToZero : Double
  Totality: total
  Visibility: public export
data Eps : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkEps : Double -> Eps
eqUpToEps : Eps => Double -> Double -> Bool
  Totality: total
  Visibility: export
eqUpToEps : Eps => DoubleBetween l u -> DoubleBetween l u -> Bool
  Totality: total
  Visibility: export
veryAnyDouble : Gen Double
  Totality: total
  Visibility: export
anySolidDouble : Gen SolidDouble
  Totality: total
  Visibility: export
boundedDoubleCorrect : DoubleBetween l u -> PropertyT ()
  Totality: total
  Visibility: export
numericDouble : Bool -> Bool -> Gen Double
  Totality: total
  Visibility: export
nonNegativeDouble : Bool -> Gen Double
  Totality: total
  Visibility: export
anyBoundedDouble : (l : Double) -> (u : Double) -> {auto 0 _ : So (l <= u)} -> Gen (DoubleBetween l u)
  Totality: total
  Visibility: export
someBoundedDouble : Gen (l : Double ** (u : Double ** DoubleBetween l u))
  Totality: total
  Visibility: export
un_corr : {auto 0 _ : So (l <= u)} -> (DoubleBetween l u -> DoubleBetween l' u') -> Property
  Totality: total
  Visibility: export