git.iko.soy/rowtype-yoga/psfp
on 15d5152 help sign in
rowtype-yoga/psfp/client/dce-output/Data.Ring/index.js
29 lines 789 B history raw
1// Generated by purs version 0.13.6
2"use strict";
3var $foreign = require("./foreign.js");
4var Data_Semiring = require("../Data.Semiring/index.js");
5var Ring = function (Semiring0, sub) {
6 this.Semiring0 = Semiring0;
7 this.sub = sub;
8};
9var sub = function (dict) {
10 return dict.sub;
11};
12var ringNumber = new Ring(function ($dollar__unused) {
13 return Data_Semiring.semiringNumber;
14}, $foreign.numSub);
15var ringInt = new Ring(function ($dollar__unused) {
16 return Data_Semiring.semiringInt;
17}, $foreign.intSub);
18var negate = function (dictRing) {
19 return function (a) {
20 return sub(dictRing)(Data_Semiring.zero(dictRing.Semiring0()))(a);
21 };
22};
23module.exports = {
24 Ring: Ring,
25 sub: sub,
26 negate: negate,
27 ringInt: ringInt,
28 ringNumber: ringNumber
29};