purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
133 lines (129 loc) • 4.08 kB
JavaScript
// Generated by purs version 0.14.3
;
var Data_Bounded = require("../Data.Bounded/index.js");
var Data_Enum = require("../Data.Enum/index.js");
var Data_Eq = require("../Data.Eq/index.js");
var Data_Maybe = require("../Data.Maybe/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 EMPTY = (function () {
function EMPTY() {
};
EMPTY.value = new EMPTY();
return EMPTY;
})();
var LOADING = (function () {
function LOADING() {
};
LOADING.value = new LOADING();
return LOADING;
})();
var DONE = (function () {
function DONE() {
};
DONE.value = new DONE();
return DONE;
})();
var toEnumReadyState = function (v) {
if (v === 0) {
return new Data_Maybe.Just(EMPTY.value);
};
if (v === 1) {
return new Data_Maybe.Just(LOADING.value);
};
if (v === 2) {
return new Data_Maybe.Just(DONE.value);
};
return Data_Maybe.Nothing.value;
};
var showReadyState = new Data_Show.Show(function (v) {
if (v instanceof EMPTY) {
return "EMPTY";
};
if (v instanceof LOADING) {
return "LOADING";
};
if (v instanceof DONE) {
return "DONE";
};
throw new Error("Failed pattern match at Web.File.FileReader.ReadyState (line 28, column 1 - line 31, column 21): " + [ v.constructor.name ]);
});
var fromEnumReadyState = function (v) {
if (v instanceof EMPTY) {
return 0;
};
if (v instanceof LOADING) {
return 1;
};
if (v instanceof DONE) {
return 2;
};
throw new Error("Failed pattern match at Web.File.FileReader.ReadyState (line 43, column 3 - line 46, column 14): " + [ v.constructor.name ]);
};
var eqReadyState = new Data_Eq.Eq(function (x) {
return function (y) {
if (x instanceof EMPTY && y instanceof EMPTY) {
return true;
};
if (x instanceof LOADING && y instanceof LOADING) {
return true;
};
if (x instanceof DONE && y instanceof DONE) {
return true;
};
return false;
};
});
var ordReadyState = new Data_Ord.Ord(function () {
return eqReadyState;
}, function (x) {
return function (y) {
if (x instanceof EMPTY && y instanceof EMPTY) {
return Data_Ordering.EQ.value;
};
if (x instanceof EMPTY) {
return Data_Ordering.LT.value;
};
if (y instanceof EMPTY) {
return Data_Ordering.GT.value;
};
if (x instanceof LOADING && y instanceof LOADING) {
return Data_Ordering.EQ.value;
};
if (x instanceof LOADING) {
return Data_Ordering.LT.value;
};
if (y instanceof LOADING) {
return Data_Ordering.GT.value;
};
if (x instanceof DONE && y instanceof DONE) {
return Data_Ordering.EQ.value;
};
throw new Error("Failed pattern match at Web.File.FileReader.ReadyState (line 13, column 1 - line 13, column 48): " + [ x.constructor.name, y.constructor.name ]);
};
});
var enumReadyState = new Data_Enum.Enum(function () {
return ordReadyState;
}, Data_Enum.defaultPred(toEnumReadyState)(fromEnumReadyState), Data_Enum.defaultSucc(toEnumReadyState)(fromEnumReadyState));
var boundedReadyState = new Data_Bounded.Bounded(function () {
return ordReadyState;
}, EMPTY.value, DONE.value);
var boundedEnumReadyState = new Data_Enum.BoundedEnum(function () {
return boundedReadyState;
}, function () {
return enumReadyState;
}, 3, fromEnumReadyState, toEnumReadyState);
module.exports = {
EMPTY: EMPTY,
LOADING: LOADING,
DONE: DONE,
toEnumReadyState: toEnumReadyState,
fromEnumReadyState: fromEnumReadyState,
eqReadyState: eqReadyState,
ordReadyState: ordReadyState,
boundedReadyState: boundedReadyState,
enumReadyState: enumReadyState,
boundedEnumReadyState: boundedEnumReadyState,
showReadyState: showReadyState
};