effect 4.0.0-beta.46 → 4.0.0-beta.48

package/src/Types.ts

@@ -1001,3 +1001,11 @@ export type OmitReason<E, K extends string> = E extends { readonly reason: infer
 export type ExcludeReason<E, K extends string> = E extends { readonly reason: infer R }
   ? Exclude<R, { readonly _tag: K }>
   : never
+
+/**
+ * Extracts the required keys from a type.
+ *
+ * @since 4.0.0
+ * @category types
+ */
+export type RequiredKeys<T> = { [K in keyof T]-?: {} extends Pick<T, K> ? never : K }[keyof T]

package/src/unstable/ai/McpSchema.ts

@@ -2106,7 +2106,7 @@ export interface Param<Name extends string, S extends Schema.Top> extends
     S["~encoded.optionality"]
   >
 {
-  readonly "~rebuild.out": this
+  readonly "Rebuild": Param<Name, S>
   readonly [ParamSchemaTypeId]: typeof ParamSchemaTypeId
   readonly name: Name
   readonly schema: S

package/src/unstable/eventlog/EventLog.ts

@@ -358,7 +358,9 @@ const IdentityEncodedSchema = Schema.Struct({
   privateKey: Schema.Uint8ArrayFromBase64
 })
 
-const IdentityStringSchema = Schema.fromJsonString(IdentityEncodedSchema)
+const IdentityStringSchema = Schema.StringFromBase64Url.pipe(
+  Schema.decodeTo(Schema.fromJsonString(IdentityEncodedSchema))
+)
 
 /**
  * @since 4.0.0
@@ -584,7 +586,10 @@ export const makeReplayFromRemote = (options: {
   }
 }) =>
   Effect.fnUntraced(
-    function*({ conflicts, entry }): Effect.fn.Return<void, Schema.SchemaError> {
+    function*({ conflicts, entry }: {
+      readonly entry: Entry
+      readonly conflicts: ReadonlyArray<Entry>
+    }): Effect.fn.Return<void, Schema.SchemaError> {
       const handler = options.handlers.get(entry.event) as Handlers.Item<any> | undefined
       if (!handler) {
         return yield* Effect.logDebug(`Event handler not found for: "${entry.event}"`)

package/src/unstable/eventlog/EventLogRemote.ts

@@ -245,6 +245,7 @@ export const makeWith = Effect.fnUntraced(function*({ encodeWrite, decodeChanges
   return remote
 })
 
+/** @effect-diagnostics-next-line classSelfMismatch:off */
 class IdentityService extends Context.Service<Identity, Identity["Service"]>()(
   "effect/eventlog/EventLog/Identity" satisfies Identity["key"]
 ) {}

package/src/unstable/httpapi/HttpApiBuilder.ts

@@ -18,7 +18,7 @@ import * as Schema from "../../Schema.ts"
 import type * as AST from "../../SchemaAST.ts"
 import * as Issue from "../../SchemaIssue.ts"
 import * as Transformation from "../../SchemaTransformation.ts"
-import type * as Scope from "../../Scope.ts"
+import * as Scope from "../../Scope.ts"
 import * as Stream from "../../Stream.ts"
 import type { Covariant, NoInfer } from "../../Types.ts"
 import * as UndefinedOr from "../../UndefinedOr.ts"
@@ -120,7 +120,9 @@ export const group = <
   Exclude<Handlers.Context<Return>, Scope.Scope>
 > =>
   Layer.effectContext(Effect.gen(function*() {
-    const services = yield* Effect.context<any>()
+    const services = (yield* Effect.context<any>()).pipe(
+      Context.omit(Scope.Scope)
+    )
     const group = api.groups[groupName]!
     const result = build(makeHandlers(group))
     const handlers: Handlers<any, any> = Effect.isEffect(result)
@@ -333,7 +335,13 @@ export const endpoint = <
   Effect.contextWith((context: Context.Context<any>) => {
     const group = api.groups[groupName] as unknown as HttpApiGroup.AnyWithProps
     const endpoint = group.endpoints[endpointName] as unknown as HttpApiEndpoint.AnyWithProps
-    return Effect.succeed(handlerToHttpEffect(group, endpoint, context, handler as any, false))
+    return Effect.succeed(handlerToHttpEffect(
+      group,
+      endpoint,
+      Context.omit(Scope.Scope)(context),
+      handler as any,
+      false
+    ))
   })
 
 /**

package/src/unstable/httpapi/HttpApiClient.ts

@@ -715,11 +715,11 @@ function getEncodePayloadSchemaFromBody(
   const encoding = HttpApiSchema.getPayloadEncoding(ast, method)
   const out = $HttpBody.pipe(Schema.decodeTo(
     schema,
-    Transformation.transformOrFail({
+    Transformation.transformOrFail<unknown, HttpBody.HttpBody>({
       decode(httpBody) {
         return Effect.fail(new Issue.Forbidden(Option.some(httpBody), { message: "Encode only schema" }))
       },
-      encode(t: unknown) {
+      encode(t) {
         switch (encoding._tag) {
           case "Multipart":
             return Effect.fail(new Issue.Forbidden(Option.some(t), { message: "Payload must be a FormData" }))

package/src/unstable/httpapi/HttpApiMiddleware.ts

@@ -279,6 +279,7 @@ export const Service = <
   const creationError = new Err()
   Err.stackTraceLimit = limit
 
+  /** @effect-diagnostics-next-line classSelfMismatch:off */
   class Service extends Context.Service<Self, any>()(id) {}
   const self = Service as any
   Object.defineProperty(Service, "stack", {

package/src/unstable/httpapi/HttpApiSchema.ts

@@ -87,7 +87,7 @@ export type ResponseEncoding = {
  * @since 4.0.0
  */
 export function status(code: number) {
-  return <S extends Schema.Top>(self: S): S["~rebuild.out"] => {
+  return <S extends Schema.Top>(self: S): S["Rebuild"] => {
     return self.annotate({ httpApiStatus: code })
   }
 }
@@ -190,7 +190,7 @@ export type MultipartTypeId = typeof MultipartTypeId
 /**
  * @since 4.0.0
  */
-export interface asMultipart<S extends Schema.Top> extends Schema.brand<S["~rebuild.out"], MultipartTypeId> {}
+export interface asMultipart<S extends Schema.Top> extends Schema.brand<S["Rebuild"], MultipartTypeId> {}
 
 /**
  * Marks a schema as a multipart payload.
@@ -225,9 +225,7 @@ export type MultipartStreamTypeId = typeof MultipartStreamTypeId
 /**
  * @since 4.0.0
  */
-export interface asMultipartStream<S extends Schema.Top>
-  extends Schema.brand<S["~rebuild.out"], MultipartStreamTypeId>
-{}
+export interface asMultipartStream<S extends Schema.Top> extends Schema.brand<S["Rebuild"], MultipartStreamTypeId> {}
 
 /**
  * Marks a schema as a multipart stream payload.
@@ -252,7 +250,7 @@ export function asMultipartStream(options?: Multipart_.withLimits.Options) {
 function asNonMultipartEncoding<S extends Schema.Top>(self: S, options: {
   readonly _tag: "Json" | "FormUrlEncoded" | "Uint8Array" | "Text"
   readonly contentType?: string | undefined
-}): S["~rebuild.out"] {
+}): S["Rebuild"] {
   return self.annotate({
     "~httpApiEncoding": {
       _tag: options._tag,

package/src/unstable/observability/OtlpExporter.ts

@@ -61,6 +61,7 @@ export const make: (
   let disabledUntil: number | undefined = undefined
 
   const client = HttpClient.filterStatusOk(Context.get(services, HttpClient.HttpClient)).pipe(
+    HttpClient.transformResponse(Effect.provideService(HttpClient.TracerPropagationEnabled, false)),
     HttpClient.retryTransient({ schedule: policy, times: 3 })
   )
 

package/src/unstable/reactivity/Atom.ts

@@ -2201,7 +2201,7 @@ export const kvs = <S extends Schema.Codec<any, any>, const Mode extends "sync"
  */
 export const searchParam = <S extends Schema.Codec<any, string> = never>(name: string, options?: {
   readonly schema?: S | undefined
-}): Writable<S extends never ? string : Option.Option<S["Type"]>> => {
+}): Writable<[S] extends [never] ? string : Option.Option<S["Type"]>> => {
   const decode = options?.schema && Schema.decodeExit(options.schema)
   const encode = options?.schema && Schema.encodeExit(options.schema)
   return writable(

package/src/unstable/reactivity/AtomRpc.ts

@@ -179,10 +179,10 @@ export const Service = <Self>() =>
       Effect.fnUntraced(function*({ headers, payload, reactivityKeys }) {
         const client = yield* self
         const effect = client(tag, payload, { headers } as any)
-        return yield* reactivityKeys
-          ? Reactivity.mutation(effect, reactivityKeys)
-          : effect
-      }) as any
+        return yield* (reactivityKeys
+          ? Reactivity.mutation(effect, reactivityKeys) as Effect.Effect<any>
+          : effect as any as Effect.Effect<any>)
+      })
     ).pipe(
       Atom.serializable({
         key: `AtomRpc:mutation:${tag}`,

package/src/unstable/rpc/RpcSchema.ts

@@ -47,7 +47,7 @@ export interface Stream<A extends Schema.Top, E extends Schema.Top> extends
     Stream<A, E>
   >
 {
-  readonly "~rebuild.out": this
+  readonly "Rebuild": Stream<A, E>
   readonly [StreamSchemaTypeId]: typeof StreamSchemaTypeId
   readonly success: A
   readonly error: E

package/src/unstable/socket/Socket.ts

@@ -580,7 +580,7 @@ export const fromWebSocket = <RO>(
         if (isCloseEvent(chunk)) {
           ws.close(chunk.code, chunk.reason)
         } else {
-          ws.send(chunk)
+          ws.send(chunk as string | Uint8Array<ArrayBuffer>)
         }
       }))
     const writer = Effect.succeed(write)

package/src/unstable/workers/Transferable.ts

@@ -89,8 +89,8 @@ export const getterAddAll = <A>(
  */
 export interface Transferable<S extends Schema.Top> extends
   Schema.decodeTo<
-    Schema.toType<S["~rebuild.out"]>,
-    S["~rebuild.out"]
+    Schema.toType<S["Rebuild"]>,
+    S["Rebuild"]
   >
 {}
 

package/src/unstable/workflow/Workflow.ts

@@ -316,7 +316,10 @@ export const make = <
       })
     },
     execute: Effect.fnUntraced(
-      function*(fields: any, opts) {
+      function*<const Discard extends boolean = false>(
+        fields: any,
+        opts?: { readonly discard?: Discard } | undefined
+      ) {
         const payload = self.payloadSchema.make(fields)
         const engine = yield* EngineTag
         const executionId = yield* makeExecutionId(payload)
@@ -376,7 +379,7 @@ export const make = <
       ),
     executionId: (payload) =>
       Effect.flatMap(
-        Effect.sync(() => self.payloadSchema.make(payload)),
+        Effect.orDie(self.payloadSchema.makeEffect(payload)),
         makeExecutionId
       ),
     withCompensation