BoundedFloatModule
PackageReified.Refinements
Operations over bounded values whose bounds carry a numeric width.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| normalize | BoundedFloat.normalize input | Returns the value's position within its bounds as a fraction from zero to one. |
| denormalize | BoundedFloat.denormalize bounds fraction | Returns the value at the given fraction of the interval. |
Returns the value's position within its bounds as a fraction from zero to one.
Degenerate bounds — where lower equals upper — normalize to zero rather than
dividing by it.
Parameters
| Name | Type | Description |
|---|---|---|
| input | Bounded<float> |
Returns
float