effect 4.0.0-beta.47 → 4.0.0-beta.49

package/src/unstable/cli/internal/completions/zsh.ts

@@ -6,13 +6,7 @@
  *
  * @internal
  */
-import type {
-  ArgumentDescriptor,
-  ArgumentType,
-  CommandDescriptor,
-  FlagDescriptor,
-  FlagType
-} from "./CommandDescriptor.ts"
+import type * as Completions from "../../Completions.ts"
 
 // ---------------------------------------------------------------------------
 // Helpers
@@ -25,7 +19,7 @@ const sanitize = (s: string): string => s.replace(/[^a-zA-Z0-9_]/g, "_")
 /**
  * All forms of a flag (--name, -alias, --no-name) for the exclusion group.
  */
-const allForms = (flag: FlagDescriptor): Array<string> => {
+const allForms = (flag: Completions.FlagDescriptor): Array<string> => {
   const forms: Array<string> = [`--${flag.name}`]
   for (const alias of flag.aliases) {
     forms.push(alias.length === 1 ? `-${alias}` : `--${alias}`)
@@ -36,7 +30,7 @@ const allForms = (flag: FlagDescriptor): Array<string> => {
   return forms
 }
 
-const valueAction = (type: FlagType): string => {
+const valueAction = (type: Completions.FlagType): string => {
   switch (type._tag) {
     case "Boolean":
       return ""
@@ -55,7 +49,7 @@ const valueAction = (type: FlagType): string => {
   }
 }
 
-const argAction = (type: ArgumentType): string => {
+const argAction = (type: Completions.ArgumentType): string => {
   switch (type._tag) {
     case "Choice":
       return `(${type.values.join(" ")})`
@@ -70,7 +64,7 @@ const argAction = (type: ArgumentType): string => {
  * Produce _arguments optspecs for a single flag. Each spec is a complete,
  * single-quoted string — no brace expansion, no line continuations.
  */
-const flagSpecs = (flag: FlagDescriptor): Array<string> => {
+const flagSpecs = (flag: Completions.FlagDescriptor): Array<string> => {
   const specs: Array<string> = []
   const desc = flag.description ? `[${escapeZsh(flag.description)}]` : ""
   const action = valueAction(flag.type)
@@ -94,7 +88,7 @@ const flagSpecs = (flag: FlagDescriptor): Array<string> => {
   return specs
 }
 
-const argSpec = (arg: ArgumentDescriptor): string => {
+const argSpec = (arg: Completions.ArgumentDescriptor): string => {
   const desc = arg.description ? escapeZsh(arg.description) : arg.name
   const action = argAction(arg.type)
   const prefix = arg.variadic ? "*" : ""
@@ -106,7 +100,7 @@ const argSpec = (arg: ArgumentDescriptor): string => {
 // ---------------------------------------------------------------------------
 
 const generateFunction = (
-  descriptor: CommandDescriptor,
+  descriptor: Completions.CommandDescriptor,
   parentPath: ReadonlyArray<string>,
   lines: Array<string>
 ): void => {
@@ -196,7 +190,7 @@ const generateFunction = (
 /** @internal */
 export const generate = (
   executableName: string,
-  descriptor: CommandDescriptor
+  descriptor: Completions.CommandDescriptor
 ): string => {
   const lines: Array<string> = []
   const safeName = sanitize(executableName)

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

@@ -78,17 +78,96 @@ export type ResponseEncoding = {
   readonly contentType: string
 }
 
+const statusCodeByLiteral = {
+  Continue: 100,
+  SwitchingProtocols: 101,
+  Processing: 102,
+  EarlyHints: 103,
+  OK: 200,
+  Ok: 200,
+  Created: 201,
+  Accepted: 202,
+  NonAuthoritativeInformation: 203,
+  NoContent: 204,
+  ResetContent: 205,
+  PartialContent: 206,
+  MultiStatus: 207,
+  AlreadyReported: 208,
+  ImUsed: 226,
+  MultipleChoices: 300,
+  MovedPermanently: 301,
+  Found: 302,
+  SeeOther: 303,
+  NotModified: 304,
+  TemporaryRedirect: 307,
+  PermanentRedirect: 308,
+  BadRequest: 400,
+  Unauthorized: 401,
+  PaymentRequired: 402,
+  Forbidden: 403,
+  NotFound: 404,
+  MethodNotAllowed: 405,
+  NotAcceptable: 406,
+  ProxyAuthenticationRequired: 407,
+  RequestTimeout: 408,
+  Conflict: 409,
+  Gone: 410,
+  LengthRequired: 411,
+  PreconditionFailed: 412,
+  PayloadTooLarge: 413,
+  UriTooLong: 414,
+  UnsupportedMediaType: 415,
+  RangeNotSatisfiable: 416,
+  ExpectationFailed: 417,
+  ImATeapot: 418,
+  MisdirectedRequest: 421,
+  UnprocessableEntity: 422,
+  Locked: 423,
+  FailedDependency: 424,
+  TooEarly: 425,
+  UpgradeRequired: 426,
+  PreconditionRequired: 428,
+  TooManyRequests: 429,
+  RequestHeaderFieldsTooLarge: 431,
+  UnavailableForLegalReasons: 451,
+  InternalServerError: 500,
+  NotImplemented: 501,
+  BadGateway: 502,
+  ServiceUnavailable: 503,
+  GatewayTimeout: 504,
+  HttpVersionNotSupported: 505,
+  VariantAlsoNegotiates: 506,
+  InsufficientStorage: 507,
+  LoopDetected: 508,
+  NotExtended: 510,
+  NetworkAuthenticationRequired: 511
+} as const
+
+/**
+ * Common HTTP status code literals accepted by {@link status}.
+ *
+ * @category status
+ * @since 4.0.0
+ */
+export type StatusLiteral = keyof typeof statusCodeByLiteral
+
 /**
  * A convenience function to set the HTTP status code of a schema.
  *
  * This is equivalent to calling `.annotate({ httpApiStatus: code })` on the schema.
  *
+ * You can pass either a numeric status code (for example, `201`) or a common
+ * literal name (for example, `"Created"`).
+ *
  * @category status
  * @since 4.0.0
  */
-export function status(code: number) {
+export function status(code: number): <S extends Schema.Top>(self: S) => S["Rebuild"]
+export function status(code: StatusLiteral): <S extends Schema.Top>(self: S) => S["Rebuild"]
+export function status(code: number | StatusLiteral) {
+  const statusCode = typeof code === "string" ? statusCodeByLiteral[code] : code
   return <S extends Schema.Top>(self: S): S["Rebuild"] => {
-    return self.annotate({ httpApiStatus: code })
+    return self.annotate({ httpApiStatus: statusCode })
   }
 }
 

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/RpcGroup.ts

@@ -43,6 +43,13 @@ export interface RpcGroup<in out R extends Rpc.Any> extends Pipeable {
     ...groups: Groups
   ): RpcGroup<R | Rpcs<Groups[number]>>
 
+  /**
+   * Omit one or more procedures from the group.
+   */
+  omit<const Tags extends ReadonlyArray<R["_tag"]>>(
+    ...tags: Tags
+  ): RpcGroup<Exclude<R, { readonly _tag: Tags[number] }>>
+
   /**
    * Add middleware to all the procedures added to the group until this point.
    */
@@ -242,6 +249,16 @@ const RpcGroupProto = {
       annotations: Context.makeUnsafe(annotations)
     })
   },
+  omit(this: RpcGroup<any>, ...tags: Array<string>) {
+    const requests = new Map(this.requests)
+    for (const tag of tags) {
+      requests.delete(tag)
+    }
+    return makeProto({
+      requests,
+      annotations: this.annotations
+    })
+  },
   middleware(this: RpcGroup<any>, middleware: RpcMiddleware.AnyService) {
     const requests = new Map<string, any>()
     for (const [tag, rpc] of this.requests) {

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/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

package/dist/unstable/cli/internal/completions/CommandDescriptor.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=CommandDescriptor.d.ts.map

package/dist/unstable/cli/internal/completions/CommandDescriptor.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"CommandDescriptor.d.ts","sourceRoot":"","sources":["../../../../../src/unstable/cli/internal/completions/CommandDescriptor.ts"],"names":[],"mappings":""}

package/dist/unstable/cli/internal/completions/CommandDescriptor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"CommandDescriptor.js","names":["Option","Param","Primitive","toImpl","toFlagType","single","tag","primitiveType","_tag","keys","getChoiceKeys","values","typeName","pathType","toArgumentType","fromCommand","cmd","impl","config","flags","flag","singles","extractSingleParams","kind","push","name","aliases","description","getOrUndefined","type","args","arg","arguments","metadata","getParamMetadata","required","isOptional","variadic","isVariadic","subcommands","group","subcommand","commands","shortDescription"],"sources":["../../../../../src/unstable/cli/internal/completions/CommandDescriptor.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;AAMA,OAAO,KAAKA,MAAM,MAAM,uBAAuB;AAE/C,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAC/C,SAASC,MAAM,QAAQ,eAAe;AAmDtC;AACA;AACA;AAEA,MAAMC,UAAU,GAAIC,MAAqC,IAAc;EACrE,MAAMC,GAAG,GAAGD,MAAM,CAACE,aAAa,CAACC,IAAI;EACrC,QAAQF,GAAG;IACT,KAAK,SAAS;MACZ,OAAO;QAAEE,IAAI,EAAE;MAAS,CAAE;IAC5B,KAAK,SAAS;MACZ,OAAO;QAAEA,IAAI,EAAE;MAAS,CAAE;IAC5B,KAAK,OAAO;MACV,OAAO;QAAEA,IAAI,EAAE;MAAO,CAAE;IAC1B,KAAK,MAAM;MACT,OAAO;QAAEA,IAAI,EAAE;MAAM,CAAE;IACzB,KAAK,QAAQ;MAAE;QACb,MAAMC,IAAI,GAAGP,SAAS,CAACQ,aAAa,CAACL,MAAM,CAACE,aAAa,CAAC;QAC1D,OAAO;UAAEC,IAAI,EAAE,QAAQ;UAAEG,MAAM,EAAEF,IAAI,IAAI;QAAE,CAAE;MAC/C;IACA,KAAK,MAAM;MAAE;QACX,MAAMG,QAAQ,GAAGP,MAAM,CAACO,QAAQ;QAChC,MAAMC,QAAQ,GAAoCD,QAAQ,KAAK,MAAM,GACjE,MAAM,GACNA,QAAQ,KAAK,WAAW,GACxB,WAAW,GACX,QAAQ;QACZ,OAAO;UAAEJ,IAAI,EAAE,MAAM;UAAEK;QAAQ,CAAE;MACnC;IACA;MACE,OAAO;QAAEL,IAAI,EAAE;MAAQ,CAAE;EAC7B;AACF,CAAC;AAED,MAAMM,cAAc,GAAIT,MAAyC,IAAkB;EACjF,MAAMC,GAAG,GAAGD,MAAM,CAACE,aAAa,CAACC,IAAI;EACrC,QAAQF,GAAG;IACT,KAAK,SAAS;MACZ,OAAO;QAAEE,IAAI,EAAE;MAAS,CAAE;IAC5B,KAAK,OAAO;MACV,OAAO;QAAEA,IAAI,EAAE;MAAO,CAAE;IAC1B,KAAK,MAAM;MACT,OAAO;QAAEA,IAAI,EAAE;MAAM,CAAE;IACzB,KAAK,QAAQ;MAAE;QACb,MAAMC,IAAI,GAAGP,SAAS,CAACQ,aAAa,CAACL,MAAM,CAACE,aAAa,CAAC;QAC1D,OAAO;UAAEC,IAAI,EAAE,QAAQ;UAAEG,MAAM,EAAEF,IAAI,IAAI;QAAE,CAAE;MAC/C;IACA,KAAK,MAAM;MAAE;QACX,MAAMG,QAAQ,GAAGP,MAAM,CAACO,QAAQ;QAChC,MAAMC,QAAQ,GAAoCD,QAAQ,KAAK,MAAM,GACjE,MAAM,GACNA,QAAQ,KAAK,WAAW,GACxB,WAAW,GACX,QAAQ;QACZ,OAAO;UAAEJ,IAAI,EAAE,MAAM;UAAEK;QAAQ,CAAE;MACnC;IACA;MACE,OAAO;QAAEL,IAAI,EAAE;MAAQ,CAAE;EAC7B;AACF,CAAC;AAED;AACA;AACA;AAEA;AACA,OAAO,MAAMO,WAAW,GAAIC,GAAgB,IAAuB;EACjE,MAAMC,IAAI,GAAGd,MAAM,CAACa,GAAG,CAAC;EACxB,MAAME,MAAM,GAAGD,IAAI,CAACC,MAAM;EAE1B,MAAMC,KAAK,GAA0B,EAAE;EACvC,KAAK,MAAMC,IAAI,IAAIF,MAAM,CAACC,KAAK,EAAE;IAC/B,MAAME,OAAO,GAAGpB,KAAK,CAACqB,mBAAmB,CAACF,IAAI,CAAC;IAC/C,KAAK,MAAMf,MAAM,IAAIgB,OAAO,EAAE;MAC5B,IAAIhB,MAAM,CAACkB,IAAI,KAAK,MAAM,EAAE;MAC5BJ,KAAK,CAACK,IAAI,CAAC;QACTC,IAAI,EAAEpB,MAAM,CAACoB,IAAI;QACjBC,OAAO,EAAErB,MAAM,CAACqB,OAAO;QACvBC,WAAW,EAAE3B,MAAM,CAAC4B,cAAc,CAACvB,MAAM,CAACsB,WAAW,CAAC;QACtDE,IAAI,EAAEzB,UAAU,CAACC,MAAuC;OACzD,CAAC;IACJ;EACF;EAEA,MAAMyB,IAAI,GAA8B,EAAE;EAC1C,KAAK,MAAMC,GAAG,IAAIb,MAAM,CAACc,SAAS,EAAE;IAClC,MAAMX,OAAO,GAAGpB,KAAK,CAACqB,mBAAmB,CAACS,GAAG,CAAC;IAC9C,MAAME,QAAQ,GAAGhC,KAAK,CAACiC,gBAAgB,CAACH,GAAG,CAAC;IAC5C,KAAK,MAAM1B,MAAM,IAAIgB,OAAO,EAAE;MAC5B,IAAIhB,MAAM,CAACkB,IAAI,KAAK,UAAU,EAAE;MAChCO,IAAI,CAACN,IAAI,CAAC;QACRC,IAAI,EAAEpB,MAAM,CAACoB,IAAI;QACjBE,WAAW,EAAE3B,MAAM,CAAC4B,cAAc,CAACvB,MAAM,CAACsB,WAAW,CAAC;QACtDQ,QAAQ,EAAE,CAACF,QAAQ,CAACG,UAAU;QAC9BC,QAAQ,EAAEJ,QAAQ,CAACK,UAAU;QAC7BT,IAAI,EAAEf,cAAc,CAACT,MAA2C;OACjE,CAAC;IACJ;EACF;EAEA,MAAMkC,WAAW,GAA6B,EAAE;EAChD,KAAK,MAAMC,KAAK,IAAIxB,GAAG,CAACuB,WAAW,EAAE;IACnC,KAAK,MAAME,UAAU,IAAID,KAAK,CAACE,QAAQ,EAAE;MACvCH,WAAW,CAACf,IAAI,CAACT,WAAW,CAAC0B,UAAU,CAAC,CAAC;IAC3C;EACF;EAEA,OAAO;IACLhB,IAAI,EAAET,GAAG,CAACS,IAAI;IACdE,WAAW,EAAEX,GAAG,CAAC2B,gBAAgB,IAAI3B,GAAG,CAACW,WAAW;IACpDR,KAAK;IACLa,SAAS,EAAEF,IAAI;IACfS;GACD;AACH,CAAC","ignoreList":[]}