git.iko.soy/rowtype-yoga/psfp
on 21527d8 help sign in
rowtype-yoga/psfp/client/dce-output/Data.EuclideanRing/index.js
35 lines 1.1 kB history raw
1// Generated by purs version 0.13.6
2"use strict";
3var $foreign = require("./foreign.js");
4var Data_CommutativeRing = require("../Data.CommutativeRing/index.js");
5var EuclideanRing = function (CommutativeRing0, degree, div, mod) {
6 this.CommutativeRing0 = CommutativeRing0;
7 this.degree = degree;
8 this.div = div;
9 this.mod = mod;
10};
11var mod = function (dict) {
12 return dict.mod;
13};
14var euclideanRingNumber = new EuclideanRing(function ($dollar__unused) {
15 return Data_CommutativeRing.commutativeRingNumber;
16}, function (v) {
17 return 1;
18}, $foreign.numDiv, function (v) {
19 return function (v1) {
20 return 0.0;
21 };
22});
23var euclideanRingInt = new EuclideanRing(function ($dollar__unused) {
24 return Data_CommutativeRing.commutativeRingInt;
25}, $foreign.intDegree, $foreign.intDiv, $foreign.intMod);
26var div = function (dict) {
27 return dict.div;
28};
29module.exports = {
30 EuclideanRing: EuclideanRing,
31 div: div,
32 mod: mod,
33 euclideanRingInt: euclideanRingInt,
34 euclideanRingNumber: euclideanRingNumber
35};