git.iko.soy/rowtype-yoga/psfp
on 6dce5ac help sign in
50 lines 1.6 kB history raw
1// Generated by purs version 0.13.6
2"use strict";
3var Control_Applicative = require("../Control.Applicative/index.js");
4var Control_Apply = require("../Control.Apply/index.js");
5var Control_Bind = require("../Control.Bind/index.js");
6var Control_Monad = require("../Control.Monad/index.js");
7var Data_Functor = require("../Data.Functor/index.js");
8var Data_Newtype = require("../Data.Newtype/index.js");
9var Identity = function (x) {
10 return x;
11};
12var newtypeIdentity = new Data_Newtype.Newtype(function (n) {
13 return n;
14}, Identity);
15var functorIdentity = new Data_Functor.Functor(function (f) {
16 return function (m) {
17 return f(m);
18 };
19});
20var applyIdentity = new Control_Apply.Apply(function ($dollar__unused) {
21 return functorIdentity;
22}, function (v) {
23 return function (v1) {
24 return v(v1);
25 };
26});
27var bindIdentity = new Control_Bind.Bind(function ($dollar__unused) {
28 return applyIdentity;
29}, function (v) {
30 return function (f) {
31 return f(v);
32 };
33});
34var applicativeIdentity = new Control_Applicative.Applicative(function ($dollar__unused) {
35 return applyIdentity;
36}, Identity);
37var monadIdentity = new Control_Monad.Monad(function ($dollar__unused) {
38 return applicativeIdentity;
39}, function ($dollar__unused) {
40 return bindIdentity;
41});
42module.exports = {
43 Identity: Identity,
44 newtypeIdentity: newtypeIdentity,
45 functorIdentity: functorIdentity,
46 applyIdentity: applyIdentity,
47 applicativeIdentity: applicativeIdentity,
48 bindIdentity: bindIdentity,
49 monadIdentity: monadIdentity
50};