effect-app 2.46.1 → 2.47.0

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 CHANGED
@@ -1,5 +1,11 @@
1
1
  # @effect-app/prelude
2
2
 
3
+ ## 2.47.0
4
+
5
+ ### Minor Changes
6
+
7
+ - d29cb1b: refactor: drop optional identifier for Schema classes.
8
+
3
9
  ## 2.46.1
4
10
 
5
11
  ### Patch Changes
@@ -15,12 +15,12 @@ type RequiredKeys<T> = {
15
15
  export interface EnhancedClass<Self, Fields extends Struct.Fields, I, R, C, Inherited, Proto> extends Schema<Self, I, R>, PropsExtensions<Fields> {
16
16
  new (props: RequiredKeys<C> extends never ? void | Simplify<C> : Simplify<C>, disableValidation?: boolean): Struct.Type<Fields> & Omit<Inherited, keyof Fields> & Proto;
17
17
  readonly fields: Simplify<Fields>;
18
- readonly extend: <Extended = never>(identifier?: string) => <NewFields extends Struct.Fields>(newFieldsOr: NewFields | HasFields<NewFields>, annotations?: ClassAnnotations<Extended, Struct.Type<Fields & NewFields>>) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend"> : EnhancedClass<Extended, Fields & NewFields, Simplify<I & Struct.Encoded<NewFields>>, R | Struct.Context<NewFields>, Simplify<C & S.Struct.Constructor<NewFields>>, Self, Proto>;
19
- readonly transformOrFail: <Transformed = never>(identifier?: string) => <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
18
+ readonly extend: <Extended = never>(identifier: string) => <NewFields extends Struct.Fields>(newFieldsOr: NewFields | HasFields<NewFields>, annotations?: ClassAnnotations<Extended, Struct.Type<Fields & NewFields>>) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend"> : EnhancedClass<Extended, Fields & NewFields, Simplify<I & Struct.Encoded<NewFields>>, R | Struct.Context<NewFields>, Simplify<C & S.Struct.Constructor<NewFields>>, Self, Proto>;
19
+ readonly transformOrFail: <Transformed = never>(identifier: string) => <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
20
20
  readonly decode: (input: Types.Simplify<Struct.Type<Fields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Types.Simplify<Struct.Type<Fields & NewFields>>, ParseResult.ParseIssue, R2>;
21
21
  readonly encode: (input: Types.Simplify<Struct.Type<Fields & NewFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Struct.Type<Fields>, ParseResult.ParseIssue, R3>;
22
22
  }, annotations?: ClassAnnotations<Transformed, Struct.Type<Fields & NewFields>>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transform"> : EnhancedClass<Transformed, Fields & NewFields, I, R | Struct.Context<NewFields> | R2 | R3, C & Struct.Constructor<NewFields>, Self, Proto>;
23
- readonly transformOrFailFrom: <Transformed = never>(identifier?: string) => <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
23
+ readonly transformOrFailFrom: <Transformed = never>(identifier: string) => <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
24
24
  readonly decode: (input: Types.Simplify<I>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Types.Simplify<I & Struct.Encoded<NewFields>>, ParseResult.ParseIssue, R2>;
25
25
  readonly encode: (input: Types.Simplify<I & Struct.Encoded<NewFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<I, ParseResult.ParseIssue, R3>;
26
26
  }, annotations?: ClassAnnotations<Transformed, Struct.Type<Fields & NewFields>>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transformFrom"> : EnhancedClass<Transformed, Fields & NewFields, I, R | Struct.Context<NewFields> | R2 | R3, Simplify<C & S.Struct.Constructor<NewFields>>, Self, Proto>;
@@ -35,7 +35,7 @@ type HasFields<Fields extends Struct.Fields> = {
35
35
  } | {
36
36
  readonly from: HasFields<Fields>;
37
37
  };
38
- export declare const Class: <Self = never>(identifier?: string) => <Fields extends S.Struct.Fields>(fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"Class"> : EnhancedClass<Self, Fields, Simplify<Struct.Encoded<Fields>>, Struct.Context<Fields>, Simplify<S.Struct.Constructor<Fields>>, {}, {}>;
38
+ export declare const Class: <Self = never>(identifier: string) => <Fields extends S.Struct.Fields>(fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"Class"> : EnhancedClass<Self, Fields, Simplify<Struct.Encoded<Fields>>, Struct.Context<Fields>, Simplify<S.Struct.Constructor<Fields>>, {}, {}>;
39
39
  export declare const TaggedClass: <Self = never>(identifier?: string) => <Tag extends string, Fields extends S.Struct.Fields>(tag: Tag, fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"Class"> : EnhancedClass<Self, {
40
40
  readonly _tag: S.tag<Tag>;
41
41
  } & Fields, Simplify<{
@@ -1 +1 @@
1
- {"version":3,"file":"Class.d.ts","sourceRoot":"","sources":["../../src/Schema/Class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,WAAW,EAA2B,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC3F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,aAAa,CAAA;AAEtC,KAAK,gBAAgB,CAAC,IAAI,EAAE,CAAC,IACzB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAC1B,SAAS;IACT,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS;IACtC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACzB,CAAA;AAEH,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CACpD,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,MAAM,WAAW,aAAa,CAAC,IAAI,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAC1F,SAAQ,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC;IAEnD,KACE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EACvE,iBAAiB,CAAC,EAAE,OAAO,GAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,MAAM,CAAC,GAAG,KAAK,CAAA;IAE9D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;IAEjC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAC1F,WAAW,EAAE,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,EAC7C,WAAW,CAAC,EAAE,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACtE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,aAAa,CAAC,GAC/D,aAAa,CACb,QAAQ,EACR,MAAM,GAAG,SAAS,EAClB,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EACvC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,CACN,CAAA;IAEH,QAAQ,CAAC,eAAe,EAAE,CAAC,WAAW,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CACtE,SAAS,SAAS,MAAM,CAAC,MAAM,EAC/B,EAAE,EACF,EAAE,EAEF,MAAM,EAAE,SAAS,EACjB,OAAO,EAAE;QACP,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAC1C,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QAC/F,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,EACtD,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;KACpE,EACD,WAAW,CAAC,EAAE,gBAAgB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACzE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,GACrE,aAAa,CACb,WAAW,EACX,MAAM,GAAG,SAAS,EAClB,CAAC,EACD,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EACvC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,EACjC,IAAI,EACJ,KAAK,CACN,CAAA;IAEH,QAAQ,CAAC,mBAAmB,EAAE,CAAC,WAAW,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAC1E,SAAS,SAAS,MAAM,CAAC,MAAM,EAC/B,EAAE,EACF,EAAE,EAEF,MAAM,EAAE,SAAS,EACjB,OAAO,EAAE;QACP,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EACxB,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QAC7F,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EACpD,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;KAClD,EACD,WAAW,CAAC,EAAE,gBAAgB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACzE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,oBAAoB,CAAC,GACzE,aAAa,CACb,WAAW,EACX,MAAM,GAAG,SAAS,EAClB,CAAC,EACD,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EACvC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,CACN,CAAA;CACJ;AACD,KAAK,kBAAkB,CAAC,KAAK,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,GAAG,EAAE,IACtE,uDAAuD,KAAK,YAAY,MAAM,YAAY,CAAA;AAE5F,MAAM,WAAW,eAAe,CAAC,MAAM;IAIrC,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxE,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;CACzE;AAED,KAAK,SAAS,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,IAAI;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CACjC,CAAA;AAgCD,eAAO,MAAM,KAAK,EAAE,CAAC,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACxF,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,GACrD,aAAa,CACb,IAAI,EACJ,MAAM,EACN,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAChC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EACtB,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CAWH,CAAA;AAEH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAClH,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,GACrD,aAAa,CACb,IAAI,EACJ;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,EACtC,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACzD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC,EACpC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CAWH,CAAA;AAEH,eAAO,MAAM,aAAa,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAClG,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,aAAa,CAChB,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC,EACpC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CACY,CAAA;AAEhB,MAAM,WAAW,mBAAmB,CAAC,IAAI,EAAE,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CACnG,SACE,aAAa,CACX,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EACtB,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,EAAE,EACF,EAAE,CACH;IAEH,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CACnB;AAED,eAAO,MAAM,mBAAmB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAC/C,UAAU,CAAC,EAAE,MAAM,KAChB,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACtD,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,mBAAmB,CACtB,IAAI,EACJ,GAAG,EACH;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,EACtC,QAAQ,CACY,CAAA"}
1
+ {"version":3,"file":"Class.d.ts","sourceRoot":"","sources":["../../src/Schema/Class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,WAAW,EAA2B,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC3F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,aAAa,CAAA;AAEtC,KAAK,gBAAgB,CAAC,IAAI,EAAE,CAAC,IACzB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAC1B,SAAS;IACT,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS;IACtC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACzB,CAAA;AAEH,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CACpD,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,MAAM,WAAW,aAAa,CAAC,IAAI,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAC1F,SAAQ,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC;IAEnD,KACE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EACvE,iBAAiB,CAAC,EAAE,OAAO,GAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,MAAM,CAAC,GAAG,KAAK,CAAA;IAE9D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;IAEjC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,GAAG,KAAK,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EACzF,WAAW,EAAE,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,EAC7C,WAAW,CAAC,EAAE,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACtE,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,aAAa,CAAC,GAC/D,aAAa,CACb,QAAQ,EACR,MAAM,GAAG,SAAS,EAClB,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EACvC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,CACN,CAAA;IAEH,QAAQ,CAAC,eAAe,EAAE,CAAC,WAAW,GAAG,KAAK,EAAE,UAAU,EAAE,MAAM,KAAK,CACrE,SAAS,SAAS,MAAM,CAAC,MAAM,EAC/B,EAAE,EACF,EAAE,EAEF,MAAM,EAAE,SAAS,EACjB,OAAO,EAAE;QACP,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAC1C,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QAC/F,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,EACtD,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;KACpE,EACD,WAAW,CAAC,EAAE,gBAAgB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACzE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,GACrE,aAAa,CACb,WAAW,EACX,MAAM,GAAG,SAAS,EAClB,CAAC,EACD,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EACvC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,EACjC,IAAI,EACJ,KAAK,CACN,CAAA;IAEH,QAAQ,CAAC,mBAAmB,EAAE,CAAC,WAAW,GAAG,KAAK,EAAE,UAAU,EAAE,MAAM,KAAK,CACzE,SAAS,SAAS,MAAM,CAAC,MAAM,EAC/B,EAAE,EACF,EAAE,EAEF,MAAM,EAAE,SAAS,EACjB,OAAO,EAAE;QACP,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EACxB,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;QAC7F,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EACpD,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,GAAG,CAAC,cAAc,KACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAA;KAClD,EACD,WAAW,CAAC,EAAE,gBAAgB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,KACzE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,oBAAoB,CAAC,GACzE,aAAa,CACb,WAAW,EACX,MAAM,GAAG,SAAS,EAClB,CAAC,EACD,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EACvC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAC7C,IAAI,EACJ,KAAK,CACN,CAAA;CACJ;AACD,KAAK,kBAAkB,CAAC,KAAK,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,GAAG,EAAE,IACtE,uDAAuD,KAAK,YAAY,MAAM,YAAY,CAAA;AAE5F,MAAM,WAAW,eAAe,CAAC,MAAM;IAIrC,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxE,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;CACzE;AAED,KAAK,SAAS,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,IAAI;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CACjC,CAAA;AAgCD,eAAO,MAAM,KAAK,EAAE,CAAC,IAAI,GAAG,KAAK,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACvF,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,GACrD,aAAa,CACb,IAAI,EACJ,MAAM,EACN,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAChC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EACtB,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CAWH,CAAA;AAEH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAClH,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,GACrD,aAAa,CACb,IAAI,EACJ;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,EACtC,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACzD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC,EACpC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CAWH,CAAA;AAEH,eAAO,MAAM,aAAa,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,MAAM,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAClG,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,aAAa,CAChB,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC,EACpC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,EAAE,EACF,EAAE,CACY,CAAA;AAEhB,MAAM,WAAW,mBAAmB,CAAC,IAAI,EAAE,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CACnG,SACE,aAAa,CACX,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EACtB,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,EAAE,EACF,EAAE,CACH;IAEH,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CACnB;AAED,eAAO,MAAM,mBAAmB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAC/C,UAAU,CAAC,EAAE,MAAM,KAChB,CAAC,GAAG,SAAS,MAAM,EAAE,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EACtD,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EACpC,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KACtD,mBAAmB,CACtB,IAAI,EACJ,GAAG,EACH;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;CAAE,GAAG,MAAM,EACtC,QAAQ,CACY,CAAA"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "effect-app",
3
- "version": "2.46.1",
3
+ "version": "2.47.0",
4
4
  "license": "MIT",
5
5
  "type": "module",
6
6
  "dependencies": {
@@ -28,7 +28,7 @@ export interface EnhancedClass<Self, Fields extends Struct.Fields, I, R, C, Inhe
28
28
 
29
29
  readonly fields: Simplify<Fields>
30
30
 
31
- readonly extend: <Extended = never>(identifier?: string) => <NewFields extends Struct.Fields>(
31
+ readonly extend: <Extended = never>(identifier: string) => <NewFields extends Struct.Fields>(
32
32
  newFieldsOr: NewFields | HasFields<NewFields>,
33
33
  annotations?: ClassAnnotations<Extended, Struct.Type<Fields & NewFields>>
34
34
  ) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend">
@@ -42,7 +42,7 @@ export interface EnhancedClass<Self, Fields extends Struct.Fields, I, R, C, Inhe
42
42
  Proto
43
43
  >
44
44
 
45
- readonly transformOrFail: <Transformed = never>(identifier?: string) => <
45
+ readonly transformOrFail: <Transformed = never>(identifier: string) => <
46
46
  NewFields extends Struct.Fields,
47
47
  R2,
48
48
  R3
@@ -72,7 +72,7 @@ export interface EnhancedClass<Self, Fields extends Struct.Fields, I, R, C, Inhe
72
72
  Proto
73
73
  >
74
74
 
75
- readonly transformOrFailFrom: <Transformed = never>(identifier?: string) => <
75
+ readonly transformOrFailFrom: <Transformed = never>(identifier: string) => <
76
76
  NewFields extends Struct.Fields,
77
77
  R2,
78
78
  R3
@@ -149,7 +149,7 @@ type HasFields<Fields extends Struct.Fields> = {
149
149
  // return fnc("fields" in fields ? fields.fields : fields)
150
150
  // }
151
151
 
152
- export const Class: <Self = never>(identifier?: string) => <Fields extends S.Struct.Fields>(
152
+ export const Class: <Self = never>(identifier: string) => <Fields extends S.Struct.Fields>(
153
153
  fieldsOr: Fields | HasFields<Fields>,
154
154
  annotations?: ClassAnnotations<Self, Struct.Type<Fields>>
155
155
  ) => [Self] extends [never] ? MissingSelfGeneric<"Class">
@@ -107,7 +107,7 @@ test("works with class", () => {
107
107
  })
108
108
 
109
109
  test("works with schema class", () => {
110
- class Banana extends S.Class<Banana>()({
110
+ class Banana extends S.Class<Banana>("Banana")({
111
111
  name: S.String,
112
112
  state: S.Union(
113
113
  S.Struct({ a: S.String, _tag: S.Literal("a") }),