git.iko.soy/rowtype-yoga/yoga-r3f
on main help sign in
rowtype-yoga/yoga-r3f/output/Data.Lens.Iso/index.js
174 lines 5.5 kB history raw
1// Generated by purs version 0.15.16
2import * as Control_Category from "../Control.Category/index.js";
3import * as Data_Boolean from "../Data.Boolean/index.js";
4import * as Data_Eq from "../Data.Eq/index.js";
5import * as Data_Function from "../Data.Function/index.js";
6import * as Data_Functor from "../Data.Functor/index.js";
7import * as Data_Lens_Internal_Exchange from "../Data.Lens.Internal.Exchange/index.js";
8import * as Data_Lens_Types from "../Data.Lens.Types/index.js";
9import * as Data_Maybe from "../Data.Maybe/index.js";
10import * as Data_Newtype from "../Data.Newtype/index.js";
11import * as Data_Profunctor from "../Data.Profunctor/index.js";
12import * as Data_Tuple from "../Data.Tuple/index.js";
13import * as Safe_Coerce from "../Safe.Coerce/index.js";
14var identity = /* #__PURE__ */ Control_Category.identity(Control_Category.categoryFn);
15var unwrap = /* #__PURE__ */ Data_Newtype.unwrap();
16var coerce = /* #__PURE__ */ Safe_Coerce.coerce();
17var withIso = function (l) {
18 return function (f) {
19 var v = l(new Data_Lens_Internal_Exchange.Exchange(identity, identity));
20 return f(v.value0)(v.value1);
21 };
22};
23var under = function (l) {
24 return withIso(l)(function (sa) {
25 return function (bt) {
26 return function (ts) {
27 return function ($31) {
28 return sa(ts(bt($31)));
29 };
30 };
31 };
32 });
33};
34var re = function (t) {
35 return unwrap(t(identity));
36};
37var iso = function (f) {
38 return function (g) {
39 return function (dictProfunctor) {
40 var dimap = Data_Profunctor.dimap(dictProfunctor);
41 return function (pab) {
42 return dimap(f)(g)(pab);
43 };
44 };
45 };
46};
47var mapping = function (dictFunctor) {
48 var map = Data_Functor.map(dictFunctor);
49 return function (dictFunctor1) {
50 var map1 = Data_Functor.map(dictFunctor1);
51 return function (l) {
52 return function (dictProfunctor) {
53 return withIso(l)(function (sa) {
54 return function (bt) {
55 return iso(map(sa))(map1(bt))(dictProfunctor);
56 };
57 });
58 };
59 };
60 };
61};
62var non = function (dictEq) {
63 var eq = Data_Eq.eq(dictEq);
64 return function (def) {
65 return function (dictProfunctor) {
66 var g = function (a) {
67 if (eq(a)(def)) {
68 return Data_Maybe.Nothing.value;
69 };
70 if (Data_Boolean.otherwise) {
71 return new Data_Maybe.Just(a);
72 };
73 throw new Error("Failed pattern match at Data.Lens.Iso (line 60, column 3 - line 62, column 25): " + [ a.constructor.name ]);
74 };
75 return iso(Data_Maybe.fromMaybe(def))(g)(dictProfunctor);
76 };
77 };
78};
79var uncurried = function (dictProfunctor) {
80 return iso(Data_Tuple.uncurry)(Data_Tuple.curry)(dictProfunctor);
81};
82var flipped = function (dictProfunctor) {
83 return iso(Data_Function.flip)(Data_Function.flip)(dictProfunctor);
84};
85var dimapping = function (dictProfunctor) {
86 var dimap = Data_Profunctor.dimap(dictProfunctor);
87 return function (dictProfunctor1) {
88 var dimap1 = Data_Profunctor.dimap(dictProfunctor1);
89 return function (f) {
90 return function (g) {
91 return function (dictProfunctor2) {
92 return withIso(f)(function (sa) {
93 return function (bt) {
94 return withIso(g)(function (ssaa) {
95 return function (bbtt) {
96 return iso(dimap(sa)(ssaa))(dimap1(bt)(bbtt))(dictProfunctor2);
97 };
98 });
99 };
100 });
101 };
102 };
103 };
104 };
105};
106var curried = function (dictProfunctor) {
107 return iso(Data_Tuple.curry)(Data_Tuple.uncurry)(dictProfunctor);
108};
109var coerced = function () {
110 return function () {
111 return function (dictProfunctor) {
112 return iso(coerce)(coerce)(dictProfunctor);
113 };
114 };
115};
116var cloneIso = function (l) {
117 return function (dictProfunctor) {
118 return withIso(l)(function (x) {
119 return function (y) {
120 return function (p) {
121 return iso(x)(y)(dictProfunctor)(p);
122 };
123 };
124 });
125 };
126};
127var auf = function (dictProfunctor) {
128 var rmap = Data_Profunctor.rmap(dictProfunctor);
129 return function (l) {
130 return withIso(l)(function (sa) {
131 return function (bt) {
132 return function (f) {
133 return function (g) {
134 return function (e) {
135 return bt(f(rmap(sa)(g))(e));
136 };
137 };
138 };
139 };
140 });
141 };
142};
143var au = function (l) {
144 return withIso(l)(function (sa) {
145 return function (bt) {
146 return function (f) {
147 return function (e) {
148 return sa(f(bt)(e));
149 };
150 };
151 };
152 });
153};
154export {
155 iso,
156 withIso,
157 cloneIso,
158 re,
159 au,
160 auf,
161 under,
162 non,
163 curried,
164 uncurried,
165 flipped,
166 mapping,
167 dimapping,
168 coerced
169};
170export {
171 Exchange,
172 Re
173} from "../Data.Lens.Types/index.js";
174//# sourceMappingURL=index.js.map