| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Util.Range
Documentation
Rough indication of the size of a value in relation to k
Useful for labelling tests.
Constructors
| Range_Eq_K SecurityParam | The value was equal to K |
| Range_Just_Below_K SecurityParam Word64 | The value was just below to K We indicate how far off from K it was |
| Range_Just_Above_K SecurityParam Word64 | The value was just above K We indicate how far off from K it was |
| Range_Near_Zero SecurityParam Word64 | The value was almost zero If there is a choice between |
| Range_Less_Than_K SecurityParam Word64 | Less than k (but not near k and not near 0) We round to the neareast multiple of (k / 10) |
| Range_More_Than_K SecurityParam Word64 | More than k (but not near k) We round to the first power of two above k that is equal to above the value. |