git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Date.Gen/index.js
50 lines 2.2 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Applicative from "../Control.Applicative/index.js";
3import * as Control_Bind from "../Control.Bind/index.js";
4import * as Control_Monad_Gen_Class from "../Control.Monad.Gen.Class/index.js";
5import * as Data_Bounded from "../Data.Bounded/index.js";
6import * as Data_Date from "../Data.Date/index.js";
7import * as Data_Date_Component from "../Data.Date.Component/index.js";
8import * as Data_Date_Component_Gen from "../Data.Date.Component.Gen/index.js";
9import * as Data_Functor from "../Data.Functor/index.js";
10import * as Data_Int from "../Data.Int/index.js";
11import * as Data_Maybe from "../Data.Maybe/index.js";
12import * as Data_Time_Duration from "../Data.Time.Duration/index.js";
13var fromJust = /* #__PURE__ */ Data_Maybe.fromJust();
14var bind = /* #__PURE__ */ Control_Bind.bind(Data_Maybe.bindMaybe);
15var bottom = /* #__PURE__ */ Data_Bounded.bottom(Data_Date_Component.boundedMonth);
16var bottom1 = /* #__PURE__ */ Data_Bounded.bottom(Data_Date_Component.boundedDay);
17var genDate = function (dictMonadGen) {
18 var Monad0 = dictMonadGen.Monad0();
19 var Bind1 = Monad0.Bind1();
20 var bind1 = Control_Bind.bind(Bind1);
21 var map = Data_Functor.map((Bind1.Apply0()).Functor0());
22 var chooseInt = Control_Monad_Gen_Class.chooseInt(dictMonadGen);
23 var pure = Control_Applicative.pure(Monad0.Applicative0());
24 return bind1(Data_Date_Component_Gen.genYear(dictMonadGen))(function (year) {
25 var maxDays = (function () {
26 var $16 = Data_Date.isLeapYear(year);
27 if ($16) {
28 return 365;
29 };
30 return 364;
31 })();
32 return bind1(map(function ($17) {
33 return Data_Time_Duration.Days(Data_Int.toNumber($17));
34 })(chooseInt(0)(maxDays)))(function (days) {
35 return pure(fromJust(bind(Data_Date.exactDate(year)(bottom)(bottom1))(function (janFirst) {
36 return Data_Date.adjust(days)(janFirst);
37 })));
38 });
39 });
40};
41export {
42 genDate
43};
44export {
45 genDay,
46 genMonth,
47 genWeekday,
48 genYear
49} from "../Data.Date.Component.Gen/index.js";
50//# sourceMappingURL=index.js.map