effect 4.0.3 → 4.0.5

package/src/internal/graphql.ts

@@ -0,0 +1,286 @@
+import { isReadonlyArrayNonEmpty, type NonEmptyReadonlyArray } from "../Array.ts"
+import * as Context from "../Context.ts"
+import * as Effect from "../Effect.ts"
+import type * as GraphQL from "../graphql/GraphQL.ts"
+import type { DocumentTemplate } from "../graphql/GraphQL.ts"
+import type { PartialResult } from "../graphql/GraphQLClient.ts"
+import {
+  DecodeError,
+  EncodeError,
+  GraphQLClientError,
+  type GraphQLError,
+  type Reason,
+  ResponseError
+} from "../graphql/GraphQLClientError.ts"
+import type { ExecutionResult, GraphQLProtocol, GraphQLRequest } from "../graphql/GraphQLProtocol.ts"
+import * as Schema from "../Schema.ts"
+
+/**
+ * Builds a response error with raw data and transport metadata.
+ *
+ * @internal
+ */
+export const responseError = (
+  result: ExecutionResult | undefined,
+  errors: NonEmptyReadonlyArray<GraphQLError>
+): ResponseError =>
+  new ResponseError({
+    errors,
+    ...(result?.data === undefined ? {} : { data: result.data as Schema.Json }),
+    ...(result?.extensions === undefined ? {} : { extensions: result.extensions }),
+    ...(result?.status === undefined ? {} : { status: result.status }),
+    ...(result?.headers === undefined ? {} : { headers: result.headers })
+  })
+
+/**
+ * Raw responses for partial results, used by resolvers to preserve error
+ * metadata. Mock client results have no entry.
+ *
+ * @internal
+ */
+export const partialResponses = new WeakMap<object, ExecutionResult>()
+
+/**
+ * Joins two printed pieces, adding a space only where two non-punctuators
+ * would otherwise touch. This is the generator printer's rule, so joining a
+ * generated template reproduces the printed document exactly.
+ */
+const concat = (left: string, right: string): string =>
+  /[\w"-]$/.test(left) && /^[\w"-]/.test(right) ? `${left} ${right}` : left + right
+
+const concatAll = (pieces: ReadonlyArray<string>): string => pieces.reduce(concat, "")
+
+/** Renders template parts, prefixing every name (the odd entries). */
+const renderParts = (parts: DocumentTemplate.Parts, prefix: string): string =>
+  parts.map((part, i) => i % 2 === 1 ? prefix + part : part).join("")
+
+const isShared = (fragment: DocumentTemplate.Fragment): boolean => fragment.body.length <= 1
+
+/**
+ * Renders the template once per prefix. The empty prefix renders it as
+ * written; any other prefix renames variables and per-slice fragments and
+ * aliases root fields to the prefixed response key.
+ */
+const render = (
+  kind: string,
+  name: string,
+  template: DocumentTemplate,
+  prefixes: ReadonlyArray<string>
+): string =>
+  concatAll([
+    kind,
+    name,
+    template.variables.length === 0 ? "" : `(${
+      concatAll(
+        prefixes.flatMap((prefix) =>
+          template.variables.map((variable) => `$${prefix}${variable.name}:${variable.body}`)
+        )
+      )
+    })`,
+    template.directives === undefined ? "" : renderParts(template.directives, ""),
+    `{${
+      concatAll(prefixes.flatMap((prefix) =>
+        template.selections.map((selection) => {
+          const key = prefix === "" ? selection.alias : `${prefix}${selection.alias ?? selection.name}`
+          return `${key === undefined ? "" : `${key}:`}${selection.name ?? ""}${renderParts(selection.body, prefix)}`
+        })
+      ))
+    }}`,
+    ...template.fragments.flatMap((fragment) =>
+      (isShared(fragment) ? [""] : prefixes).map((prefix) =>
+        concatAll(["fragment", prefix + fragment.name, renderParts(fragment.body, prefix)])
+      )
+    )
+  ])
+
+/**
+ * Joins a template into the document it was split from.
+ *
+ * @internal
+ */
+export const joinTemplate = (kind: string, name: string, template: DocumentTemplate): string =>
+  render(kind, name, template, [""])
+
+/**
+ * Why the template can't be sliced for any prefixes, if it can't: an operation
+ * directive references a variable, or a root selection is a fragment spread or
+ * inline fragment.
+ *
+ * @internal
+ */
+export const templateUnsliceableReason = (template: DocumentTemplate): string | undefined => {
+  if (template.directives !== undefined && template.directives.length > 1) {
+    return "its operation directives reference variables"
+  }
+  if (template.selections.some((selection) => selection.name === undefined)) {
+    return "it has a fragment spread or inline fragment at the root"
+  }
+  return undefined
+}
+
+/**
+ * Renders one operation that repeats the template once per prefix. Each
+ * slice's variables, root response keys and per-slice fragments are renamed
+ * with its prefix; operation directives and shared fragments appear once.
+ * Prefixes must start a GraphQL name, and none may be a prefix of another.
+ *
+ * Throws rather than producing an invalid document when the template is
+ * unsliceable (see {@link templateUnsliceableReason}) or a renamed fragment
+ * would take a shared fragment's name.
+ *
+ * @internal
+ */
+export const renderSlices = (
+  kind: string,
+  name: string,
+  template: DocumentTemplate,
+  prefixes: NonEmptyReadonlyArray<string>
+): string => {
+  const shared = new Set(template.fragments.filter(isShared).map((fragment) => fragment.name))
+  const collision = template.fragments
+    .flatMap((fragment) => isShared(fragment) ? [] : prefixes.map((prefix) => prefix + fragment.name))
+    .find((renamed) => shared.has(renamed))
+  const reason = templateUnsliceableReason(template) ??
+    (collision === undefined ? undefined : `fragment ${collision} would collide with a shared fragment`)
+  if (reason !== undefined) throw new Error(`Cannot render slices of operation ${name}: ${reason}`)
+  return render(kind, name, template, prefixes)
+}
+
+/**
+ * Forces POST for alias batches to avoid GET URL length limits.
+ *
+ * @internal
+ */
+export const ForcePost = Context.Reference<boolean>("effect/graphql/ForcePost", { defaultValue: () => false })
+
+/**
+ * The URL a resolver batch was grouped by, and the protocol `url` that
+ * resolved it, so that transport sends the batch there without resolving it
+ * again.
+ *
+ * @internal
+ */
+export type ResolvedUrl = {
+  readonly resolve: GraphQLProtocol["Service"]["url"]
+  readonly url: string
+} | undefined
+
+/**
+ * Carries a {@link ResolvedUrl} from a resolver batch to the transport. The
+ * client clears it while middleware run, so calls they make resolve their
+ * own URL.
+ *
+ * @internal
+ */
+export const ResolvedUrl = Context.Reference<ResolvedUrl>("effect/graphql/ResolvedUrl", {
+  defaultValue: () => undefined
+})
+
+/**
+ * JSON with object keys sorted, so equal JSON values give equal strings.
+ *
+ * @internal
+ */
+export const canonicalJson = (value: unknown): string =>
+  JSON.stringify(value, (_, value) =>
+    value !== null && typeof value === "object" && !Array.isArray(value)
+      ? Object.fromEntries(Object.keys(value).sort().map((key) => [key, value[key]]))
+      : value)
+
+/**
+ * Shared variable encoding, result decoding and client error mapping.
+ *
+ * @internal
+ */
+export const makeCodec = <Op extends GraphQL.Any>(operation: Op) => {
+  const fail = (reason: Reason) => new GraphQLClientError({ operation: operation.name, reason })
+  const schemaFail = (make: (description: string) => Reason) => (error: Schema.SchemaError) =>
+    Effect.fail(fail(make(error.message)))
+  const encode = Schema.encodeEffect(operation.variables)
+  const decode = Schema.decodeUnknownEffect(operation.result)
+
+  const encodeVariables = (
+    variables: GraphQL.Variables<Op> | undefined
+  ): Effect.Effect<unknown, GraphQLClientError, Op["variables"]["EncodingServices"]> =>
+    Effect.catch(encode(variables ?? {}), schemaFail((description) => new EncodeError({ description })))
+
+  const decodeData = (
+    data: unknown
+  ): Effect.Effect<GraphQL.Result<Op>, GraphQLClientError, Op["result"]["DecodingServices"]> =>
+    Effect.catch(decode(data), schemaFail((description) => new DecodeError({ description })))
+
+  // GraphQL requires errors when data is null or missing. Check before decoding,
+  // since schemas such as Schema.Json accept null.
+  const failResponse = (result: ExecutionResult): Effect.Effect<never, GraphQLClientError> => {
+    const errors = result.errors ?? []
+    return Effect.fail(fail(
+      isReadonlyArrayNonEmpty(errors)
+        ? responseError(result, errors)
+        : new DecodeError({ description: "data is null or missing without errors" })
+    ))
+  }
+
+  const decodeStrict = (
+    result: ExecutionResult
+  ): Effect.Effect<GraphQL.Result<Op>, GraphQLClientError, Op["result"]["DecodingServices"]> =>
+    isReadonlyArrayNonEmpty(result.errors ?? []) || result.data === null || result.data === undefined
+      ? failResponse(result)
+      : decodeData(result.data)
+
+  const decodePartial = (
+    result: ExecutionResult
+  ): Effect.Effect<PartialResult<GraphQL.Result<Op>>, GraphQLClientError, Op["result"]["DecodingServices"]> => {
+    if (result.data === null || result.data === undefined) return failResponse(result)
+    return Effect.map(decodeData(result.data), (data): PartialResult<GraphQL.Result<Op>> => {
+      const partial = { data, errors: result.errors ?? [] }
+      partialResponses.set(partial, result)
+      return partial
+    })
+  }
+
+  return { fail, schemaFail, encodeVariables, failResponse, decodeStrict, decodePartial } as const
+}
+
+/**
+ * Client batch runners (middleware and protocol, using POST) and URLs for
+ * resolver grouping. Mock and custom methods are not registered.
+ *
+ * @internal
+ */
+export const rawExecutors = new WeakMap<object, {
+  readonly execute: (request: GraphQLRequest) => Effect.Effect<ExecutionResult, unknown, unknown>
+  readonly url: GraphQLProtocol["Service"]["url"]
+}>()
+
+/**
+ * Splits a batched response, removing prefixes from root keys and error paths.
+ * Returns undefined if an error matches no slice or data is null or missing.
+ *
+ * @internal
+ */
+export const splitSlices = (
+  result: ExecutionResult,
+  template: DocumentTemplate,
+  prefixes: ReadonlyArray<string>
+): ReadonlyArray<ExecutionResult> | undefined => {
+  const sliceErrors = prefixes.map((): Array<GraphQLError> => [])
+  for (const error of result.errors ?? []) {
+    const key = error.path?.[0]
+    // No prefix is a prefix of another, so at most one matches.
+    const index = typeof key === "string" ? prefixes.findIndex((prefix) => key.startsWith(prefix)) : -1
+    if (index === -1) return undefined
+    sliceErrors[index].push(
+      { ...error, path: [(key as string).slice(prefixes[index].length), ...error.path!.slice(1)] } as GraphQLError
+    )
+  }
+  if (result.data === null || result.data === undefined) return undefined
+  const data = result.data as Record<string, unknown>
+  return prefixes.map((prefix, i) => {
+    const sliceData: Record<string, unknown> = {}
+    for (const selection of template.selections) {
+      const key = (selection.alias ?? selection.name)!
+      if (Object.hasOwn(data, prefix + key)) sliceData[key] = data[prefix + key]
+    }
+    return { ...result, data: sliceData, errors: sliceErrors[i] }
+  })
+}

