@effect-ts/system
Version:
Effect-TS is a zero dependency set of libraries to write highly productive, purely functional TypeScript at scale.
142 lines (112 loc) • 2.55 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", {
value: true
});
exports.between = between;
exports.clamp = clamp;
exports.contramap = contramap;
exports.contramap_ = contramap_;
exports.getEqual = getEqual;
exports.gt = gt;
exports.inverted = inverted;
exports.leq = leq;
exports.lt = lt;
exports.makeOrd = makeOrd;
exports.max = max;
exports.min = min;
exports.tuple = tuple;
var _index = /*#__PURE__*/require("../Equal/index.js");
/**
* Creates Ord[A] from a compare function
*/
function makeOrd(compare) {
return {
compare
};
}
/**
* Contramap Ord input
*/
function contramap(f) {
return fa => contramap_(fa, f);
}
/**
* Contramap Ord input
*/
function contramap_(fa, f) {
return makeOrd((x, y) => fa.compare(f(x), f(y)));
}
/**
* Test whether one value is _strictly greater than_ another
*/
function gt(O) {
return (x, y) => O.compare(x, y) === 1;
}
/**
* Test whether one value is _non-strictly less than_ another
*/
function leq(O) {
return (x, y) => O.compare(x, y) !== 1;
}
/**
* Test whether one value is _strictly less than_ another
*/
function lt(O) {
return (x, y) => O.compare(x, y) === -1;
}
/**
* Take the maximum of two values. If they are considered equal, the first argument is chosen
*/
function max(O) {
return (x, y) => O.compare(x, y) === -1 ? y : x;
}
/**
* Take the minimum of two values. If they are considered equal, the first argument is chosen
*/
function min(O) {
return (x, y) => O.compare(x, y) === 1 ? y : x;
}
/**
* Test whether a value is between a minimum and a maximum (inclusive)
*/
function between(O) {
const lessThanO = lt(O);
const greaterThanO = gt(O);
return (low, hi) => x => lessThanO(x, low) || greaterThanO(x, hi) ? false : true;
}
/**
* Clamp a value between a minimum and a maximum
*/
function clamp(O) {
const minO = min(O);
const maxO = max(O);
return (low, hi) => x => maxO(minO(x, hi), low);
}
/**
* Get the dual of an Ord
*/
function inverted(O) {
return makeOrd((x, y) => O.compare(y, x));
}
/**
* Get an instance of Equal
*/
function getEqual(O) {
return (0, _index.makeEqual)((x, y) => O.compare(x, y) === 0);
}
/**
* Given a tuple of `Ord`s returns an `Ord` for the tuple
*/
function tuple(...ords) {
return makeOrd((x, y) => {
let i = 0;
for (; i < ords.length - 1; i++) {
const r = ords[i].compare(x.get(i), y.get(i));
if (r !== 0) {
return r;
}
}
return ords[i].compare(x.get(i), y.get(i));
});
}
//# sourceMappingURL=operations.js.map