@effect-app/infra 4.0.0-beta.70 → 4.0.0-beta.72

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # @effect-app/infra
 
+## 4.0.0-beta.72
+
+### Patch Changes
+
+- Updated dependencies [0541f0d]
+  - effect-app@4.0.0-beta.72
+
+## 4.0.0-beta.71
+
+### Patch Changes
+
+- beae3a0: Remove `withDefaultConstructor` wrapper, use `S.withConstructorDefault` directly with `Effect.succeed`/`Effect.sync`.
+- Updated dependencies [beae3a0]
+  - effect-app@4.0.0-beta.71
+
 ## 4.0.0-beta.70
 
 ### Patch Changes

package/dist/Model/Repository/validation.d.ts

@@ -18,19 +18,19 @@ export declare class ValidationError extends ValidationError_base {
 declare const ValidationResult_base: S.EnhancedClass<ValidationResult, S.Struct<{
     /** total number of items in the repository */
     total: S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & {
-        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">>;
     };
     /** number of items that were sampled for validation */
     sampled: S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & {
-        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">>;
     };
     /** number of items that passed validation */
     valid: S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & {
-        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber"> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.WithDefaults<S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">> & S.brand<import("effect/Schema").Int, "NonNegativeInt" | "Int" | "NonNegativeNumber">>;
     };
     /** list of validation errors with full context */
     errors: S.$Array<typeof ValidationError> & {
-        withDefault: S.withConstructorDefault<S.$Array<typeof ValidationError> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.$Array<typeof ValidationError>>;
     };
 }>, {}>;
 /**

package/dist/RequestContext.d.ts

@@ -2,10 +2,10 @@ import { Context, S } from "effect-app";
 export declare const Locale: S.Literals<["en", "de"]> & {
     changeDefault: <A extends "en" | "de">(a: A) => S.Literals<["en", "de"]> & {
         Default: A;
-        withDefault: S.withConstructorDefault<S.Literals<["en", "de"]> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.Literals<["en", "de"]>>;
     };
     Default: "en";
-    withDefault: S.withConstructorDefault<S.Literals<["en", "de"]> & S.WithoutConstructorDefault>;
+    withDefault: S.withConstructorDefault<S.Literals<["en", "de"]>>;
 };
 export type Locale = typeof Locale.Type;
 declare const LocaleRef_base: Context.Reference<"en" | "de">;
@@ -16,17 +16,17 @@ declare const RequestContext_base: S.EnhancedClass<RequestContext, S.Struct<{
         readonly traceId: S.String;
         readonly spanId: S.String;
         readonly sampled: import("effect/Schema").Boolean & {
-            withDefault: S.withConstructorDefault<import("effect/Schema").Boolean & S.WithoutConstructorDefault>;
+            withDefault: S.withConstructorDefault<import("effect/Schema").Boolean>;
         };
     }>;
     name: S.WithDefaults<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">> & S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">;
     locale: S.Literals<["en", "de"]> & {
         changeDefault: <A extends "en" | "de">(a: A) => S.Literals<["en", "de"]> & {
             Default: A;
-            withDefault: S.withConstructorDefault<S.Literals<["en", "de"]> & S.WithoutConstructorDefault>;
+            withDefault: S.withConstructorDefault<S.Literals<["en", "de"]>>;
         };
         Default: "en";
-        withDefault: S.withConstructorDefault<S.Literals<["en", "de"]> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.Literals<["en", "de"]>>;
     };
     sourceId: S.optional<S.WithDefaults<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">> & S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">>;
     namespace: S.WithDefaults<S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">> & S.brand<import("effect/Schema").NonEmptyString, "NonEmptyString" | "NonEmptyString64k" | "NonEmptyString2k" | "NonEmptyString255">;

package/examples/query.ts

@@ -12,7 +12,7 @@ export class Something extends S.TaggedClass<Something>()("Something", {
   id: S.StringId.withDefault,
   displayName: S.NonEmptyString255,
   n: S.Date.withDefault,
-  union: someUnion.pipe(S.withDefaultConstructor(() => ({ _tag: "string" as const, value: "hi" })))
+  union: someUnion.pipe(S.withConstructorDefault(Effect.succeed({ _tag: "string" as const, value: "hi" })))
 }) {}
 
 export class SomethingElse extends S.TaggedClass<SomethingElse>()("SomethingElse", {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-app/infra",
-  "version": "4.0.0-beta.70",
+  "version": "4.0.0-beta.72",
   "license": "MIT",
   "type": "module",
   "dependencies": {
@@ -13,7 +13,7 @@
     "proper-lockfile": "^4.1.2",
     "pure-rand": "7.0.1",
     "query-string": "^9.3.1",
-    "effect-app": "4.0.0-beta.70"
+    "effect-app": "4.0.0-beta.72"
   },
   "devDependencies": {
     "@azure/cosmos": "^4.9.2",

package/test/dist/fixtures.d.ts

@@ -4,7 +4,7 @@ import { RpcContextMap, RpcX } from "effect-app/rpc";
 declare const UserProfile_base: S.EnhancedClass<UserProfile, S.Struct<{
     id: S.String;
     roles: S.$Array<S.String> & {
-        withDefault: S.withConstructorDefault<S.$Array<S.String> & S.WithoutConstructorDefault>;
+        withDefault: S.withConstructorDefault<S.$Array<S.String>>;
     };
 }>, {}> & Context.Opaque<UserProfile, UserProfile>;
 export declare class UserProfile extends UserProfile_base {

package/test/query.test.ts

@@ -20,7 +20,7 @@ export class Something extends S.Class<Something>("Something")({
   displayName: S.NonEmptyString255,
   name: S.NullOr(S.NonEmptyString255).withDefault,
   n: S.Date.withDefault,
-  union: someUnion.pipe(S.withDefaultConstructor(() => ({ _tag: "string" as const, value: "hi" })))
+  union: someUnion.pipe(S.withConstructorDefault(Effect.succeed({ _tag: "string" as const, value: "hi" })))
 }) {}
 export declare namespace Something {
   // eslint-disable-next-line @typescript-eslint/no-empty-object-type