purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
257 lines (256 loc) • 13.6 kB
JavaScript
// Generated by purs version 0.14.3
;
var Control_Apply = require("../Control.Apply/index.js");
var Data_Boolean = require("../Data.Boolean/index.js");
var Data_Bounded_Generic = require("../Data.Bounded.Generic/index.js");
var Data_Enum = require("../Data.Enum/index.js");
var Data_EuclideanRing = require("../Data.EuclideanRing/index.js");
var Data_Function = require("../Data.Function/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Generic_Rep = require("../Data.Generic.Rep/index.js");
var Data_Maybe = require("../Data.Maybe/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var GenericEnum = function (genericPred$prime, genericSucc$prime) {
this["genericPred'"] = genericPred$prime;
this["genericSucc'"] = genericSucc$prime;
};
var GenericBoundedEnum = function (genericCardinality$prime, genericFromEnum$prime, genericToEnum$prime) {
this["genericCardinality'"] = genericCardinality$prime;
this["genericFromEnum'"] = genericFromEnum$prime;
this["genericToEnum'"] = genericToEnum$prime;
};
var genericToEnum$prime = function (dict) {
return dict["genericToEnum'"];
};
var genericToEnum = function (dictGeneric) {
return function (dictGenericBoundedEnum) {
var $90 = Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.to(dictGeneric));
var $91 = genericToEnum$prime(dictGenericBoundedEnum);
return function ($92) {
return $90($91($92));
};
};
};
var genericSucc$prime = function (dict) {
return dict["genericSucc'"];
};
var genericSucc = function (dictGeneric) {
return function (dictGenericEnum) {
var $93 = Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.to(dictGeneric));
var $94 = genericSucc$prime(dictGenericEnum);
var $95 = Data_Generic_Rep.from(dictGeneric);
return function ($96) {
return $93($94($95($96)));
};
};
};
var genericPred$prime = function (dict) {
return dict["genericPred'"];
};
var genericPred = function (dictGeneric) {
return function (dictGenericEnum) {
var $97 = Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.to(dictGeneric));
var $98 = genericPred$prime(dictGenericEnum);
var $99 = Data_Generic_Rep.from(dictGeneric);
return function ($100) {
return $97($98($99($100)));
};
};
};
var genericFromEnum$prime = function (dict) {
return dict["genericFromEnum'"];
};
var genericFromEnum = function (dictGeneric) {
return function (dictGenericBoundedEnum) {
var $101 = genericFromEnum$prime(dictGenericBoundedEnum);
var $102 = Data_Generic_Rep.from(dictGeneric);
return function ($103) {
return $101($102($103));
};
};
};
var genericEnumSum = function (dictGenericEnum) {
return function (dictGenericTop) {
return function (dictGenericEnum1) {
return function (dictGenericBottom) {
return new GenericEnum(function (v) {
if (v instanceof Data_Generic_Rep.Inl) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Inl.create)(genericPred$prime(dictGenericEnum)(v.value0));
};
if (v instanceof Data_Generic_Rep.Inr) {
var v1 = genericPred$prime(dictGenericEnum1)(v.value0);
if (v1 instanceof Data_Maybe.Nothing) {
return new Data_Maybe.Just(new Data_Generic_Rep.Inl(Data_Bounded_Generic["genericTop'"](dictGenericTop)));
};
if (v1 instanceof Data_Maybe.Just) {
return new Data_Maybe.Just(new Data_Generic_Rep.Inr(v1.value0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 30, column 14 - line 32, column 31): " + [ v1.constructor.name ]);
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 28, column 18 - line 32, column 31): " + [ v.constructor.name ]);
}, function (v) {
if (v instanceof Data_Generic_Rep.Inl) {
var v1 = genericSucc$prime(dictGenericEnum)(v.value0);
if (v1 instanceof Data_Maybe.Nothing) {
return new Data_Maybe.Just(new Data_Generic_Rep.Inr(Data_Bounded_Generic["genericBottom'"](dictGenericBottom)));
};
if (v1 instanceof Data_Maybe.Just) {
return new Data_Maybe.Just(new Data_Generic_Rep.Inl(v1.value0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 34, column 14 - line 36, column 31): " + [ v1.constructor.name ]);
};
if (v instanceof Data_Generic_Rep.Inr) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Inr.create)(genericSucc$prime(dictGenericEnum1)(v.value0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 33, column 18 - line 37, column 36): " + [ v.constructor.name ]);
});
};
};
};
};
var genericEnumProduct = function (dictGenericEnum) {
return function (dictGenericTop) {
return function (dictGenericBottom) {
return function (dictGenericEnum1) {
return function (dictGenericTop1) {
return function (dictGenericBottom1) {
return new GenericEnum(function (v) {
var v1 = genericPred$prime(dictGenericEnum1)(v.value1);
if (v1 instanceof Data_Maybe.Just) {
return Data_Maybe.Just.create(new Data_Generic_Rep.Product(v.value0, v1.value0));
};
if (v1 instanceof Data_Maybe.Nothing) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Function.flip(Data_Generic_Rep.Product.create)(Data_Bounded_Generic["genericTop'"](dictGenericTop1)))(genericPred$prime(dictGenericEnum)(v.value0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 40, column 32 - line 42, column 59): " + [ v1.constructor.name ]);
}, function (v) {
var v1 = genericSucc$prime(dictGenericEnum1)(v.value1);
if (v1 instanceof Data_Maybe.Just) {
return Data_Maybe.Just.create(new Data_Generic_Rep.Product(v.value0, v1.value0));
};
if (v1 instanceof Data_Maybe.Nothing) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Function.flip(Data_Generic_Rep.Product.create)(Data_Bounded_Generic["genericBottom'"](dictGenericBottom1)))(genericSucc$prime(dictGenericEnum)(v.value0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 43, column 32 - line 45, column 62): " + [ v1.constructor.name ]);
});
};
};
};
};
};
};
var genericEnumNoArguments = new GenericEnum(function (v) {
return Data_Maybe.Nothing.value;
}, function (v) {
return Data_Maybe.Nothing.value;
});
var genericEnumConstructor = function (dictGenericEnum) {
return new GenericEnum(function (v) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Constructor)(genericPred$prime(dictGenericEnum)(v));
}, function (v) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Constructor)(genericSucc$prime(dictGenericEnum)(v));
});
};
var genericEnumArgument = function (dictEnum) {
return new GenericEnum(function (v) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Argument)(Data_Enum.pred(dictEnum)(v));
}, function (v) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Argument)(Data_Enum.succ(dictEnum)(v));
});
};
var genericCardinality$prime = function (dict) {
return dict["genericCardinality'"];
};
var genericCardinality = function (dictGeneric) {
return function (dictGenericBoundedEnum) {
return Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum));
};
};
var genericBoundedEnumSum = function (dictGenericBoundedEnum) {
return function (dictGenericBoundedEnum1) {
return new GenericBoundedEnum(Data_Enum.Cardinality(Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum)) + Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum1)) | 0), function (v) {
if (v instanceof Data_Generic_Rep.Inl) {
return genericFromEnum$prime(dictGenericBoundedEnum)(v.value0);
};
if (v instanceof Data_Generic_Rep.Inr) {
return genericFromEnum$prime(dictGenericBoundedEnum1)(v.value0) + Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum)) | 0;
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 87, column 22 - line 89, column 80): " + [ v.constructor.name ]);
}, function (n) {
var to = function (v) {
if (n >= 0 && n < v) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Inl.create)(genericToEnum$prime(dictGenericBoundedEnum)(n));
};
if (Data_Boolean.otherwise) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Inr.create)(genericToEnum$prime(dictGenericBoundedEnum1)(n - v | 0));
};
throw new Error("Failed pattern match at Data.Enum.Generic (line 83, column 5 - line 83, column 43): " + [ v.constructor.name ]);
};
return to(genericCardinality$prime(dictGenericBoundedEnum));
});
};
};
var genericBoundedEnumProduct = function (dictGenericBoundedEnum) {
return function (dictGenericBoundedEnum1) {
return new GenericBoundedEnum(Data_Enum.Cardinality(Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum)) * Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum1)) | 0), (function () {
var from = function (v) {
return function (v1) {
return (genericFromEnum$prime(dictGenericBoundedEnum)(v1.value0) * v | 0) + genericFromEnum$prime(dictGenericBoundedEnum1)(v1.value1) | 0;
};
};
return from(genericCardinality$prime(dictGenericBoundedEnum1));
})(), function (n) {
var to = function (v) {
return Control_Apply.apply(Data_Maybe.applyMaybe)(Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Product.create)(genericToEnum$prime(dictGenericBoundedEnum)(Data_EuclideanRing.div(Data_EuclideanRing.euclideanRingInt)(n)(v))))(genericToEnum$prime(dictGenericBoundedEnum1)(Data_EuclideanRing.mod(Data_EuclideanRing.euclideanRingInt)(n)(v)));
};
return to(genericCardinality$prime(dictGenericBoundedEnum1));
});
};
};
var genericBoundedEnumNoArguments = new GenericBoundedEnum(1, function (v) {
return 0;
}, function (i) {
var $87 = i === 0;
if ($87) {
return new Data_Maybe.Just(Data_Generic_Rep.NoArguments.value);
};
return Data_Maybe.Nothing.value;
});
var genericBoundedEnumConstructor = function (dictGenericBoundedEnum) {
return new GenericBoundedEnum(Data_Newtype.unwrap()(genericCardinality$prime(dictGenericBoundedEnum)), function (v) {
return genericFromEnum$prime(dictGenericBoundedEnum)(v);
}, function (i) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Constructor)(genericToEnum$prime(dictGenericBoundedEnum)(i));
});
};
var genericBoundedEnumArgument = function (dictBoundedEnum) {
return new GenericBoundedEnum(Data_Newtype.unwrap()(Data_Enum.cardinality(dictBoundedEnum)), function (v) {
return Data_Enum.fromEnum(dictBoundedEnum)(v);
}, function (i) {
return Data_Functor.map(Data_Maybe.functorMaybe)(Data_Generic_Rep.Argument)(Data_Enum.toEnum(dictBoundedEnum)(i));
});
};
module.exports = {
"genericCardinality'": genericCardinality$prime,
"genericFromEnum'": genericFromEnum$prime,
"genericPred'": genericPred$prime,
"genericSucc'": genericSucc$prime,
"genericToEnum'": genericToEnum$prime,
GenericEnum: GenericEnum,
genericPred: genericPred,
genericSucc: genericSucc,
GenericBoundedEnum: GenericBoundedEnum,
genericCardinality: genericCardinality,
genericToEnum: genericToEnum,
genericFromEnum: genericFromEnum,
genericEnumNoArguments: genericEnumNoArguments,
genericEnumArgument: genericEnumArgument,
genericEnumConstructor: genericEnumConstructor,
genericEnumSum: genericEnumSum,
genericEnumProduct: genericEnumProduct,
genericBoundedEnumNoArguments: genericBoundedEnumNoArguments,
genericBoundedEnumArgument: genericBoundedEnumArgument,
genericBoundedEnumConstructor: genericBoundedEnumConstructor,
genericBoundedEnumSum: genericBoundedEnumSum,
genericBoundedEnumProduct: genericBoundedEnumProduct
};