git.iko.soy/rowtype-yoga/psfp
on 4578f05 help sign in
rowtype-yoga/psfp/client/dce-output/Data.Ordering/index.js
44 lines 843 B history raw
1// Generated by purs version 0.13.6
2"use strict";
3var Data_Eq = require("../Data.Eq/index.js");
4var LT = (function () {
5 function LT() {
7 };
8 LT.value = new LT();
9 return LT;
10})();
11var GT = (function () {
12 function GT() {
14 };
15 GT.value = new GT();
16 return GT;
17})();
18var EQ = (function () {
19 function EQ() {
21 };
22 EQ.value = new EQ();
23 return EQ;
24})();
25var eqOrdering = new Data_Eq.Eq(function (v) {
26 return function (v1) {
27 if (v instanceof LT && v1 instanceof LT) {
28 return true;
29 };
30 if (v instanceof GT && v1 instanceof GT) {
31 return true;
32 };
33 if (v instanceof EQ && v1 instanceof EQ) {
34 return true;
35 };
36 return false;
37 };
38});
39module.exports = {
40 LT: LT,
41 GT: GT,
42 EQ: EQ,
43 eqOrdering: eqOrdering
44};