git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Foreign/index.js
320 lines 13 kB history raw
1// Generated by purs version 0.15.16
2import * as $foreign from "./foreign.js";
3import * as Control_Applicative from "../Control.Applicative/index.js";
4import * as Control_Monad_Error_Class from "../Control.Monad.Error.Class/index.js";
5import * as Control_Monad_Except_Trans from "../Control.Monad.Except.Trans/index.js";
6import * as Data_Boolean from "../Data.Boolean/index.js";
7import * as Data_Either from "../Data.Either/index.js";
8import * as Data_Eq from "../Data.Eq/index.js";
9import * as Data_Function from "../Data.Function/index.js";
10import * as Data_Functor from "../Data.Functor/index.js";
11import * as Data_Int from "../Data.Int/index.js";
12import * as Data_List_NonEmpty from "../Data.List.NonEmpty/index.js";
13import * as Data_Maybe from "../Data.Maybe/index.js";
14import * as Data_Ord from "../Data.Ord/index.js";
15import * as Data_Ordering from "../Data.Ordering/index.js";
16import * as Data_Show from "../Data.Show/index.js";
17import * as Data_String_CodeUnits from "../Data.String.CodeUnits/index.js";
18import * as Unsafe_Coerce from "../Unsafe.Coerce/index.js";
19var show = /* #__PURE__ */ Data_Show.show(Data_Show.showString);
20var show1 = /* #__PURE__ */ Data_Show.show(Data_Show.showInt);
21var pure = /* #__PURE__ */ Control_Applicative.pure(Data_Either.applicativeEither);
22var compare = /* #__PURE__ */ Data_Ord.compare(Data_Ord.ordString);
23var compare1 = /* #__PURE__ */ Data_Ord.compare(Data_Ord.ordInt);
24var ForeignError = /* #__PURE__ */ (function () {
25 function ForeignError(value0) {
26 this.value0 = value0;
27 };
28 ForeignError.create = function (value0) {
29 return new ForeignError(value0);
30 };
31 return ForeignError;
32})();
33var TypeMismatch = /* #__PURE__ */ (function () {
34 function TypeMismatch(value0, value1) {
35 this.value0 = value0;
36 this.value1 = value1;
37 };
38 TypeMismatch.create = function (value0) {
39 return function (value1) {
40 return new TypeMismatch(value0, value1);
41 };
42 };
43 return TypeMismatch;
44})();
45var ErrorAtIndex = /* #__PURE__ */ (function () {
46 function ErrorAtIndex(value0, value1) {
47 this.value0 = value0;
48 this.value1 = value1;
49 };
50 ErrorAtIndex.create = function (value0) {
51 return function (value1) {
52 return new ErrorAtIndex(value0, value1);
53 };
54 };
55 return ErrorAtIndex;
56})();
57var ErrorAtProperty = /* #__PURE__ */ (function () {
58 function ErrorAtProperty(value0, value1) {
59 this.value0 = value0;
60 this.value1 = value1;
61 };
62 ErrorAtProperty.create = function (value0) {
63 return function (value1) {
64 return new ErrorAtProperty(value0, value1);
65 };
66 };
67 return ErrorAtProperty;
68})();
69var unsafeToForeign = Unsafe_Coerce.unsafeCoerce;
70var unsafeFromForeign = Unsafe_Coerce.unsafeCoerce;
71var showForeignError = {
72 show: function (v) {
73 if (v instanceof ForeignError) {
74 return "(ForeignError " + (show(v.value0) + ")");
75 };
76 if (v instanceof ErrorAtIndex) {
77 return "(ErrorAtIndex " + (show1(v.value0) + (" " + (Data_Show.show(showForeignError)(v.value1) + ")")));
78 };
79 if (v instanceof ErrorAtProperty) {
80 return "(ErrorAtProperty " + (show(v.value0) + (" " + (Data_Show.show(showForeignError)(v.value1) + ")")));
81 };
82 if (v instanceof TypeMismatch) {
83 return "(TypeMismatch " + (show(v.value0) + (" " + (show(v.value1) + ")")));
84 };
85 throw new Error("Failed pattern match at Foreign (line 69, column 1 - line 73, column 89): " + [ v.constructor.name ]);
86 }
87};
88var renderForeignError = function (v) {
89 if (v instanceof ForeignError) {
90 return v.value0;
91 };
92 if (v instanceof ErrorAtIndex) {
93 return "Error at array index " + (show1(v.value0) + (": " + renderForeignError(v.value1)));
94 };
95 if (v instanceof ErrorAtProperty) {
96 return "Error at property " + (show(v.value0) + (": " + renderForeignError(v.value1)));
97 };
98 if (v instanceof TypeMismatch) {
99 return "Type mismatch: expected " + (v.value0 + (", found " + v.value1));
100 };
101 throw new Error("Failed pattern match at Foreign (line 78, column 1 - line 78, column 45): " + [ v.constructor.name ]);
102};
103var readUndefined = function (dictMonad) {
104 var pure1 = Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(dictMonad));
105 return function (value) {
106 if ($foreign.isUndefined(value)) {
107 return pure1(Data_Maybe.Nothing.value);
108 };
109 if (Data_Boolean.otherwise) {
110 return pure1(new Data_Maybe.Just(value));
111 };
112 throw new Error("Failed pattern match at Foreign (line 174, column 1 - line 174, column 103): " + [ value.constructor.name ]);
113 };
114};
115var readNullOrUndefined = function (dictMonad) {
116 var pure1 = Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(dictMonad));
117 return function (value) {
118 if ($foreign.isNull(value) || $foreign.isUndefined(value)) {
119 return pure1(Data_Maybe.Nothing.value);
120 };
121 if (Data_Boolean.otherwise) {
122 return pure1(new Data_Maybe.Just(value));
123 };
124 throw new Error("Failed pattern match at Foreign (line 179, column 1 - line 179, column 109): " + [ value.constructor.name ]);
125 };
126};
127var readNull = function (dictMonad) {
128 var pure1 = Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(dictMonad));
129 return function (value) {
130 if ($foreign.isNull(value)) {
131 return pure1(Data_Maybe.Nothing.value);
132 };
133 if (Data_Boolean.otherwise) {
134 return pure1(new Data_Maybe.Just(value));
135 };
136 throw new Error("Failed pattern match at Foreign (line 169, column 1 - line 169, column 98): " + [ value.constructor.name ]);
137 };
138};
139var fail = function (dictMonad) {
140 var $153 = Control_Monad_Error_Class.throwError(Control_Monad_Except_Trans.monadThrowExceptT(dictMonad));
141 return function ($154) {
142 return $153(Data_List_NonEmpty.singleton($154));
143 };
144};
145var readArray = function (dictMonad) {
146 var pure1 = Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(dictMonad));
147 var fail1 = fail(dictMonad);
148 return function (value) {
149 if ($foreign.isArray(value)) {
150 return pure1(unsafeFromForeign(value));
151 };
152 if (Data_Boolean.otherwise) {
153 return fail1(new TypeMismatch("array", $foreign.tagOf(value)));
154 };
155 throw new Error("Failed pattern match at Foreign (line 164, column 1 - line 164, column 99): " + [ value.constructor.name ]);
156 };
157};
158var unsafeReadTagged = function (dictMonad) {
159 var pure1 = Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(dictMonad));
160 var fail1 = fail(dictMonad);
161 return function (tag) {
162 return function (value) {
163 if ($foreign.tagOf(value) === tag) {
164 return pure1(unsafeFromForeign(value));
165 };
166 if (Data_Boolean.otherwise) {
167 return fail1(new TypeMismatch(tag, $foreign.tagOf(value)));
168 };
169 throw new Error("Failed pattern match at Foreign (line 123, column 1 - line 123, column 104): " + [ tag.constructor.name, value.constructor.name ]);
170 };
171 };
172};
173var readBoolean = function (dictMonad) {
174 return unsafeReadTagged(dictMonad)("Boolean");
175};
176var readNumber = function (dictMonad) {
177 return unsafeReadTagged(dictMonad)("Number");
178};
179var readInt = function (dictMonad) {
180 var map = Data_Functor.map(((dictMonad.Bind1()).Apply0()).Functor0());
181 var readNumber1 = readNumber(dictMonad);
182 return function (value) {
183 var error = new Data_Either.Left(Data_List_NonEmpty.singleton(new TypeMismatch("Int", $foreign.tagOf(value))));
184 var fromNumber = (function () {
185 var $155 = Data_Maybe.maybe(error)(pure);
186 return function ($156) {
187 return $155(Data_Int.fromNumber($156));
188 };
189 })();
190 return Control_Monad_Except_Trans.mapExceptT(map(Data_Either.either(Data_Function["const"](error))(fromNumber)))(readNumber1(value));
191 };
192};
193var readString = function (dictMonad) {
194 return unsafeReadTagged(dictMonad)("String");
195};
196var readChar = function (dictMonad) {
197 var map = Data_Functor.map(((dictMonad.Bind1()).Apply0()).Functor0());
198 var readString1 = readString(dictMonad);
199 return function (value) {
200 var error = new Data_Either.Left(Data_List_NonEmpty.singleton(new TypeMismatch("Char", $foreign.tagOf(value))));
201 var fromString = (function () {
202 var $157 = Data_Maybe.maybe(error)(pure);
203 return function ($158) {
204 return $157(Data_String_CodeUnits.toChar($158));
205 };
206 })();
207 return Control_Monad_Except_Trans.mapExceptT(map(Data_Either.either(Data_Function["const"](error))(fromString)))(readString1(value));
208 };
209};
210var eqForeignError = {
211 eq: function (x) {
212 return function (y) {
213 if (x instanceof ForeignError && y instanceof ForeignError) {
214 return x.value0 === y.value0;
215 };
216 if (x instanceof TypeMismatch && y instanceof TypeMismatch) {
217 return x.value0 === y.value0 && x.value1 === y.value1;
218 };
219 if (x instanceof ErrorAtIndex && y instanceof ErrorAtIndex) {
220 return x.value0 === y.value0 && Data_Eq.eq(eqForeignError)(x.value1)(y.value1);
221 };
222 if (x instanceof ErrorAtProperty && y instanceof ErrorAtProperty) {
223 return x.value0 === y.value0 && Data_Eq.eq(eqForeignError)(x.value1)(y.value1);
224 };
225 return false;
226 };
227 }
228};
229var ordForeignError = {
230 compare: function (x) {
231 return function (y) {
232 if (x instanceof ForeignError && y instanceof ForeignError) {
233 return compare(x.value0)(y.value0);
234 };
235 if (x instanceof ForeignError) {
236 return Data_Ordering.LT.value;
237 };
238 if (y instanceof ForeignError) {
239 return Data_Ordering.GT.value;
240 };
241 if (x instanceof TypeMismatch && y instanceof TypeMismatch) {
242 var v = compare(x.value0)(y.value0);
243 if (v instanceof Data_Ordering.LT) {
244 return Data_Ordering.LT.value;
245 };
246 if (v instanceof Data_Ordering.GT) {
247 return Data_Ordering.GT.value;
248 };
249 return compare(x.value1)(y.value1);
250 };
251 if (x instanceof TypeMismatch) {
252 return Data_Ordering.LT.value;
253 };
254 if (y instanceof TypeMismatch) {
255 return Data_Ordering.GT.value;
256 };
257 if (x instanceof ErrorAtIndex && y instanceof ErrorAtIndex) {
258 var v = compare1(x.value0)(y.value0);
259 if (v instanceof Data_Ordering.LT) {
260 return Data_Ordering.LT.value;
261 };
262 if (v instanceof Data_Ordering.GT) {
263 return Data_Ordering.GT.value;
264 };
265 return Data_Ord.compare(ordForeignError)(x.value1)(y.value1);
266 };
267 if (x instanceof ErrorAtIndex) {
268 return Data_Ordering.LT.value;
269 };
270 if (y instanceof ErrorAtIndex) {
271 return Data_Ordering.GT.value;
272 };
273 if (x instanceof ErrorAtProperty && y instanceof ErrorAtProperty) {
274 var v = compare(x.value0)(y.value0);
275 if (v instanceof Data_Ordering.LT) {
276 return Data_Ordering.LT.value;
277 };
278 if (v instanceof Data_Ordering.GT) {
279 return Data_Ordering.GT.value;
280 };
281 return Data_Ord.compare(ordForeignError)(x.value1)(y.value1);
282 };
283 throw new Error("Failed pattern match at Foreign (line 0, column 0 - line 0, column 0): " + [ x.constructor.name, y.constructor.name ]);
284 };
285 },
286 Eq0: function () {
287 return eqForeignError;
288 }
289};
290export {
291 typeOf,
292 tagOf,
293 isNull,
294 isUndefined,
295 isArray
296} from "./foreign.js";
297export {
298 ForeignError,
299 TypeMismatch,
300 ErrorAtIndex,
301 ErrorAtProperty,
302 renderForeignError,
303 unsafeToForeign,
304 unsafeFromForeign,
305 unsafeReadTagged,
306 readString,
307 readChar,
308 readBoolean,
309 readNumber,
310 readInt,
311 readArray,
312 readNull,
313 readUndefined,
314 readNullOrUndefined,
315 fail,
316 eqForeignError,
317 ordForeignError,
318 showForeignError
319};
320//# sourceMappingURL=index.js.map