purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
44 lines (43 loc) • 1.3 kB
JavaScript
// Generated by purs version 0.14.3
;
var Data_Bounded = require("../Data.Bounded/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var Data_Ord = require("../Data.Ord/index.js");
var Data_Ordering = require("../Data.Ordering/index.js");
var Data_Show = require("../Data.Show/index.js");
var Down = function (x) {
return x;
};
var showDown = function (dictShow) {
return new Data_Show.Show(function (v) {
return "(Down " + (Data_Show.show(dictShow)(v) + ")");
});
};
var newtypeDown = new Data_Newtype.Newtype(function () {
return undefined;
});
var eqDown = function (dictEq) {
return dictEq;
};
var ordDown = function (dictOrd) {
return new Data_Ord.Ord(function () {
return eqDown(dictOrd.Eq0());
}, function (v) {
return function (v1) {
return Data_Ordering.invert(Data_Ord.compare(dictOrd)(v)(v1));
};
});
};
var boundedDown = function (dictBounded) {
return new Data_Bounded.Bounded(function () {
return ordDown(dictBounded.Ord0());
}, Data_Bounded.top(dictBounded), Data_Bounded.bottom(dictBounded));
};
module.exports = {
Down: Down,
newtypeDown: newtypeDown,
eqDown: eqDown,
ordDown: ordDown,
boundedDown: boundedDown,
showDown: showDown
};