git.iko.soy/rowtype-yoga/purescript-prospero
on v0.1.0 help sign in
rowtype-yoga/purescript-prospero/output-compile-fail/Control.Comonad.Store.Class/index.js
132 lines 4.3 kB history raw
1// Generated by purs version 0.15.15
2import * as Control_Comonad from "../Control.Comonad/index.js";
3import * as Control_Comonad_Env_Trans from "../Control.Comonad.Env.Trans/index.js";
4import * as Control_Comonad_Store_Trans from "../Control.Comonad.Store.Trans/index.js";
5import * as Control_Comonad_Traced_Trans from "../Control.Comonad.Traced.Trans/index.js";
6import * as Control_Comonad_Trans_Class from "../Control.Comonad.Trans.Class/index.js";
7import * as Control_Extend from "../Control.Extend/index.js";
8import * as Data_Function from "../Data.Function/index.js";
9import * as Data_Functor from "../Data.Functor/index.js";
10var lower = /* #__PURE__ */ Control_Comonad_Trans_Class.lower(Control_Comonad_Env_Trans.comonadTransEnvT);
11var pos = function (dict) {
12 return dict.pos;
13};
14var peek = function (dict) {
15 return dict.peek;
16};
17var peeks = function (dictComonadStore) {
18 var peek1 = peek(dictComonadStore);
19 var pos1 = pos(dictComonadStore);
20 return function (f) {
21 return function (x) {
22 return peek1(f(pos1(x)))(x);
23 };
24 };
25};
26var seeks = function (dictComonadStore) {
27 var peeks1 = peeks(dictComonadStore);
28 var duplicate = Control_Extend.duplicate((dictComonadStore.Comonad0()).Extend0());
29 return function (f) {
30 var $50 = peeks1(f);
31 return function ($51) {
32 return $50(duplicate($51));
33 };
34 };
35};
36var seek = function (dictComonadStore) {
37 var peek1 = peek(dictComonadStore);
38 var duplicate = Control_Extend.duplicate((dictComonadStore.Comonad0()).Extend0());
39 return function (s) {
40 var $52 = peek1(s);
41 return function ($53) {
42 return $52(duplicate($53));
43 };
44 };
45};
46var experiment = function (dictComonadStore) {
47 var peek1 = peek(dictComonadStore);
48 var pos1 = pos(dictComonadStore);
49 return function (dictFunctor) {
50 var map = Data_Functor.map(dictFunctor);
51 return function (f) {
52 return function (x) {
53 return map(Data_Function.flip(peek1)(x))(f(pos1(x)));
54 };
55 };
56 };
57};
58var comonadStoreTracedT = function (dictComonadStore) {
59 var pos1 = pos(dictComonadStore);
60 var Comonad0 = dictComonadStore.Comonad0();
61 var peek1 = peek(dictComonadStore);
62 var comonadTracedT = Control_Comonad_Traced_Trans.comonadTracedT(Comonad0);
63 return function (dictMonoid) {
64 var lower1 = Control_Comonad_Trans_Class.lower(Control_Comonad_Traced_Trans.comonadTransTracedT(dictMonoid))(Comonad0);
65 var comonadTracedT1 = comonadTracedT(dictMonoid);
66 return {
67 pos: function ($54) {
68 return pos1(lower1($54));
69 },
70 peek: function (s) {
71 var $55 = peek1(s);
72 return function ($56) {
73 return $55(lower1($56));
74 };
75 },
76 Comonad0: function () {
77 return comonadTracedT1;
78 }
79 };
80 };
81};
82var comonadStoreStoreT = function (dictComonad) {
83 var extract = Control_Comonad.extract(dictComonad);
84 var comonadStoreT = Control_Comonad_Store_Trans.comonadStoreT(dictComonad);
85 return {
86 pos: function (v) {
87 return v.value1;
88 },
89 peek: function (s) {
90 return function (v) {
91 return extract(v.value0)(s);
92 };
93 },
94 Comonad0: function () {
95 return comonadStoreT;
96 }
97 };
98};
99var comonadStoreEnvT = function (dictComonadStore) {
100 var Comonad0 = dictComonadStore.Comonad0();
101 var lower1 = lower(Comonad0);
102 var peek1 = peek(dictComonadStore);
103 var comonadEnvT = Control_Comonad_Env_Trans.comonadEnvT(Comonad0);
104 return {
105 pos: (function () {
106 var $57 = pos(dictComonadStore);
107 return function ($58) {
108 return $57(lower1($58));
109 };
110 })(),
111 peek: function (s) {
112 var $59 = peek1(s);
113 return function ($60) {
114 return $59(lower1($60));
115 };
116 },
117 Comonad0: function () {
118 return comonadEnvT;
119 }
120 };
121};
122export {
123 peek,
124 pos,
125 experiment,
126 peeks,
127 seek,
128 seeks,
129 comonadStoreStoreT,
130 comonadStoreEnvT,
131 comonadStoreTracedT
132};