git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Control.Monad.Reader.Trans/index.js
442 lines 14 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Alt from "../Control.Alt/index.js";
3import * as Control_Applicative from "../Control.Applicative/index.js";
4import * as Control_Apply from "../Control.Apply/index.js";
5import * as Control_Bind from "../Control.Bind/index.js";
6import * as Control_Monad_Cont_Class from "../Control.Monad.Cont.Class/index.js";
7import * as Control_Monad_Error_Class from "../Control.Monad.Error.Class/index.js";
8import * as Control_Monad_Reader_Class from "../Control.Monad.Reader.Class/index.js";
9import * as Control_Monad_Rec_Class from "../Control.Monad.Rec.Class/index.js";
10import * as Control_Monad_ST_Class from "../Control.Monad.ST.Class/index.js";
11import * as Control_Monad_State_Class from "../Control.Monad.State.Class/index.js";
12import * as Control_Monad_Trans_Class from "../Control.Monad.Trans.Class/index.js";
13import * as Control_Monad_Writer_Class from "../Control.Monad.Writer.Class/index.js";
14import * as Control_Plus from "../Control.Plus/index.js";
15import * as Data_Distributive from "../Data.Distributive/index.js";
16import * as Data_Function from "../Data.Function/index.js";
17import * as Data_Functor from "../Data.Functor/index.js";
18import * as Data_Monoid from "../Data.Monoid/index.js";
19import * as Data_Semigroup from "../Data.Semigroup/index.js";
20import * as Effect_Class from "../Effect.Class/index.js";
21var ReaderT = function (x) {
22 return x;
23};
24var withReaderT = function (f) {
25 return function (v) {
26 return function ($152) {
27 return v(f($152));
28 };
29 };
30};
31var runReaderT = function (v) {
32 return v;
33};
34var newtypeReaderT = {
35 Coercible0: function () {
36 return undefined;
37 }
38};
39var monadTransReaderT = {
40 lift: function (dictMonad) {
41 return function ($153) {
42 return ReaderT(Data_Function["const"]($153));
43 };
44 }
45};
46var lift = /* #__PURE__ */ Control_Monad_Trans_Class.lift(monadTransReaderT);
47var mapReaderT = function (f) {
48 return function (v) {
49 return function ($154) {
50 return f(v($154));
51 };
52 };
53};
54var functorReaderT = function (dictFunctor) {
55 return {
56 map: (function () {
57 var $155 = Data_Functor.map(dictFunctor);
58 return function ($156) {
59 return mapReaderT($155($156));
60 };
61 })()
62 };
63};
64var distributiveReaderT = function (dictDistributive) {
65 var collect = Data_Distributive.collect(dictDistributive);
66 var functorReaderT1 = functorReaderT(dictDistributive.Functor0());
67 return {
68 distribute: function (dictFunctor) {
69 var collect1 = collect(dictFunctor);
70 return function (a) {
71 return function (e) {
72 return collect1(function (r) {
73 return r(e);
74 })(a);
75 };
76 };
77 },
78 collect: function (dictFunctor) {
79 var map = Data_Functor.map(dictFunctor);
80 return function (f) {
81 var $157 = Data_Distributive.distribute(distributiveReaderT(dictDistributive))(dictFunctor);
82 var $158 = map(f);
83 return function ($159) {
84 return $157($158($159));
85 };
86 };
87 },
88 Functor0: function () {
89 return functorReaderT1;
90 }
91 };
92};
93var applyReaderT = function (dictApply) {
94 var apply = Control_Apply.apply(dictApply);
95 var functorReaderT1 = functorReaderT(dictApply.Functor0());
96 return {
97 apply: function (v) {
98 return function (v1) {
99 return function (r) {
100 return apply(v(r))(v1(r));
101 };
102 };
103 },
104 Functor0: function () {
105 return functorReaderT1;
106 }
107 };
108};
109var bindReaderT = function (dictBind) {
110 var bind = Control_Bind.bind(dictBind);
111 var applyReaderT1 = applyReaderT(dictBind.Apply0());
112 return {
113 bind: function (v) {
114 return function (k) {
115 return function (r) {
116 return bind(v(r))(function (a) {
117 var v1 = k(a);
118 return v1(r);
119 });
120 };
121 };
122 },
123 Apply0: function () {
124 return applyReaderT1;
125 }
126 };
127};
128var semigroupReaderT = function (dictApply) {
129 var lift2 = Control_Apply.lift2(applyReaderT(dictApply));
130 return function (dictSemigroup) {
131 return {
132 append: lift2(Data_Semigroup.append(dictSemigroup))
133 };
134 };
135};
136var applicativeReaderT = function (dictApplicative) {
137 var applyReaderT1 = applyReaderT(dictApplicative.Apply0());
138 return {
139 pure: (function () {
140 var $160 = Control_Applicative.pure(dictApplicative);
141 return function ($161) {
142 return ReaderT(Data_Function["const"]($160($161)));
143 };
144 })(),
145 Apply0: function () {
146 return applyReaderT1;
147 }
148 };
149};
150var monadReaderT = function (dictMonad) {
151 var applicativeReaderT1 = applicativeReaderT(dictMonad.Applicative0());
152 var bindReaderT1 = bindReaderT(dictMonad.Bind1());
153 return {
154 Applicative0: function () {
155 return applicativeReaderT1;
156 },
157 Bind1: function () {
158 return bindReaderT1;
159 }
160 };
161};
162var monadAskReaderT = function (dictMonad) {
163 var monadReaderT1 = monadReaderT(dictMonad);
164 return {
165 ask: Control_Applicative.pure(dictMonad.Applicative0()),
166 Monad0: function () {
167 return monadReaderT1;
168 }
169 };
170};
171var monadReaderReaderT = function (dictMonad) {
172 var monadAskReaderT1 = monadAskReaderT(dictMonad);
173 return {
174 local: withReaderT,
175 MonadAsk0: function () {
176 return monadAskReaderT1;
177 }
178 };
179};
180var monadContReaderT = function (dictMonadCont) {
181 var callCC = Control_Monad_Cont_Class.callCC(dictMonadCont);
182 var monadReaderT1 = monadReaderT(dictMonadCont.Monad0());
183 return {
184 callCC: function (f) {
185 return function (r) {
186 return callCC(function (c) {
187 var v = f(function ($162) {
188 return ReaderT(Data_Function["const"](c($162)));
189 });
190 return v(r);
191 });
192 };
193 },
194 Monad0: function () {
195 return monadReaderT1;
196 }
197 };
198};
199var monadEffectReader = function (dictMonadEffect) {
200 var Monad0 = dictMonadEffect.Monad0();
201 var monadReaderT1 = monadReaderT(Monad0);
202 return {
203 liftEffect: (function () {
204 var $163 = lift(Monad0);
205 var $164 = Effect_Class.liftEffect(dictMonadEffect);
206 return function ($165) {
207 return $163($164($165));
208 };
209 })(),
210 Monad0: function () {
211 return monadReaderT1;
212 }
213 };
214};
215var monadRecReaderT = function (dictMonadRec) {
216 var Monad0 = dictMonadRec.Monad0();
217 var bindFlipped = Control_Bind.bindFlipped(Monad0.Bind1());
218 var pure = Control_Applicative.pure(Monad0.Applicative0());
219 var tailRecM = Control_Monad_Rec_Class.tailRecM(dictMonadRec);
220 var monadReaderT1 = monadReaderT(Monad0);
221 return {
222 tailRecM: function (k) {
223 return function (a) {
224 var k$prime = function (r) {
225 return function (a$prime) {
226 var v = k(a$prime);
227 return bindFlipped(pure)(v(r));
228 };
229 };
230 return function (r) {
231 return tailRecM(k$prime(r))(a);
232 };
233 };
234 },
235 Monad0: function () {
236 return monadReaderT1;
237 }
238 };
239};
240var monadStateReaderT = function (dictMonadState) {
241 var Monad0 = dictMonadState.Monad0();
242 var monadReaderT1 = monadReaderT(Monad0);
243 return {
244 state: (function () {
245 var $166 = lift(Monad0);
246 var $167 = Control_Monad_State_Class.state(dictMonadState);
247 return function ($168) {
248 return $166($167($168));
249 };
250 })(),
251 Monad0: function () {
252 return monadReaderT1;
253 }
254 };
255};
256var monadTellReaderT = function (dictMonadTell) {
257 var Monad1 = dictMonadTell.Monad1();
258 var Semigroup0 = dictMonadTell.Semigroup0();
259 var monadReaderT1 = monadReaderT(Monad1);
260 return {
261 tell: (function () {
262 var $169 = lift(Monad1);
263 var $170 = Control_Monad_Writer_Class.tell(dictMonadTell);
264 return function ($171) {
265 return $169($170($171));
266 };
267 })(),
268 Semigroup0: function () {
269 return Semigroup0;
270 },
271 Monad1: function () {
272 return monadReaderT1;
273 }
274 };
275};
276var monadWriterReaderT = function (dictMonadWriter) {
277 var Monoid0 = dictMonadWriter.Monoid0();
278 var monadTellReaderT1 = monadTellReaderT(dictMonadWriter.MonadTell1());
279 return {
280 listen: mapReaderT(Control_Monad_Writer_Class.listen(dictMonadWriter)),
281 pass: mapReaderT(Control_Monad_Writer_Class.pass(dictMonadWriter)),
282 Monoid0: function () {
283 return Monoid0;
284 },
285 MonadTell1: function () {
286 return monadTellReaderT1;
287 }
288 };
289};
290var monadThrowReaderT = function (dictMonadThrow) {
291 var Monad0 = dictMonadThrow.Monad0();
292 var monadReaderT1 = monadReaderT(Monad0);
293 return {
294 throwError: (function () {
295 var $172 = lift(Monad0);
296 var $173 = Control_Monad_Error_Class.throwError(dictMonadThrow);
297 return function ($174) {
298 return $172($173($174));
299 };
300 })(),
301 Monad0: function () {
302 return monadReaderT1;
303 }
304 };
305};
306var monadErrorReaderT = function (dictMonadError) {
307 var catchError = Control_Monad_Error_Class.catchError(dictMonadError);
308 var monadThrowReaderT1 = monadThrowReaderT(dictMonadError.MonadThrow0());
309 return {
310 catchError: function (v) {
311 return function (h) {
312 return function (r) {
313 return catchError(v(r))(function (e) {
314 var v1 = h(e);
315 return v1(r);
316 });
317 };
318 };
319 },
320 MonadThrow0: function () {
321 return monadThrowReaderT1;
322 }
323 };
324};
325var monadSTReaderT = function (dictMonadST) {
326 var Monad0 = dictMonadST.Monad0();
327 var monadReaderT1 = monadReaderT(Monad0);
328 return {
329 liftST: (function () {
330 var $175 = lift(Monad0);
331 var $176 = Control_Monad_ST_Class.liftST(dictMonadST);
332 return function ($177) {
333 return $175($176($177));
334 };
335 })(),
336 Monad0: function () {
337 return monadReaderT1;
338 }
339 };
340};
341var monoidReaderT = function (dictApplicative) {
342 var pure = Control_Applicative.pure(applicativeReaderT(dictApplicative));
343 var semigroupReaderT1 = semigroupReaderT(dictApplicative.Apply0());
344 return function (dictMonoid) {
345 var semigroupReaderT2 = semigroupReaderT1(dictMonoid.Semigroup0());
346 return {
347 mempty: pure(Data_Monoid.mempty(dictMonoid)),
348 Semigroup0: function () {
349 return semigroupReaderT2;
350 }
351 };
352 };
353};
354var altReaderT = function (dictAlt) {
355 var alt = Control_Alt.alt(dictAlt);
356 var functorReaderT1 = functorReaderT(dictAlt.Functor0());
357 return {
358 alt: function (v) {
359 return function (v1) {
360 return function (r) {
361 return alt(v(r))(v1(r));
362 };
363 };
364 },
365 Functor0: function () {
366 return functorReaderT1;
367 }
368 };
369};
370var plusReaderT = function (dictPlus) {
371 var altReaderT1 = altReaderT(dictPlus.Alt0());
372 return {
373 empty: Data_Function["const"](Control_Plus.empty(dictPlus)),
374 Alt0: function () {
375 return altReaderT1;
376 }
377 };
378};
379var alternativeReaderT = function (dictAlternative) {
380 var applicativeReaderT1 = applicativeReaderT(dictAlternative.Applicative0());
381 var plusReaderT1 = plusReaderT(dictAlternative.Plus1());
382 return {
383 Applicative0: function () {
384 return applicativeReaderT1;
385 },
386 Plus1: function () {
387 return plusReaderT1;
388 }
389 };
390};
391var monadPlusReaderT = function (dictMonadPlus) {
392 var monadReaderT1 = monadReaderT(dictMonadPlus.Monad0());
393 var alternativeReaderT1 = alternativeReaderT(dictMonadPlus.Alternative1());
394 return {
395 Monad0: function () {
396 return monadReaderT1;
397 },
398 Alternative1: function () {
399 return alternativeReaderT1;
400 }
401 };
402};
403export {
404 ReaderT,
405 runReaderT,
406 withReaderT,
407 mapReaderT,
408 newtypeReaderT,
409 functorReaderT,
410 applyReaderT,
411 applicativeReaderT,
412 altReaderT,
413 plusReaderT,
414 alternativeReaderT,
415 bindReaderT,
416 monadReaderT,
417 semigroupReaderT,
418 monoidReaderT,
419 monadPlusReaderT,
420 monadTransReaderT,
421 monadEffectReader,
422 monadContReaderT,
423 monadThrowReaderT,
424 monadErrorReaderT,
425 monadAskReaderT,
426 monadReaderReaderT,
427 monadStateReaderT,
428 monadTellReaderT,
429 monadWriterReaderT,
430 distributiveReaderT,
431 monadRecReaderT,
432 monadSTReaderT
433};
434export {
435 ask,
436 asks,
437 local
438} from "../Control.Monad.Reader.Class/index.js";
439export {
440 lift
441} from "../Control.Monad.Trans.Class/index.js";
442//# sourceMappingURL=index.js.map