package/src/internal/graphqlHeaders.ts

@@ -0,0 +1,11 @@
+import * as Headers from "../http/Headers.ts"
+import * as Schema from "../Schema.ts"
+import * as SchemaGetter from "../SchemaGetter.ts"
+
+// Keep headers branded at runtime while encoding only their string entries.
+export const HeadersSchema = Schema.Record(Schema.String, Schema.String).pipe(
+  Schema.decodeTo(Schema.declare<Headers.Headers>(Headers.isHeaders), {
+    decode: SchemaGetter.transform(Headers.fromInput),
+    encode: SchemaGetter.transform((headers) => ({ ...headers }))
+  })
+)

package/src/internal/request.ts

@@ -4,6 +4,8 @@ import type { Effect } from "../Effect.ts"
 import type { Exit } from "../Exit.ts"
 import type { Fiber } from "../Fiber.ts"
 import { dual } from "../Function.ts"
+import * as MutableHashMap from "../MutableHashMap.ts"
+import * as Option from "../Option.ts"
 import type * as Request from "../Request.ts"
 import { makeEntry } from "../Request.ts"
 import type { RequestResolver } from "../RequestResolver.ts"
@@ -67,10 +69,36 @@ export const requestUnsafe = <A extends Request.Any>(
   return () => removeEntryUnsafe(options.resolver, entry)
 }
 
