effect 3.11.4 → 3.11.6

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.
Files changed (49) hide show
  1. package/dist/cjs/Arbitrary.js +354 -343
  2. package/dist/cjs/Arbitrary.js.map +1 -1
  3. package/dist/cjs/Effect.js.map +1 -1
  4. package/dist/cjs/JSONSchema.js +226 -134
  5. package/dist/cjs/JSONSchema.js.map +1 -1
  6. package/dist/cjs/Schema.js +67 -32
  7. package/dist/cjs/Schema.js.map +1 -1
  8. package/dist/cjs/SchemaAST.js +34 -9
  9. package/dist/cjs/SchemaAST.js.map +1 -1
  10. package/dist/cjs/internal/core.js +6 -7
  11. package/dist/cjs/internal/core.js.map +1 -1
  12. package/dist/cjs/internal/schema/filters.js +24 -18
  13. package/dist/cjs/internal/schema/filters.js.map +1 -1
  14. package/dist/cjs/internal/version.js +1 -1
  15. package/dist/dts/Arbitrary.d.ts +21 -1
  16. package/dist/dts/Arbitrary.d.ts.map +1 -1
  17. package/dist/dts/Effect.d.ts +50 -19
  18. package/dist/dts/Effect.d.ts.map +1 -1
  19. package/dist/dts/JSONSchema.d.ts +57 -1
  20. package/dist/dts/JSONSchema.d.ts.map +1 -1
  21. package/dist/dts/Schema.d.ts +47 -19
  22. package/dist/dts/Schema.d.ts.map +1 -1
  23. package/dist/dts/SchemaAST.d.ts +1 -1
  24. package/dist/dts/SchemaAST.d.ts.map +1 -1
  25. package/dist/dts/internal/core.d.ts +5 -0
  26. package/dist/dts/internal/core.d.ts.map +1 -1
  27. package/dist/esm/Arbitrary.js +348 -335
  28. package/dist/esm/Arbitrary.js.map +1 -1
  29. package/dist/esm/Effect.js.map +1 -1
  30. package/dist/esm/JSONSchema.js +224 -133
  31. package/dist/esm/JSONSchema.js.map +1 -1
  32. package/dist/esm/Schema.js +67 -32
  33. package/dist/esm/Schema.js.map +1 -1
  34. package/dist/esm/SchemaAST.js +31 -7
  35. package/dist/esm/SchemaAST.js.map +1 -1
  36. package/dist/esm/internal/core.js +7 -6
  37. package/dist/esm/internal/core.js.map +1 -1
  38. package/dist/esm/internal/schema/filters.js +23 -17
  39. package/dist/esm/internal/schema/filters.js.map +1 -1
  40. package/dist/esm/internal/version.js +1 -1
  41. package/package.json +1 -1
  42. package/src/Arbitrary.ts +406 -360
  43. package/src/Effect.ts +68 -20
  44. package/src/JSONSchema.ts +233 -134
  45. package/src/Schema.ts +176 -74
  46. package/src/SchemaAST.ts +31 -7
  47. package/src/internal/core.ts +9 -6
  48. package/src/internal/schema/filters.ts +32 -17
  49. package/src/internal/version.ts +1 -1
package/dist/dts/Effect.d.ts CHANGED
@@ -17250,30 +17250,61 @@ export declare namespace Service {
17250
17250
  * @category models
17251
17251
  */
17252
17252
  export declare namespace fn {
17253
- /**
17254
- * @since 3.11.0
17255
- * @category models
17256
- */
17257
- type FnEffect<AEff, Eff extends YieldWrap<Effect<any, any, any>>> = Effect<AEff, [
17258
- Eff
17259
- ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17260
- Eff
17261
- ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>;
17262
17253
  /**
17263
17254
  * @since 3.11.0
17264
17255
  * @category models
17265
17256
  */
17266
17257
  type Gen = {
17267
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => fn.FnEffect<AEff, Eff>;
17268
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A): (...args: Args) => A;
17269
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B): (...args: Args) => B;
17270
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C): (...args: Args) => C;
17271
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D): (...args: Args) => D;
17272
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E): (...args: Args) => E;
17273
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F): (...args: Args) => F;
17274
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G): (...args: Args) => G;
17275
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G, h: (_: G) => H): (...args: Args) => H;
17276
- <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: fn.FnEffect<AEff, Eff>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G, h: (_: G) => H, i: (_: H) => I): (...args: Args) => I;
17258
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
17259
+ Eff
17260
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17261
+ Eff
17262
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>;
17263
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17264
+ Eff
17265
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17266
+ Eff
17267
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A): (...args: Args) => A;
17268
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17269
+ Eff
17270
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17271
+ Eff
17272
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B): (...args: Args) => B;
17273
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17274
+ Eff
17275
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17276
+ Eff
17277
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C): (...args: Args) => C;
17278
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17279
+ Eff
17280
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17281
+ Eff
17282
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D): (...args: Args) => D;
17283
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17284
+ Eff
17285
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17286
+ Eff
17287
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E): (...args: Args) => E;
17288
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17289
+ Eff
17290
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17291
+ Eff
17292
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F): (...args: Args) => F;
17293
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17294
+ Eff
17295
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17296
+ Eff
17297
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G): (...args: Args) => G;
17298
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17299
+ Eff
17300
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17301
+ Eff
17302
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G, h: (_: G) => H): (...args: Args) => H;
17303
+ <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
17304
+ Eff
17305
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
17306
+ Eff
17307
+ ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>) => A, b: (_: A) => B, c: (_: B) => C, d: (_: C) => D, e: (_: D) => E, f: (_: E) => F, g: (_: F) => G, h: (_: G) => H, i: (_: H) => I): (...args: Args) => I;
17277
17308
  };
17278
17309
  /**
17279
17310
  * @since 3.11.0