BoundedFloatModule
PackageReified.Refinements
Operations over bounded values whose bounds carry a numeric width.
Summary
| Name | Signature | Synopsis |
|---|
| Operations |
| 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. |
Operations
kind:member
BoundedFloat.normalize input
Member
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> | |
kind:member
BoundedFloat.denormalize bounds fraction
MemberReturns the value at the given fraction of the interval.
Parameters
| Name | Type | Description |
|---|
| bounds | Interval<float> | |
| fraction | float | |
