1// Generated by purs version 0.15.16
2import * as Control_Applicative from "../Control.Applicative/index.js";
3import * as Control_Apply from "../Control.Apply/index.js";
4import * as Data_Eq from "../Data.Eq/index.js";
5import * as Data_Monoid from "../Data.Monoid/index.js";
6import * as Data_Ord from "../Data.Ord/index.js";
7import * as Data_Semigroup from "../Data.Semigroup/index.js";
8import * as Data_Show from "../Data.Show/index.js";
9import * as Unsafe_Coerce from "../Unsafe.Coerce/index.js";
10var App = function (x) {
13var showApp = function (dictShow) {
14 var show = Data_Show.show(dictShow);
17 return "(App " + (show(v) + ")");
21var semigroupApp = function (dictApply) {
22 var lift2 = Control_Apply.lift2(dictApply);
23 return function (dictSemigroup) {
24 var append1 = Data_Semigroup.append(dictSemigroup);
26 append: function (v) {
27 return function (v1) {
28 return lift2(append1)(v)(v1);
34var plusApp = function (dictPlus) {
38 Coercible0: function () {
42var monoidApp = function (dictApplicative) {
43 var pure = Control_Applicative.pure(dictApplicative);
44 var semigroupApp1 = semigroupApp(dictApplicative.Apply0());
45 return function (dictMonoid) {
46 var semigroupApp2 = semigroupApp1(dictMonoid.Semigroup0());
48 mempty: pure(Data_Monoid.mempty(dictMonoid)),
49 Semigroup0: function () {
55var monadPlusApp = function (dictMonadPlus) {
58var monadApp = function (dictMonad) {
61var lazyApp = function (dictLazy) {
64var hoistLowerApp = Unsafe_Coerce.unsafeCoerce;
65var hoistLiftApp = Unsafe_Coerce.unsafeCoerce;
66var hoistApp = function (f) {
71var functorApp = function (dictFunctor) {
74var extendApp = function (dictExtend) {
77var eqApp = function (dictEq1) {
78 var eq1 = Data_Eq.eq1(dictEq1);
79 return function (dictEq) {
80 var eq11 = eq1(dictEq);
90var ordApp = function (dictOrd1) {
91 var compare1 = Data_Ord.compare1(dictOrd1);
92 var eqApp1 = eqApp(dictOrd1.Eq10());
93 return function (dictOrd) {
94 var compare11 = compare1(dictOrd);
95 var eqApp2 = eqApp1(dictOrd.Eq0());
97 compare: function (x) {
99 return compare11(x)(y);
108var eq1App = function (dictEq1) {
109 var eqApp1 = eqApp(dictEq1);
111 eq1: function (dictEq) {
112 return Data_Eq.eq(eqApp1(dictEq));
116var ord1App = function (dictOrd1) {
117 var ordApp1 = ordApp(dictOrd1);
118 var eq1App1 = eq1App(dictOrd1.Eq10());
120 compare1: function (dictOrd) {
121 return Data_Ord.compare(ordApp1(dictOrd));
128var comonadApp = function (dictComonad) {
131var bindApp = function (dictBind) {
134var applyApp = function (dictApply) {
137var applicativeApp = function (dictApplicative) {
138 return dictApplicative;
140var alternativeApp = function (dictAlternative) {
141 return dictAlternative;
143var altApp = function (dictAlt) {
172//# sourceMappingURL=index.js.map
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list