git.iko.soy/rowtype-yoga/psfp
on 081ef00 help sign in
rowtype-yoga/psfp/client/dce-output/Data.Monoid.Disj/index.js
25 lines 825 B history raw
1// Generated by purs version 0.13.6
2"use strict";
3var Data_HeytingAlgebra = require("../Data.HeytingAlgebra/index.js");
4var Data_Monoid = require("../Data.Monoid/index.js");
5var Data_Semigroup = require("../Data.Semigroup/index.js");
6var Disj = function (x) {
7 return x;
8};
9var semigroupDisj = function (dictHeytingAlgebra) {
10 return new Data_Semigroup.Semigroup(function (v) {
11 return function (v1) {
12 return Data_HeytingAlgebra.disj(dictHeytingAlgebra)(v)(v1);
13 };
14 });
15};
16var monoidDisj = function (dictHeytingAlgebra) {
17 return new Data_Monoid.Monoid(function ($dollar__unused) {
18 return semigroupDisj(dictHeytingAlgebra);
19 }, Data_HeytingAlgebra.ff(dictHeytingAlgebra));
20};
21module.exports = {
22 Disj: Disj,
23 semigroupDisj: semigroupDisj,
24 monoidDisj: monoidDisj
25};