1// Generated by purs version 0.15.16
2import * as Data_Number from "../Data.Number/index.js";
3var Tolerance = function (x) {
6var Fraction = function (x) {
9var eqRelative = function (v) {
10 return function (v1) {
11 return function (v2) {
13 return Data_Number.abs(v2) <= v;
16 return Data_Number.abs(v1) <= v;
18 return Data_Number.abs(v1 - v2) <= (v * Data_Number.abs(v1 + v2)) / 2.0;
22var eqApproximate = /* #__PURE__ */ eqRelative(1.0e-6);
23var neqApproximate = function (x) {
25 return !eqApproximate(x)(y);
28var eqAbsolute = function (v) {
31 return Data_Number.abs(x - y) <= v;
43//# sourceMappingURL=index.js.map
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list