+/**
+ * Pending batches of resolvers whose `batchKey` is in this set match keys with
+ * `Equal` instead of by reference.
+ *
+ * @internal
+ */
+export const equalBatchKeys = new WeakSet<Function>()
+
+interface BatchMap {
+  get(key: unknown): Batch | undefined
+  has(key: unknown): boolean
+  set(key: unknown, batch: Batch): void
+  delete(key: unknown): void
+}
+
+const makeBatchMap = (resolver: RequestResolver<any>): BatchMap => {
+  if (!equalBatchKeys.has(resolver.batchKey)) return new Map()
+  const map = MutableHashMap.empty<unknown, Batch>()
+  return {
+    get: (key) => Option.getOrUndefined(MutableHashMap.get(map, key)),
+    has: (key) => MutableHashMap.has(map, key),
+    set: (key, batch) => MutableHashMap.set(map, key, batch),
+    delete: (key) => MutableHashMap.remove(map, key)
+  }
+}
+
 interface Batch {
   key: unknown
   resolver: RequestResolver<any>
-  map: Map<unknown, Batch>
+  map: BatchMap
   readonly entrySet: Set<Request.Entry<any>>
   readonly entries: Set<Request.Entry<any>>
   readonly delayEffect: Effect<void>
@@ -79,7 +107,7 @@ interface Batch {
 }
 
 const batchPool: Array<Batch> = []
-const pendingBatches = new WeakMap<RequestResolver<any>, Map<unknown, Batch>>()
+const pendingBatches = new WeakMap<RequestResolver<any>, BatchMap>()
 
 const addEntry = <A extends Request.Any>(
   resolver: RequestResolver<A>,
@@ -93,7 +121,7 @@ const addEntry = <A extends Request.Any>(
 ) => {
   let batchMap = pendingBatches.get(resolver)
   if (!batchMap) {
-    batchMap = new Map<object, Batch>()
+    batchMap = makeBatchMap(resolver)
     pendingBatches.set(resolver, batchMap)
   }
   let batch: Batch | undefined

package/src/internal/schema/toCodeDocument.ts

@@ -48,6 +48,8 @@ function renderEmittableAnnotation(input: unknown): string | undefined {
   return entries.length === 0 ? "{}" : `{ ${entries.join(", ")} }`
 }
 
+const canonicalFiniteCheck = `Schema.isFinite().annotate({ "expected": "a finite number" })`
+
 function renderAnnotations(
   annotations: Schema.Annotations.Annotations | undefined
 ): string | undefined {
@@ -341,7 +343,11 @@ export function toCodeDocument(
     let runtime = base.runtime + runtimeAnnotate(representation.annotations)
     for (let index = 0; index < representation.checks.length; index++) {
       const check = representation.checks[index]
-      runtime += `.check(${compileCheck(check, [...path, "checks", index])})`
+      const compiledCheck = compileCheck(check, [...path, "checks", index])
+      // Only collapse a bare number's leading canonical check.
+      runtime = runtime === "Schema.Number" && compiledCheck === canonicalFiniteCheck
+        ? "Schema.Finite"
+        : `${runtime}.check(${compiledCheck})`
     }
     return makeCode(runtime, base.Type)
   }

package/src/internal/schema/toJsonSchemaDocument.ts

@@ -121,6 +121,37 @@ function hasNoCollisions(left: JsonSchema.JsonSchema, rightKeys: ReadonlyArray<s
   return typeof left.$ref !== "string" && rightKeys.every((key) => !Object.hasOwn(left, key))
 }
 
+// Every bound on one schema object applies, so a repeated bound reduces to its tighter value.
+const lowerBoundKeywords = "|minimum|exclusiveMinimum|minLength|minItems|minProperties|"
+const upperBoundKeywords = "|maximum|exclusiveMaximum|maxLength|maxItems|maxProperties|"
+
+// Tightens repeated bounds and drops an inclusive or exclusive bound implied by the other on the same side. Returns
+// `undefined` for a `$ref` schema or a non-bound collision, so the caller falls back to `allOf`.
+function mergeInlineCheck(
+  left: JsonSchema.JsonSchema,
+  right: JsonSchema.JsonSchema,
+  rightKeys: ReadonlyArray<string>
+): JsonSchema.JsonSchema | undefined {
+  if (typeof left.$ref === "string") return undefined
+  const out: JsonSchema.JsonSchema = { ...left, ...right }
+  for (const key of rightKeys) {
+    if (!Object.hasOwn(left, key)) continue
+    const a = left[key]
+    const b = right[key]
+    if (typeof a !== "number" || typeof b !== "number") return undefined
+    if (lowerBoundKeywords.includes(`|${key}|`)) out[key] = Math.max(a, b)
+    else if (upperBoundKeywords.includes(`|${key}|`)) out[key] = Math.min(a, b)
+    else return undefined
+  }
+  if (typeof out.minimum === "number" && typeof out.exclusiveMinimum === "number") {
+    delete out[out.exclusiveMinimum >= out.minimum ? "minimum" : "exclusiveMinimum"]
+  }
+  if (typeof out.maximum === "number" && typeof out.exclusiveMaximum === "number") {
+    delete out[out.exclusiveMaximum <= out.maximum ? "maximum" : "exclusiveMaximum"]
+  }
+  return out
+}
+
 // `format` and `content*` can affect validation, so they are not treated as pure annotations.
 const promotableAnnotationKeywords = "|title|description|default|examples|readOnly|writeOnly|"
 const inlineableAnnotatedCheckKeywords = inlineableCheckKeywords + promotableAnnotationKeywords
@@ -149,8 +180,9 @@ function appendJsonSchema(
         : appendJsonSchema(base, extracted.schema, inlineCheck)
     }
   }
-  if (inlineCheck && hasNoCollisions(left, rightKeys)) {
-    return { ...left, ...right }
+  if (inlineCheck) {
+    const merged = mergeInlineCheck(left, right, rightKeys)
+    if (merged !== undefined) return merged
   }
   const members = Array.isArray(right.allOf) && rightKeys.length === 1 ? right.allOf : [right]
   if (Array.isArray(left.allOf)) {

package/src/internal/version.ts

@@ -1,2 +1,2 @@
 /** @internal */
-export const version = "4.0.3"
+export const version = "4.0.5"

package/src/net/Host.ts

@@ -9,6 +9,7 @@
  * @stability experimental
  * @since 4.0.0
  */
+import type * as Arr from "../Array.ts"
 import type * as Brand from "../Brand.ts"
 import * as Equal from "../Equal.ts"
 import * as Hash from "../Hash.ts"
@@ -321,6 +322,28 @@ export const formatHost = (self: Host): string => typeof self === "string" ? sel
  */
 export const isFullyQualified = (self: DomainName): boolean => self.endsWith(".")
 
+/**
+ * Appends the trailing dot to a domain name, unless it is already fully
+ * qualified.
+ *
+ * @stability experimental
+ * @category converting
+ * @since 4.0.0
+ */
+export const toFullyQualified = (self: DomainName): DomainName =>
+  isFullyQualified(self) ? self : `${self}.` as DomainName
+
+/**
+ * Removes the trailing dot of a fully qualified domain name, except from the
+ * root name `.`.
+ *
+ * @stability experimental
+ * @category converting
+ * @since 4.0.0
+ */
+export const toRelative = (self: DomainName): DomainName =>
+  self.length > 1 && isFullyQualified(self) ? self.slice(0, -1) as DomainName : self
+
 const HostPortProto = {
   ...Inspectable.BaseProto,
   _tag: "HostPort",
@@ -470,3 +493,52 @@ export const formatHostPort = (self: HostPort): string => {
   const host = formatHost(self.host)
   return host.includes(":") ? `[${host}]:${self.port}` : `${host}:${self.port}`
 }
+
+/**
+ * The addresses of host names, as read from a hosts file.
+ *
+ * @see {@link parseHostsFile} for reading a hosts file
+ * @stability experimental
+ * @category models
+ * @since 4.0.0
+ */
+export type HostsTable = ReadonlyMap<DomainName, Arr.NonEmptyReadonlyArray<NetAddress.IpAddress>>
+
+/**
+ * Parses a hosts file into the addresses of each host name. Invalid entries
+ * are skipped.
+ *
+ * **Example** (Parsing a hosts file)
+ *
+ * ```ts import.meta.vitest
+ * import { Host, NetAddress } from "effect/net"
+ *
+ * const hosts = Host.parseHostsFile(`
+ * 127.0.0.1 localhost
+ * ::1       localhost ip6-localhost # loopback
+ * `)
+ * hosts.get(Host.domainNameFromStringUnsafe("localhost"))?.map(NetAddress.formatIp) // => ["127.0.0.1", "::1"]
+ * ```
+ *
+ * @stability experimental
+ * @category decoding
+ * @since 4.0.0
+ */
+export const parseHostsFile = (text: string): HostsTable => {
+  const hosts = new Map<DomainName, Array<NetAddress.IpAddress>>()
+  for (const line of text.split(/\r?\n/)) {
+    const comment = line.indexOf("#")
+    const [first, ...names] = (comment === -1 ? line : line.slice(0, comment)).trim().split(/\s+/)
+    const address = NetAddress.ipFromString(first)
+    if (Result.isFailure(address)) continue
+    for (const name of names) {
+      const domain = domainNameFromString(name)
+      if (Result.isFailure(domain)) continue
+      const key = toRelative(domain.success)
+      const addresses = hosts.get(key)
+      if (addresses === undefined) hosts.set(key, [address.success])
+      else if (!addresses.some((existing) => Equal.equals(existing, address.success))) addresses.push(address.success)
+    }
+  }
+  return hosts as unknown as HostsTable
+}

package/src/net/NetAddress.ts

@@ -864,6 +864,15 @@ export const ipv4Loopback: Ipv4Address = makeIpv4(0x7f000001)
  */
 export const ipv6Loopback: Ipv6Address = makeIpv6(0, 0, 0, 1)
 
+/**
+ * The loopback addresses `127.0.0.1` and `::1`.
+ *
+ * @stability unstable
+ * @category constants
+ * @since 4.0.0
+ */
+export const loopbackAddresses: readonly [Ipv4Address, Ipv6Address] = [ipv4Loopback, ipv6Loopback]
+
 /**
  * The unspecified IPv4 address `0.0.0.0`.
  *

package/src/observability/Otlp.ts

@@ -42,6 +42,11 @@ export const layer = (options: {
     readonly attributes?: Record<string, unknown>
   } | undefined
   readonly headers?: Headers.Input | undefined
+  /**
+   * Request compression. Defaults to "none". Gzip uses
+   * HttpClientRequest's default minimum body size of 1KB.
+   */
+  readonly compression?: "gzip" | "none" | undefined
   readonly maxBatchSize?: number | undefined
   readonly tracerContext?: (<X>(primitive: Tracer.EffectPrimitive<X>, span: Tracer.AnySpan) => X) | undefined
   readonly loggerExportInterval?: Duration.Input | undefined
@@ -59,6 +64,7 @@ export const layer = (options: {
       url: url("/v1/logs"),
       resource: options.resource,
       headers: options.headers,
+      compression: options.compression,
       exportInterval: options.loggerExportInterval,
       maxBatchSize: options.maxBatchSize,
       shutdownTimeout: options.shutdownTimeout,
@@ -69,6 +75,7 @@ export const layer = (options: {
       url: url("/v1/metrics"),
       resource: options.resource,
       headers: options.headers,
+      compression: options.compression,
       exportInterval: options.metricsExportInterval,
       shutdownTimeout: options.shutdownTimeout,
       temporality: options.metricsTemporality
@@ -77,6 +84,7 @@ export const layer = (options: {
       url: url("/v1/traces"),
       resource: options.resource,
       headers: options.headers,
+      compression: options.compression,
       exportInterval: options.tracerExportInterval,
       maxBatchSize: options.maxBatchSize,
       context: options.tracerContext,
@@ -138,6 +146,11 @@ export const layerJson: (options: {
     readonly attributes?: Record<string, unknown>
   } | undefined
   readonly headers?: Headers.Input | undefined
+  /**
+   * Request compression. Defaults to "none". Gzip uses
+   * HttpClientRequest's default minimum body size of 1KB.
+   */
+  readonly compression?: "gzip" | "none" | undefined
   readonly maxBatchSize?: number | undefined
   readonly tracerContext?: (<X>(primitive: Tracer.EffectPrimitive<X>, span: Tracer.AnySpan) => X) | undefined
   readonly loggerExportInterval?: Duration.Input | undefined
@@ -165,6 +178,11 @@ export const layerProtobuf: (options: {
     readonly attributes?: Record<string, unknown>
   } | undefined
   readonly headers?: Headers.Input | undefined
+  /**
+   * Request compression. Defaults to "none". Gzip uses
+   * HttpClientRequest's default minimum body size of 1KB.
+   */
+  readonly compression?: "gzip" | "none" | undefined
   readonly maxBatchSize?: number | undefined
   readonly tracerContext?: (<X>(primitive: Tracer.EffectPrimitive<X>, span: Tracer.AnySpan) => X) | undefined
   readonly loggerExportInterval?: Duration.Input | undefined

package/src/observability/OtlpExporter.ts

@@ -161,6 +161,12 @@ export const layerFlusher: Layer.Layer<Flusher> = Layer.sync(Flusher, () => {
  * after unhandled failures, and flushes during scope finalization up to
  * `shutdownTimeout`.
  *
+ * Optional gzip compression uses `HttpClientRequest.compressBody` before the
+ * retry loop, so retries reuse the compressed bytes. Bodies smaller than 1KB
+ * remain uncompressed. Compression requires runtime `CompressionStream` support;
+ * compression failures follow the same temporary-disable behavior as transport
+ * failures and do not fail flushing or shutdown.
+ *
  * @stability unstable
  * @category constructors
  * @since 4.0.0
@@ -169,6 +175,8 @@ export const make: (
   options: {
     readonly url: string
     readonly headers: Headers.Input | undefined
+    /** Gzip uses the default 1KB minimum body size; smaller batches remain uncompressed. */
+    readonly compression?: "gzip" | "none" | undefined
     readonly label: string
     readonly exportInterval: Duration.Input
     readonly maxBatchSize: number | "disabled"
@@ -218,9 +226,12 @@ export const make: (
     const items = buffer
     buffer = []
     const [body, onSuccess] = options.body(items)
-    return client.execute(
-      HttpClientRequest.setBody(request, body)
-    ).pipe(
+    const batchRequest = HttpClientRequest.setBody(request, body)
+    // Compress before client.execute so transient retries reuse the encoded bytes.
+    const response = options.compression === "gzip"
+      ? HttpClientRequest.compressBody(batchRequest, "gzip").pipe(Effect.flatMap(client.execute))
+      : client.execute(batchRequest)
+    return response.pipe(
       Effect.andThen(onSuccess),
       Effect.asVoid,
       Effect.withTracerEnabled(false)