git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.DivisionRing/index.js
49 lines 1.2 kB history raw
1// Generated by purs version 0.15.16
2import * as Data_Ring from "../Data.Ring/index.js";
3import * as Data_Semiring from "../Data.Semiring/index.js";
4var recip = function (dict) {
5 return dict.recip;
6};
7var rightDiv = function (dictDivisionRing) {
8 var mul = Data_Semiring.mul((dictDivisionRing.Ring0()).Semiring0());
9 var recip1 = recip(dictDivisionRing);
10 return function (a) {
11 return function (b) {
12 return mul(a)(recip1(b));
13 };
14 };
15};
16var leftDiv = function (dictDivisionRing) {
17 var mul = Data_Semiring.mul((dictDivisionRing.Ring0()).Semiring0());
18 var recip1 = recip(dictDivisionRing);
19 return function (a) {
20 return function (b) {
21 return mul(recip1(b))(a);
22 };
23 };
24};
25var divisionringNumber = {
26 recip: function (x) {
27 return 1.0 / x;
28 },
29 Ring0: function () {
30 return Data_Ring.ringNumber;
31 }
32};
33export {
34 recip,
35 leftDiv,
36 rightDiv,
37 divisionringNumber
38};
39export {
40 negate,
41 sub
42} from "../Data.Ring/index.js";
43export {
44 add,
45 mul,
46 one,
47 zero
48} from "../Data.Semiring/index.js";
49//# sourceMappingURL=index.js.map