git.iko.soy/rowtype-yoga/psfp
on 15d5152 help sign in
rowtype-yoga/psfp/client/dce-output/Data.Newtype/index.js
41 lines 1.2 kB history raw
1// Generated by purs version 0.13.6
2"use strict";
3var Data_Functor = require("../Data.Functor/index.js");
4var Data_Monoid_Disj = require("../Data.Monoid.Disj/index.js");
5var Newtype = function (unwrap, wrap) {
6 this.unwrap = unwrap;
7 this.wrap = wrap;
8};
9var wrap = function (dict) {
10 return dict.wrap;
11};
12var unwrap = function (dict) {
13 return dict.unwrap;
14};
15var newtypeDisj = new Newtype(function (v) {
16 return v;
17}, Data_Monoid_Disj.Disj);
18var alaF = function (dictFunctor) {
19 return function (dictFunctor1) {
20 return function (dictNewtype) {
21 return function (dictNewtype1) {
22 return function (v) {
23 return function (f) {
24 var $243 = Data_Functor.map(dictFunctor1)(unwrap(dictNewtype1));
25 var $244 = Data_Functor.map(dictFunctor)(wrap(dictNewtype));
26 return function ($245) {
27 return $243(f($244($245)));
28 };
29 };
30 };
31 };
32 };
33 };
34};
35module.exports = {
36 unwrap: unwrap,
37 wrap: wrap,
38 Newtype: Newtype,
39 alaF: alaF,
40 newtypeDisj: newtypeDisj
41};