effect-app 4.0.0-beta.144 → 4.0.0-beta.146
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +12 -0
- package/dist/Operations.d.ts +969 -9
- package/dist/Operations.d.ts.map +1 -1
- package/dist/Schema/Class.d.ts +2 -2
- package/dist/Schema/Class.d.ts.map +1 -1
- package/dist/Schema.d.ts +9 -5
- package/dist/Schema.d.ts.map +1 -1
- package/dist/Schema.js +6 -6
- package/dist/utils.js +1 -1
- package/package.json +1 -1
- package/src/Schema.ts +16 -10
- package/src/utils.ts +1 -1
- package/test/special.test.ts +48 -0
package/dist/Operations.d.ts
CHANGED
|
@@ -62,7 +62,39 @@ declare const OperationProgress_base: import("effect/Schema").Opaque<OperationPr
|
|
|
62
62
|
readonly "~type.make": S.NonNegativeInt;
|
|
63
63
|
}>;
|
|
64
64
|
};
|
|
65
|
-
}
|
|
65
|
+
}> & {
|
|
66
|
+
readonly copy: {
|
|
67
|
+
<A extends InstanceType<new (_: any) => {
|
|
68
|
+
readonly completed: S.NonNegativeInt;
|
|
69
|
+
readonly total: S.NonNegativeInt;
|
|
70
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
71
|
+
readonly completed: S.NonNegativeInt;
|
|
72
|
+
readonly total: S.NonNegativeInt;
|
|
73
|
+
}>>>(f: (a: A) => { [K in keyof U & ("completed" | "total")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
74
|
+
<A extends InstanceType<new (_: any) => {
|
|
75
|
+
readonly completed: S.NonNegativeInt;
|
|
76
|
+
readonly total: S.NonNegativeInt;
|
|
77
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
78
|
+
readonly completed: S.NonNegativeInt;
|
|
79
|
+
readonly total: S.NonNegativeInt;
|
|
80
|
+
}>>>(updates: { [K in keyof U & ("completed" | "total")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
81
|
+
} & {
|
|
82
|
+
<A extends InstanceType<new (_: any) => {
|
|
83
|
+
readonly completed: S.NonNegativeInt;
|
|
84
|
+
readonly total: S.NonNegativeInt;
|
|
85
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
86
|
+
readonly completed: S.NonNegativeInt;
|
|
87
|
+
readonly total: S.NonNegativeInt;
|
|
88
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("completed" | "total")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
89
|
+
<A extends InstanceType<new (_: any) => {
|
|
90
|
+
readonly completed: S.NonNegativeInt;
|
|
91
|
+
readonly total: S.NonNegativeInt;
|
|
92
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
93
|
+
readonly completed: S.NonNegativeInt;
|
|
94
|
+
readonly total: S.NonNegativeInt;
|
|
95
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("completed" | "total")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
96
|
+
};
|
|
97
|
+
}, "Encoded"> & {
|
|
66
98
|
readonly Encoded: OperationProgress.Encoded;
|
|
67
99
|
}, {}> & Omit<import("effect/Schema").Struct<{
|
|
68
100
|
readonly completed: S.WithDefaults<Omit<S.brand<import("effect/Schema").Int, "Int" | "NonNegativeInt" | "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
@@ -103,7 +135,39 @@ declare const OperationProgress_base: import("effect/Schema").Opaque<OperationPr
|
|
|
103
135
|
readonly "~type.make": S.NonNegativeInt;
|
|
104
136
|
}>;
|
|
105
137
|
};
|
|
106
|
-
}
|
|
138
|
+
}> & {
|
|
139
|
+
readonly copy: {
|
|
140
|
+
<A extends InstanceType<new (_: any) => {
|
|
141
|
+
readonly completed: S.NonNegativeInt;
|
|
142
|
+
readonly total: S.NonNegativeInt;
|
|
143
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
144
|
+
readonly completed: S.NonNegativeInt;
|
|
145
|
+
readonly total: S.NonNegativeInt;
|
|
146
|
+
}>>>(f: (a: A) => { [K in keyof U & ("completed" | "total")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
147
|
+
<A extends InstanceType<new (_: any) => {
|
|
148
|
+
readonly completed: S.NonNegativeInt;
|
|
149
|
+
readonly total: S.NonNegativeInt;
|
|
150
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
151
|
+
readonly completed: S.NonNegativeInt;
|
|
152
|
+
readonly total: S.NonNegativeInt;
|
|
153
|
+
}>>>(updates: { [K in keyof U & ("completed" | "total")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
154
|
+
} & {
|
|
155
|
+
<A extends InstanceType<new (_: any) => {
|
|
156
|
+
readonly completed: S.NonNegativeInt;
|
|
157
|
+
readonly total: S.NonNegativeInt;
|
|
158
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
159
|
+
readonly completed: S.NonNegativeInt;
|
|
160
|
+
readonly total: S.NonNegativeInt;
|
|
161
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("completed" | "total")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
162
|
+
<A extends InstanceType<new (_: any) => {
|
|
163
|
+
readonly completed: S.NonNegativeInt;
|
|
164
|
+
readonly total: S.NonNegativeInt;
|
|
165
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
166
|
+
readonly completed: S.NonNegativeInt;
|
|
167
|
+
readonly total: S.NonNegativeInt;
|
|
168
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("completed" | "total")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
169
|
+
};
|
|
170
|
+
}, keyof S.Top>;
|
|
107
171
|
export declare class OperationProgress extends OperationProgress_base {
|
|
108
172
|
}
|
|
109
173
|
declare const OperationSuccess_base: import("effect/Schema").Opaque<OperationSuccess, Omit<import("effect/Schema").TaggedStruct<"OperationSuccess", {
|
|
@@ -116,7 +180,39 @@ declare const OperationSuccess_base: import("effect/Schema").Opaque<OperationSuc
|
|
|
116
180
|
readonly Iso: S.NonEmptyString2k;
|
|
117
181
|
readonly "~type.make": S.NonEmptyString2k;
|
|
118
182
|
}>>;
|
|
119
|
-
}
|
|
183
|
+
}> & {
|
|
184
|
+
readonly copy: {
|
|
185
|
+
<A extends InstanceType<new (_: any) => {
|
|
186
|
+
readonly _tag: "OperationSuccess";
|
|
187
|
+
readonly message: S.NonEmptyString2k | null;
|
|
188
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
189
|
+
readonly _tag: "OperationSuccess";
|
|
190
|
+
readonly message: S.NonEmptyString2k | null;
|
|
191
|
+
}>>>(f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
192
|
+
<A extends InstanceType<new (_: any) => {
|
|
193
|
+
readonly _tag: "OperationSuccess";
|
|
194
|
+
readonly message: S.NonEmptyString2k | null;
|
|
195
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
196
|
+
readonly _tag: "OperationSuccess";
|
|
197
|
+
readonly message: S.NonEmptyString2k | null;
|
|
198
|
+
}>>>(updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
199
|
+
} & {
|
|
200
|
+
<A extends InstanceType<new (_: any) => {
|
|
201
|
+
readonly _tag: "OperationSuccess";
|
|
202
|
+
readonly message: S.NonEmptyString2k | null;
|
|
203
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
204
|
+
readonly _tag: "OperationSuccess";
|
|
205
|
+
readonly message: S.NonEmptyString2k | null;
|
|
206
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
207
|
+
<A extends InstanceType<new (_: any) => {
|
|
208
|
+
readonly _tag: "OperationSuccess";
|
|
209
|
+
readonly message: S.NonEmptyString2k | null;
|
|
210
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
211
|
+
readonly _tag: "OperationSuccess";
|
|
212
|
+
readonly message: S.NonEmptyString2k | null;
|
|
213
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
214
|
+
};
|
|
215
|
+
}, "Encoded"> & {
|
|
120
216
|
readonly Encoded: OperationSuccess.Encoded;
|
|
121
217
|
}, {}> & Omit<import("effect/Schema").TaggedStruct<"OperationSuccess", {
|
|
122
218
|
readonly message: S.withConstructorDefault<import("effect/Schema").NullOr<S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
@@ -128,7 +224,39 @@ declare const OperationSuccess_base: import("effect/Schema").Opaque<OperationSuc
|
|
|
128
224
|
readonly Iso: S.NonEmptyString2k;
|
|
129
225
|
readonly "~type.make": S.NonEmptyString2k;
|
|
130
226
|
}>>;
|
|
131
|
-
}
|
|
227
|
+
}> & {
|
|
228
|
+
readonly copy: {
|
|
229
|
+
<A extends InstanceType<new (_: any) => {
|
|
230
|
+
readonly _tag: "OperationSuccess";
|
|
231
|
+
readonly message: S.NonEmptyString2k | null;
|
|
232
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
233
|
+
readonly _tag: "OperationSuccess";
|
|
234
|
+
readonly message: S.NonEmptyString2k | null;
|
|
235
|
+
}>>>(f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
236
|
+
<A extends InstanceType<new (_: any) => {
|
|
237
|
+
readonly _tag: "OperationSuccess";
|
|
238
|
+
readonly message: S.NonEmptyString2k | null;
|
|
239
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
240
|
+
readonly _tag: "OperationSuccess";
|
|
241
|
+
readonly message: S.NonEmptyString2k | null;
|
|
242
|
+
}>>>(updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
243
|
+
} & {
|
|
244
|
+
<A extends InstanceType<new (_: any) => {
|
|
245
|
+
readonly _tag: "OperationSuccess";
|
|
246
|
+
readonly message: S.NonEmptyString2k | null;
|
|
247
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
248
|
+
readonly _tag: "OperationSuccess";
|
|
249
|
+
readonly message: S.NonEmptyString2k | null;
|
|
250
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
251
|
+
<A extends InstanceType<new (_: any) => {
|
|
252
|
+
readonly _tag: "OperationSuccess";
|
|
253
|
+
readonly message: S.NonEmptyString2k | null;
|
|
254
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
255
|
+
readonly _tag: "OperationSuccess";
|
|
256
|
+
readonly message: S.NonEmptyString2k | null;
|
|
257
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
258
|
+
};
|
|
259
|
+
}, keyof S.Top>;
|
|
132
260
|
export declare class OperationSuccess extends OperationSuccess_base {
|
|
133
261
|
}
|
|
134
262
|
declare const OperationFailure_base: import("effect/Schema").Opaque<OperationFailure, Omit<import("effect/Schema").TaggedStruct<"OperationFailure", {
|
|
@@ -141,7 +269,39 @@ declare const OperationFailure_base: import("effect/Schema").Opaque<OperationFai
|
|
|
141
269
|
readonly Iso: S.NonEmptyString2k;
|
|
142
270
|
readonly "~type.make": S.NonEmptyString2k;
|
|
143
271
|
}>>;
|
|
144
|
-
}
|
|
272
|
+
}> & {
|
|
273
|
+
readonly copy: {
|
|
274
|
+
<A extends InstanceType<new (_: any) => {
|
|
275
|
+
readonly _tag: "OperationFailure";
|
|
276
|
+
readonly message: S.NonEmptyString2k | null;
|
|
277
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
278
|
+
readonly _tag: "OperationFailure";
|
|
279
|
+
readonly message: S.NonEmptyString2k | null;
|
|
280
|
+
}>>>(f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
281
|
+
<A extends InstanceType<new (_: any) => {
|
|
282
|
+
readonly _tag: "OperationFailure";
|
|
283
|
+
readonly message: S.NonEmptyString2k | null;
|
|
284
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
285
|
+
readonly _tag: "OperationFailure";
|
|
286
|
+
readonly message: S.NonEmptyString2k | null;
|
|
287
|
+
}>>>(updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
288
|
+
} & {
|
|
289
|
+
<A extends InstanceType<new (_: any) => {
|
|
290
|
+
readonly _tag: "OperationFailure";
|
|
291
|
+
readonly message: S.NonEmptyString2k | null;
|
|
292
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
293
|
+
readonly _tag: "OperationFailure";
|
|
294
|
+
readonly message: S.NonEmptyString2k | null;
|
|
295
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
296
|
+
<A extends InstanceType<new (_: any) => {
|
|
297
|
+
readonly _tag: "OperationFailure";
|
|
298
|
+
readonly message: S.NonEmptyString2k | null;
|
|
299
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
300
|
+
readonly _tag: "OperationFailure";
|
|
301
|
+
readonly message: S.NonEmptyString2k | null;
|
|
302
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
303
|
+
};
|
|
304
|
+
}, "Encoded"> & {
|
|
145
305
|
readonly Encoded: OperationFailure.Encoded;
|
|
146
306
|
}, {}> & Omit<import("effect/Schema").TaggedStruct<"OperationFailure", {
|
|
147
307
|
readonly message: S.withConstructorDefault<import("effect/Schema").NullOr<S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
@@ -153,7 +313,39 @@ declare const OperationFailure_base: import("effect/Schema").Opaque<OperationFai
|
|
|
153
313
|
readonly Iso: S.NonEmptyString2k;
|
|
154
314
|
readonly "~type.make": S.NonEmptyString2k;
|
|
155
315
|
}>>;
|
|
156
|
-
}
|
|
316
|
+
}> & {
|
|
317
|
+
readonly copy: {
|
|
318
|
+
<A extends InstanceType<new (_: any) => {
|
|
319
|
+
readonly _tag: "OperationFailure";
|
|
320
|
+
readonly message: S.NonEmptyString2k | null;
|
|
321
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
322
|
+
readonly _tag: "OperationFailure";
|
|
323
|
+
readonly message: S.NonEmptyString2k | null;
|
|
324
|
+
}>>>(f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
325
|
+
<A extends InstanceType<new (_: any) => {
|
|
326
|
+
readonly _tag: "OperationFailure";
|
|
327
|
+
readonly message: S.NonEmptyString2k | null;
|
|
328
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
329
|
+
readonly _tag: "OperationFailure";
|
|
330
|
+
readonly message: S.NonEmptyString2k | null;
|
|
331
|
+
}>>>(updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
332
|
+
} & {
|
|
333
|
+
<A extends InstanceType<new (_: any) => {
|
|
334
|
+
readonly _tag: "OperationFailure";
|
|
335
|
+
readonly message: S.NonEmptyString2k | null;
|
|
336
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
337
|
+
readonly _tag: "OperationFailure";
|
|
338
|
+
readonly message: S.NonEmptyString2k | null;
|
|
339
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
340
|
+
<A extends InstanceType<new (_: any) => {
|
|
341
|
+
readonly _tag: "OperationFailure";
|
|
342
|
+
readonly message: S.NonEmptyString2k | null;
|
|
343
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
344
|
+
readonly _tag: "OperationFailure";
|
|
345
|
+
readonly message: S.NonEmptyString2k | null;
|
|
346
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("_tag" | "message")]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
347
|
+
};
|
|
348
|
+
}, keyof S.Top>;
|
|
157
349
|
export declare class OperationFailure extends OperationFailure_base {
|
|
158
350
|
}
|
|
159
351
|
export declare const OperationResult: S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
@@ -278,7 +470,391 @@ declare const Operation_base: import("effect/Schema").Opaque<Operation, Omit<imp
|
|
|
278
470
|
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
279
471
|
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
280
472
|
}>>;
|
|
281
|
-
}
|
|
473
|
+
}> & {
|
|
474
|
+
readonly copy: {
|
|
475
|
+
<A extends InstanceType<new (_: any) => {
|
|
476
|
+
readonly createdAt: Date;
|
|
477
|
+
readonly id: S.StringId;
|
|
478
|
+
readonly progress?: OperationProgress | undefined;
|
|
479
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
480
|
+
readonly title: S.NonEmptyString2k;
|
|
481
|
+
readonly updatedAt: Date | null;
|
|
482
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
483
|
+
readonly createdAt: Date;
|
|
484
|
+
readonly id: S.StringId;
|
|
485
|
+
readonly progress?: OperationProgress | undefined;
|
|
486
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
487
|
+
readonly title: S.NonEmptyString2k;
|
|
488
|
+
readonly updatedAt: Date | null;
|
|
489
|
+
}>>>(f: (a: A) => { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
490
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
491
|
+
readonly Type: S.StringId;
|
|
492
|
+
readonly Iso: S.StringId;
|
|
493
|
+
readonly "~type.make": S.StringId;
|
|
494
|
+
} & {
|
|
495
|
+
make: () => S.StringId;
|
|
496
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
497
|
+
readonly Type: S.StringId;
|
|
498
|
+
readonly Iso: S.StringId;
|
|
499
|
+
readonly "~type.make": S.StringId;
|
|
500
|
+
}>;
|
|
501
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
502
|
+
readonly Type: S.StringId;
|
|
503
|
+
readonly Iso: S.StringId;
|
|
504
|
+
readonly "~type.make": S.StringId;
|
|
505
|
+
} & {
|
|
506
|
+
make: () => S.StringId;
|
|
507
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
508
|
+
readonly Type: S.StringId;
|
|
509
|
+
readonly Iso: S.StringId;
|
|
510
|
+
readonly "~type.make": S.StringId;
|
|
511
|
+
}>;
|
|
512
|
+
};
|
|
513
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
514
|
+
readonly Type: S.NonEmptyString2k;
|
|
515
|
+
readonly Iso: S.NonEmptyString2k;
|
|
516
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
517
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
518
|
+
readonly Type: S.NonEmptyString2k;
|
|
519
|
+
readonly Iso: S.NonEmptyString2k;
|
|
520
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
521
|
+
};
|
|
522
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
523
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
524
|
+
readonly cases: {
|
|
525
|
+
OperationFailure: typeof OperationFailure;
|
|
526
|
+
OperationSuccess: typeof OperationSuccess;
|
|
527
|
+
};
|
|
528
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
529
|
+
_tag: Keys;
|
|
530
|
+
}> | Extract<OperationSuccess, {
|
|
531
|
+
_tag: Keys;
|
|
532
|
+
}>;
|
|
533
|
+
readonly guards: {
|
|
534
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
535
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
536
|
+
};
|
|
537
|
+
readonly match: {
|
|
538
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
539
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
540
|
+
};
|
|
541
|
+
} & {
|
|
542
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
543
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
544
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
545
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
546
|
+
} & {
|
|
547
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
548
|
+
readonly _tag: Tags[number];
|
|
549
|
+
}> | Extract<OperationSuccess, {
|
|
550
|
+
readonly _tag: Tags[number];
|
|
551
|
+
}>; };
|
|
552
|
+
};
|
|
553
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
554
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
555
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
556
|
+
} & {
|
|
557
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
558
|
+
readonly _tag: Tags[number];
|
|
559
|
+
}> | Extract<OperationSuccess, {
|
|
560
|
+
readonly _tag: Tags[number];
|
|
561
|
+
}>; };
|
|
562
|
+
};
|
|
563
|
+
}>;
|
|
564
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
565
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
566
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
567
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
568
|
+
}>>;
|
|
569
|
+
}>)]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
570
|
+
<A extends InstanceType<new (_: any) => {
|
|
571
|
+
readonly createdAt: Date;
|
|
572
|
+
readonly id: S.StringId;
|
|
573
|
+
readonly progress?: OperationProgress | undefined;
|
|
574
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
575
|
+
readonly title: S.NonEmptyString2k;
|
|
576
|
+
readonly updatedAt: Date | null;
|
|
577
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
578
|
+
readonly createdAt: Date;
|
|
579
|
+
readonly id: S.StringId;
|
|
580
|
+
readonly progress?: OperationProgress | undefined;
|
|
581
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
582
|
+
readonly title: S.NonEmptyString2k;
|
|
583
|
+
readonly updatedAt: Date | null;
|
|
584
|
+
}>>>(updates: { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
585
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
586
|
+
readonly Type: S.StringId;
|
|
587
|
+
readonly Iso: S.StringId;
|
|
588
|
+
readonly "~type.make": S.StringId;
|
|
589
|
+
} & {
|
|
590
|
+
make: () => S.StringId;
|
|
591
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
592
|
+
readonly Type: S.StringId;
|
|
593
|
+
readonly Iso: S.StringId;
|
|
594
|
+
readonly "~type.make": S.StringId;
|
|
595
|
+
}>;
|
|
596
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
597
|
+
readonly Type: S.StringId;
|
|
598
|
+
readonly Iso: S.StringId;
|
|
599
|
+
readonly "~type.make": S.StringId;
|
|
600
|
+
} & {
|
|
601
|
+
make: () => S.StringId;
|
|
602
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
603
|
+
readonly Type: S.StringId;
|
|
604
|
+
readonly Iso: S.StringId;
|
|
605
|
+
readonly "~type.make": S.StringId;
|
|
606
|
+
}>;
|
|
607
|
+
};
|
|
608
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
609
|
+
readonly Type: S.NonEmptyString2k;
|
|
610
|
+
readonly Iso: S.NonEmptyString2k;
|
|
611
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
612
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
613
|
+
readonly Type: S.NonEmptyString2k;
|
|
614
|
+
readonly Iso: S.NonEmptyString2k;
|
|
615
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
616
|
+
};
|
|
617
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
618
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
619
|
+
readonly cases: {
|
|
620
|
+
OperationFailure: typeof OperationFailure;
|
|
621
|
+
OperationSuccess: typeof OperationSuccess;
|
|
622
|
+
};
|
|
623
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
624
|
+
_tag: Keys;
|
|
625
|
+
}> | Extract<OperationSuccess, {
|
|
626
|
+
_tag: Keys;
|
|
627
|
+
}>;
|
|
628
|
+
readonly guards: {
|
|
629
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
630
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
631
|
+
};
|
|
632
|
+
readonly match: {
|
|
633
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
634
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
635
|
+
};
|
|
636
|
+
} & {
|
|
637
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
638
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
639
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
640
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
641
|
+
} & {
|
|
642
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
643
|
+
readonly _tag: Tags[number];
|
|
644
|
+
}> | Extract<OperationSuccess, {
|
|
645
|
+
readonly _tag: Tags[number];
|
|
646
|
+
}>; };
|
|
647
|
+
};
|
|
648
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
649
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
650
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
651
|
+
} & {
|
|
652
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
653
|
+
readonly _tag: Tags[number];
|
|
654
|
+
}> | Extract<OperationSuccess, {
|
|
655
|
+
readonly _tag: Tags[number];
|
|
656
|
+
}>; };
|
|
657
|
+
};
|
|
658
|
+
}>;
|
|
659
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
660
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
661
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
662
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
663
|
+
}>>;
|
|
664
|
+
}>)]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
665
|
+
} & {
|
|
666
|
+
<A extends InstanceType<new (_: any) => {
|
|
667
|
+
readonly createdAt: Date;
|
|
668
|
+
readonly id: S.StringId;
|
|
669
|
+
readonly progress?: OperationProgress | undefined;
|
|
670
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
671
|
+
readonly title: S.NonEmptyString2k;
|
|
672
|
+
readonly updatedAt: Date | null;
|
|
673
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
674
|
+
readonly createdAt: Date;
|
|
675
|
+
readonly id: S.StringId;
|
|
676
|
+
readonly progress?: OperationProgress | undefined;
|
|
677
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
678
|
+
readonly title: S.NonEmptyString2k;
|
|
679
|
+
readonly updatedAt: Date | null;
|
|
680
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
681
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
682
|
+
readonly Type: S.StringId;
|
|
683
|
+
readonly Iso: S.StringId;
|
|
684
|
+
readonly "~type.make": S.StringId;
|
|
685
|
+
} & {
|
|
686
|
+
make: () => S.StringId;
|
|
687
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
688
|
+
readonly Type: S.StringId;
|
|
689
|
+
readonly Iso: S.StringId;
|
|
690
|
+
readonly "~type.make": S.StringId;
|
|
691
|
+
}>;
|
|
692
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
693
|
+
readonly Type: S.StringId;
|
|
694
|
+
readonly Iso: S.StringId;
|
|
695
|
+
readonly "~type.make": S.StringId;
|
|
696
|
+
} & {
|
|
697
|
+
make: () => S.StringId;
|
|
698
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
699
|
+
readonly Type: S.StringId;
|
|
700
|
+
readonly Iso: S.StringId;
|
|
701
|
+
readonly "~type.make": S.StringId;
|
|
702
|
+
}>;
|
|
703
|
+
};
|
|
704
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
705
|
+
readonly Type: S.NonEmptyString2k;
|
|
706
|
+
readonly Iso: S.NonEmptyString2k;
|
|
707
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
708
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
709
|
+
readonly Type: S.NonEmptyString2k;
|
|
710
|
+
readonly Iso: S.NonEmptyString2k;
|
|
711
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
712
|
+
};
|
|
713
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
714
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
715
|
+
readonly cases: {
|
|
716
|
+
OperationFailure: typeof OperationFailure;
|
|
717
|
+
OperationSuccess: typeof OperationSuccess;
|
|
718
|
+
};
|
|
719
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
720
|
+
_tag: Keys;
|
|
721
|
+
}> | Extract<OperationSuccess, {
|
|
722
|
+
_tag: Keys;
|
|
723
|
+
}>;
|
|
724
|
+
readonly guards: {
|
|
725
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
726
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
727
|
+
};
|
|
728
|
+
readonly match: {
|
|
729
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
730
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
731
|
+
};
|
|
732
|
+
} & {
|
|
733
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
734
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
735
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
736
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
737
|
+
} & {
|
|
738
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
739
|
+
readonly _tag: Tags[number];
|
|
740
|
+
}> | Extract<OperationSuccess, {
|
|
741
|
+
readonly _tag: Tags[number];
|
|
742
|
+
}>; };
|
|
743
|
+
};
|
|
744
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
745
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
746
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
747
|
+
} & {
|
|
748
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
749
|
+
readonly _tag: Tags[number];
|
|
750
|
+
}> | Extract<OperationSuccess, {
|
|
751
|
+
readonly _tag: Tags[number];
|
|
752
|
+
}>; };
|
|
753
|
+
};
|
|
754
|
+
}>;
|
|
755
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
756
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
757
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
758
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
759
|
+
}>>;
|
|
760
|
+
}>)]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
761
|
+
<A extends InstanceType<new (_: any) => {
|
|
762
|
+
readonly createdAt: Date;
|
|
763
|
+
readonly id: S.StringId;
|
|
764
|
+
readonly progress?: OperationProgress | undefined;
|
|
765
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
766
|
+
readonly title: S.NonEmptyString2k;
|
|
767
|
+
readonly updatedAt: Date | null;
|
|
768
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
769
|
+
readonly createdAt: Date;
|
|
770
|
+
readonly id: S.StringId;
|
|
771
|
+
readonly progress?: OperationProgress | undefined;
|
|
772
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
773
|
+
readonly title: S.NonEmptyString2k;
|
|
774
|
+
readonly updatedAt: Date | null;
|
|
775
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
776
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
777
|
+
readonly Type: S.StringId;
|
|
778
|
+
readonly Iso: S.StringId;
|
|
779
|
+
readonly "~type.make": S.StringId;
|
|
780
|
+
} & {
|
|
781
|
+
make: () => S.StringId;
|
|
782
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
783
|
+
readonly Type: S.StringId;
|
|
784
|
+
readonly Iso: S.StringId;
|
|
785
|
+
readonly "~type.make": S.StringId;
|
|
786
|
+
}>;
|
|
787
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
788
|
+
readonly Type: S.StringId;
|
|
789
|
+
readonly Iso: S.StringId;
|
|
790
|
+
readonly "~type.make": S.StringId;
|
|
791
|
+
} & {
|
|
792
|
+
make: () => S.StringId;
|
|
793
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
794
|
+
readonly Type: S.StringId;
|
|
795
|
+
readonly Iso: S.StringId;
|
|
796
|
+
readonly "~type.make": S.StringId;
|
|
797
|
+
}>;
|
|
798
|
+
};
|
|
799
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
800
|
+
readonly Type: S.NonEmptyString2k;
|
|
801
|
+
readonly Iso: S.NonEmptyString2k;
|
|
802
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
803
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
804
|
+
readonly Type: S.NonEmptyString2k;
|
|
805
|
+
readonly Iso: S.NonEmptyString2k;
|
|
806
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
807
|
+
};
|
|
808
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
809
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
810
|
+
readonly cases: {
|
|
811
|
+
OperationFailure: typeof OperationFailure;
|
|
812
|
+
OperationSuccess: typeof OperationSuccess;
|
|
813
|
+
};
|
|
814
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
815
|
+
_tag: Keys;
|
|
816
|
+
}> | Extract<OperationSuccess, {
|
|
817
|
+
_tag: Keys;
|
|
818
|
+
}>;
|
|
819
|
+
readonly guards: {
|
|
820
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
821
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
822
|
+
};
|
|
823
|
+
readonly match: {
|
|
824
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
825
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
826
|
+
};
|
|
827
|
+
} & {
|
|
828
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
829
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
830
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
831
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
832
|
+
} & {
|
|
833
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
834
|
+
readonly _tag: Tags[number];
|
|
835
|
+
}> | Extract<OperationSuccess, {
|
|
836
|
+
readonly _tag: Tags[number];
|
|
837
|
+
}>; };
|
|
838
|
+
};
|
|
839
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
840
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
841
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
842
|
+
} & {
|
|
843
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
844
|
+
readonly _tag: Tags[number];
|
|
845
|
+
}> | Extract<OperationSuccess, {
|
|
846
|
+
readonly _tag: Tags[number];
|
|
847
|
+
}>; };
|
|
848
|
+
};
|
|
849
|
+
}>;
|
|
850
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
851
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
852
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
853
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
854
|
+
}>>;
|
|
855
|
+
}>)]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
856
|
+
};
|
|
857
|
+
}, "Encoded"> & {
|
|
282
858
|
readonly Encoded: Operation.Encoded;
|
|
283
859
|
}, {}> & Omit<import("effect/Schema").Struct<{
|
|
284
860
|
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
@@ -360,7 +936,391 @@ declare const Operation_base: import("effect/Schema").Opaque<Operation, Omit<imp
|
|
|
360
936
|
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
361
937
|
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
362
938
|
}>>;
|
|
363
|
-
}
|
|
939
|
+
}> & {
|
|
940
|
+
readonly copy: {
|
|
941
|
+
<A extends InstanceType<new (_: any) => {
|
|
942
|
+
readonly createdAt: Date;
|
|
943
|
+
readonly id: S.StringId;
|
|
944
|
+
readonly progress?: OperationProgress | undefined;
|
|
945
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
946
|
+
readonly title: S.NonEmptyString2k;
|
|
947
|
+
readonly updatedAt: Date | null;
|
|
948
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
949
|
+
readonly createdAt: Date;
|
|
950
|
+
readonly id: S.StringId;
|
|
951
|
+
readonly progress?: OperationProgress | undefined;
|
|
952
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
953
|
+
readonly title: S.NonEmptyString2k;
|
|
954
|
+
readonly updatedAt: Date | null;
|
|
955
|
+
}>>>(f: (a: A) => { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
956
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
957
|
+
readonly Type: S.StringId;
|
|
958
|
+
readonly Iso: S.StringId;
|
|
959
|
+
readonly "~type.make": S.StringId;
|
|
960
|
+
} & {
|
|
961
|
+
make: () => S.StringId;
|
|
962
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
963
|
+
readonly Type: S.StringId;
|
|
964
|
+
readonly Iso: S.StringId;
|
|
965
|
+
readonly "~type.make": S.StringId;
|
|
966
|
+
}>;
|
|
967
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
968
|
+
readonly Type: S.StringId;
|
|
969
|
+
readonly Iso: S.StringId;
|
|
970
|
+
readonly "~type.make": S.StringId;
|
|
971
|
+
} & {
|
|
972
|
+
make: () => S.StringId;
|
|
973
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
974
|
+
readonly Type: S.StringId;
|
|
975
|
+
readonly Iso: S.StringId;
|
|
976
|
+
readonly "~type.make": S.StringId;
|
|
977
|
+
}>;
|
|
978
|
+
};
|
|
979
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
980
|
+
readonly Type: S.NonEmptyString2k;
|
|
981
|
+
readonly Iso: S.NonEmptyString2k;
|
|
982
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
983
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
984
|
+
readonly Type: S.NonEmptyString2k;
|
|
985
|
+
readonly Iso: S.NonEmptyString2k;
|
|
986
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
987
|
+
};
|
|
988
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
989
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
990
|
+
readonly cases: {
|
|
991
|
+
OperationFailure: typeof OperationFailure;
|
|
992
|
+
OperationSuccess: typeof OperationSuccess;
|
|
993
|
+
};
|
|
994
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
995
|
+
_tag: Keys;
|
|
996
|
+
}> | Extract<OperationSuccess, {
|
|
997
|
+
_tag: Keys;
|
|
998
|
+
}>;
|
|
999
|
+
readonly guards: {
|
|
1000
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
1001
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
1002
|
+
};
|
|
1003
|
+
readonly match: {
|
|
1004
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1005
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1006
|
+
};
|
|
1007
|
+
} & {
|
|
1008
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
1009
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
1010
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
1011
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
1012
|
+
} & {
|
|
1013
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
1014
|
+
readonly _tag: Tags[number];
|
|
1015
|
+
}> | Extract<OperationSuccess, {
|
|
1016
|
+
readonly _tag: Tags[number];
|
|
1017
|
+
}>; };
|
|
1018
|
+
};
|
|
1019
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
1020
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
1021
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
1022
|
+
} & {
|
|
1023
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
1024
|
+
readonly _tag: Tags[number];
|
|
1025
|
+
}> | Extract<OperationSuccess, {
|
|
1026
|
+
readonly _tag: Tags[number];
|
|
1027
|
+
}>; };
|
|
1028
|
+
};
|
|
1029
|
+
}>;
|
|
1030
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
1031
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
1032
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
1033
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
1034
|
+
}>>;
|
|
1035
|
+
}>)]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
1036
|
+
<A extends InstanceType<new (_: any) => {
|
|
1037
|
+
readonly createdAt: Date;
|
|
1038
|
+
readonly id: S.StringId;
|
|
1039
|
+
readonly progress?: OperationProgress | undefined;
|
|
1040
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1041
|
+
readonly title: S.NonEmptyString2k;
|
|
1042
|
+
readonly updatedAt: Date | null;
|
|
1043
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
1044
|
+
readonly createdAt: Date;
|
|
1045
|
+
readonly id: S.StringId;
|
|
1046
|
+
readonly progress?: OperationProgress | undefined;
|
|
1047
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1048
|
+
readonly title: S.NonEmptyString2k;
|
|
1049
|
+
readonly updatedAt: Date | null;
|
|
1050
|
+
}>>>(updates: { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
1051
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1052
|
+
readonly Type: S.StringId;
|
|
1053
|
+
readonly Iso: S.StringId;
|
|
1054
|
+
readonly "~type.make": S.StringId;
|
|
1055
|
+
} & {
|
|
1056
|
+
make: () => S.StringId;
|
|
1057
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1058
|
+
readonly Type: S.StringId;
|
|
1059
|
+
readonly Iso: S.StringId;
|
|
1060
|
+
readonly "~type.make": S.StringId;
|
|
1061
|
+
}>;
|
|
1062
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1063
|
+
readonly Type: S.StringId;
|
|
1064
|
+
readonly Iso: S.StringId;
|
|
1065
|
+
readonly "~type.make": S.StringId;
|
|
1066
|
+
} & {
|
|
1067
|
+
make: () => S.StringId;
|
|
1068
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1069
|
+
readonly Type: S.StringId;
|
|
1070
|
+
readonly Iso: S.StringId;
|
|
1071
|
+
readonly "~type.make": S.StringId;
|
|
1072
|
+
}>;
|
|
1073
|
+
};
|
|
1074
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1075
|
+
readonly Type: S.NonEmptyString2k;
|
|
1076
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1077
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1078
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1079
|
+
readonly Type: S.NonEmptyString2k;
|
|
1080
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1081
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1082
|
+
};
|
|
1083
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
1084
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
1085
|
+
readonly cases: {
|
|
1086
|
+
OperationFailure: typeof OperationFailure;
|
|
1087
|
+
OperationSuccess: typeof OperationSuccess;
|
|
1088
|
+
};
|
|
1089
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
1090
|
+
_tag: Keys;
|
|
1091
|
+
}> | Extract<OperationSuccess, {
|
|
1092
|
+
_tag: Keys;
|
|
1093
|
+
}>;
|
|
1094
|
+
readonly guards: {
|
|
1095
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
1096
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
1097
|
+
};
|
|
1098
|
+
readonly match: {
|
|
1099
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1100
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1101
|
+
};
|
|
1102
|
+
} & {
|
|
1103
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
1104
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
1105
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
1106
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
1107
|
+
} & {
|
|
1108
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
1109
|
+
readonly _tag: Tags[number];
|
|
1110
|
+
}> | Extract<OperationSuccess, {
|
|
1111
|
+
readonly _tag: Tags[number];
|
|
1112
|
+
}>; };
|
|
1113
|
+
};
|
|
1114
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
1115
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
1116
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
1117
|
+
} & {
|
|
1118
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
1119
|
+
readonly _tag: Tags[number];
|
|
1120
|
+
}> | Extract<OperationSuccess, {
|
|
1121
|
+
readonly _tag: Tags[number];
|
|
1122
|
+
}>; };
|
|
1123
|
+
};
|
|
1124
|
+
}>;
|
|
1125
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
1126
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
1127
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
1128
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
1129
|
+
}>>;
|
|
1130
|
+
}>)]?: U[K]; }): (self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A) => { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
1131
|
+
} & {
|
|
1132
|
+
<A extends InstanceType<new (_: any) => {
|
|
1133
|
+
readonly createdAt: Date;
|
|
1134
|
+
readonly id: S.StringId;
|
|
1135
|
+
readonly progress?: OperationProgress | undefined;
|
|
1136
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1137
|
+
readonly title: S.NonEmptyString2k;
|
|
1138
|
+
readonly updatedAt: Date | null;
|
|
1139
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
1140
|
+
readonly createdAt: Date;
|
|
1141
|
+
readonly id: S.StringId;
|
|
1142
|
+
readonly progress?: OperationProgress | undefined;
|
|
1143
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1144
|
+
readonly title: S.NonEmptyString2k;
|
|
1145
|
+
readonly updatedAt: Date | null;
|
|
1146
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, f: (a: A) => { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
1147
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1148
|
+
readonly Type: S.StringId;
|
|
1149
|
+
readonly Iso: S.StringId;
|
|
1150
|
+
readonly "~type.make": S.StringId;
|
|
1151
|
+
} & {
|
|
1152
|
+
make: () => S.StringId;
|
|
1153
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1154
|
+
readonly Type: S.StringId;
|
|
1155
|
+
readonly Iso: S.StringId;
|
|
1156
|
+
readonly "~type.make": S.StringId;
|
|
1157
|
+
}>;
|
|
1158
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1159
|
+
readonly Type: S.StringId;
|
|
1160
|
+
readonly Iso: S.StringId;
|
|
1161
|
+
readonly "~type.make": S.StringId;
|
|
1162
|
+
} & {
|
|
1163
|
+
make: () => S.StringId;
|
|
1164
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1165
|
+
readonly Type: S.StringId;
|
|
1166
|
+
readonly Iso: S.StringId;
|
|
1167
|
+
readonly "~type.make": S.StringId;
|
|
1168
|
+
}>;
|
|
1169
|
+
};
|
|
1170
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1171
|
+
readonly Type: S.NonEmptyString2k;
|
|
1172
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1173
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1174
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1175
|
+
readonly Type: S.NonEmptyString2k;
|
|
1176
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1177
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1178
|
+
};
|
|
1179
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
1180
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
1181
|
+
readonly cases: {
|
|
1182
|
+
OperationFailure: typeof OperationFailure;
|
|
1183
|
+
OperationSuccess: typeof OperationSuccess;
|
|
1184
|
+
};
|
|
1185
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
1186
|
+
_tag: Keys;
|
|
1187
|
+
}> | Extract<OperationSuccess, {
|
|
1188
|
+
_tag: Keys;
|
|
1189
|
+
}>;
|
|
1190
|
+
readonly guards: {
|
|
1191
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
1192
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
1193
|
+
};
|
|
1194
|
+
readonly match: {
|
|
1195
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1196
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1197
|
+
};
|
|
1198
|
+
} & {
|
|
1199
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
1200
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
1201
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
1202
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
1203
|
+
} & {
|
|
1204
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
1205
|
+
readonly _tag: Tags[number];
|
|
1206
|
+
}> | Extract<OperationSuccess, {
|
|
1207
|
+
readonly _tag: Tags[number];
|
|
1208
|
+
}>; };
|
|
1209
|
+
};
|
|
1210
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
1211
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
1212
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
1213
|
+
} & {
|
|
1214
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
1215
|
+
readonly _tag: Tags[number];
|
|
1216
|
+
}> | Extract<OperationSuccess, {
|
|
1217
|
+
readonly _tag: Tags[number];
|
|
1218
|
+
}>; };
|
|
1219
|
+
};
|
|
1220
|
+
}>;
|
|
1221
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
1222
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
1223
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
1224
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
1225
|
+
}>>;
|
|
1226
|
+
}>)]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
1227
|
+
<A extends InstanceType<new (_: any) => {
|
|
1228
|
+
readonly createdAt: Date;
|
|
1229
|
+
readonly id: S.StringId;
|
|
1230
|
+
readonly progress?: OperationProgress | undefined;
|
|
1231
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1232
|
+
readonly title: S.NonEmptyString2k;
|
|
1233
|
+
readonly updatedAt: Date | null;
|
|
1234
|
+
}>, U extends Partial<InstanceType<new (_: any) => {
|
|
1235
|
+
readonly createdAt: Date;
|
|
1236
|
+
readonly id: S.StringId;
|
|
1237
|
+
readonly progress?: OperationProgress | undefined;
|
|
1238
|
+
readonly result?: OperationFailure | OperationSuccess | undefined;
|
|
1239
|
+
readonly title: S.NonEmptyString2k;
|
|
1240
|
+
readonly updatedAt: Date | null;
|
|
1241
|
+
}>>>(self: import("effect/Types").Equals<{}, U> extends true ? import("effect/Types").Equals<never, keyof U> extends true ? "updates argument is empty or contains only extra properties" : A : A, updates: { [K in keyof U & ("createdAt" | "id" | "title" | "updatedAt" | import("effect/Schema").Struct.TypeOptionalKeys<{
|
|
1242
|
+
readonly id: S.WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1243
|
+
readonly Type: S.StringId;
|
|
1244
|
+
readonly Iso: S.StringId;
|
|
1245
|
+
readonly "~type.make": S.StringId;
|
|
1246
|
+
} & {
|
|
1247
|
+
make: () => S.StringId;
|
|
1248
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1249
|
+
readonly Type: S.StringId;
|
|
1250
|
+
readonly Iso: S.StringId;
|
|
1251
|
+
readonly "~type.make": S.StringId;
|
|
1252
|
+
}>;
|
|
1253
|
+
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1254
|
+
readonly Type: S.StringId;
|
|
1255
|
+
readonly Iso: S.StringId;
|
|
1256
|
+
readonly "~type.make": S.StringId;
|
|
1257
|
+
} & {
|
|
1258
|
+
make: () => S.StringId;
|
|
1259
|
+
withDefault: S.withConstructorDefault<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
1260
|
+
readonly Type: S.StringId;
|
|
1261
|
+
readonly Iso: S.StringId;
|
|
1262
|
+
readonly "~type.make": S.StringId;
|
|
1263
|
+
}>;
|
|
1264
|
+
};
|
|
1265
|
+
readonly title: S.WithDefaults<Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1266
|
+
readonly Type: S.NonEmptyString2k;
|
|
1267
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1268
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1269
|
+
}> & Omit<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
1270
|
+
readonly Type: S.NonEmptyString2k;
|
|
1271
|
+
readonly Iso: S.NonEmptyString2k;
|
|
1272
|
+
readonly "~type.make": S.NonEmptyString2k;
|
|
1273
|
+
};
|
|
1274
|
+
readonly progress: S.optional<typeof OperationProgress>;
|
|
1275
|
+
readonly result: S.optional<S.Union<[typeof OperationSuccess, typeof OperationFailure]> & {
|
|
1276
|
+
readonly cases: {
|
|
1277
|
+
OperationFailure: typeof OperationFailure;
|
|
1278
|
+
OperationSuccess: typeof OperationSuccess;
|
|
1279
|
+
};
|
|
1280
|
+
readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: OperationFailure | OperationSuccess) => value is Extract<OperationFailure, {
|
|
1281
|
+
_tag: Keys;
|
|
1282
|
+
}> | Extract<OperationSuccess, {
|
|
1283
|
+
_tag: Keys;
|
|
1284
|
+
}>;
|
|
1285
|
+
readonly guards: {
|
|
1286
|
+
OperationFailure: (u: unknown) => u is OperationFailure;
|
|
1287
|
+
OperationSuccess: (u: unknown) => u is OperationSuccess;
|
|
1288
|
+
};
|
|
1289
|
+
readonly match: {
|
|
1290
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(value: OperationFailure | OperationSuccess, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1291
|
+
<Cases extends { [M in typeof OperationSuccess | typeof OperationFailure as M["Type"]["_tag"]]: (value: M["Type"]) => any; }>(cases: Cases): (value: OperationFailure | OperationSuccess) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
|
|
1292
|
+
};
|
|
1293
|
+
} & {
|
|
1294
|
+
readonly tags: import("effect/Schema").Literals<["OperationSuccess", "OperationFailure"]>;
|
|
1295
|
+
readonly generateGuards: <K extends string>(property: K) => {
|
|
1296
|
+
readonly isOperationFailure: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationFailure; };
|
|
1297
|
+
readonly isOperationSuccess: <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: OperationSuccess; };
|
|
1298
|
+
} & {
|
|
1299
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => <T extends { readonly [P in K]: OperationFailure | OperationSuccess; }>(target: T) => target is T & { readonly [P in K]: Extract<OperationFailure, {
|
|
1300
|
+
readonly _tag: Tags[number];
|
|
1301
|
+
}> | Extract<OperationSuccess, {
|
|
1302
|
+
readonly _tag: Tags[number];
|
|
1303
|
+
}>; };
|
|
1304
|
+
};
|
|
1305
|
+
readonly generateGuardsFor: <A_1>() => <K extends { [K_1 in keyof A_1 & string]: A_1[K_1] extends OperationFailure | OperationSuccess ? K_1 : never; }[keyof A_1 & string]>(property: K) => {
|
|
1306
|
+
readonly isOperationFailure: (target: A_1) => target is A_1 & { readonly [P in K]: OperationFailure; };
|
|
1307
|
+
readonly isOperationSuccess: (target: A_1) => target is A_1 & { readonly [P in K]: OperationSuccess; };
|
|
1308
|
+
} & {
|
|
1309
|
+
readonly isAnyOf: <const Tags extends ReadonlyArray<"OperationFailure" | "OperationSuccess">>(tags: Tags) => (target: A_1) => target is A_1 & { readonly [P in K]: Extract<OperationFailure, {
|
|
1310
|
+
readonly _tag: Tags[number];
|
|
1311
|
+
}> | Extract<OperationSuccess, {
|
|
1312
|
+
readonly _tag: Tags[number];
|
|
1313
|
+
}>; };
|
|
1314
|
+
};
|
|
1315
|
+
}>;
|
|
1316
|
+
readonly createdAt: S.withConstructorDefault<S.DateFromString>;
|
|
1317
|
+
readonly updatedAt: S.withConstructorDefault<import("effect/Schema").NullOr<S.DateFromString & {
|
|
1318
|
+
withDefault: S.withConstructorDefault<S.DateFromString>;
|
|
1319
|
+
withDecodingDefaultType: S.withDecodingDefaultType<S.DateFromString>;
|
|
1320
|
+
}>>;
|
|
1321
|
+
}>)]?: U[K]; }): { [K in keyof A | keyof U]: K extends keyof U ? U[K] : A[K & keyof A]; };
|
|
1322
|
+
};
|
|
1323
|
+
}, keyof S.Top>;
|
|
364
1324
|
export declare class Operation extends Operation_base {
|
|
365
1325
|
}
|
|
366
1326
|
export declare namespace OperationProgress {
|
|
@@ -380,4 +1340,4 @@ export declare namespace Operation {
|
|
|
380
1340
|
}
|
|
381
1341
|
}
|
|
382
1342
|
export {};
|
|
383
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
1343
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiT3BlcmF0aW9ucy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL09wZXJhdGlvbnMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLENBQUMsTUFBTSxhQUFhLENBQUE7QUFFaEMsTUFBTSxNQUFNLFdBQVcsR0FBRyxDQUFDLENBQUMsUUFBUSxDQUFBO0FBQ3BDLGVBQU8sTUFBTSxXQUFXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBQWEsQ0FBQTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFckMscUJBQWEsaUJBQWtCLFNBQVEsc0JBTXBDO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFTixxQkFBYSxnQkFDWCxTQUFRLHFCQUVMO0NBQ0g7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixxQkFBYSxnQkFDWCxTQUFRLHFCQUVMO0NBQ0g7QUFFRixlQUFPLE1BQU0sZUFBZTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQUFvRCxDQUFBO0FBQ2hGLE1BQU0sTUFBTSxlQUFlLEdBQUcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsT0FBTyxlQUFlLENBQUMsQ0FBQTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFbkUscUJBQWEsU0FBVSxTQUFRLGNBTzVCO0NBQUc7QUFLTix5QkFBaUIsaUJBQWlCLENBQUMsQ0FBQztJQUNsQyxVQUFpQixPQUFRLFNBQVEsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQSxPQUFPLGlCQUFpQixFQUFDLFFBQVEsQ0FBQyxDQUFDO0tBQUc7Q0FDekY7QUFDRCx5QkFBaUIsZ0JBQWdCLENBQUMsQ0FBQztJQUNqQyxVQUFpQixPQUFRLFNBQVEsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQSxPQUFPLGdCQUFnQixFQUFDLFFBQVEsQ0FBQyxDQUFDO0tBQUc7Q0FDeEY7QUFDRCx5QkFBaUIsZ0JBQWdCLENBQUMsQ0FBQztJQUNqQyxVQUFpQixPQUFRLFNBQVEsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQSxPQUFPLGdCQUFnQixFQUFDLFFBQVEsQ0FBQyxDQUFDO0tBQUc7Q0FDeEY7QUFDRCx5QkFBaUIsU0FBUyxDQUFDLENBQUM7SUFDMUIsVUFBaUIsT0FBUSxTQUFRLENBQUMsQ0FBQyxNQUFNLENBQUMsT0FBTyxDQUFDLENBQUEsT0FBTyxTQUFTLEVBQUMsUUFBUSxDQUFDLENBQUM7S0FBRztDQUNqRiJ9
|