Schema: add support for Transformation + Struct in extend, closes #4536

[gcanti]

Example

Before

import { Schema } from "effect"

const A = Schema.Struct({
  a: Schema.String
})

const B = Schema.Struct({
  b: Schema.String
})

const C = Schema.Struct({
  c: Schema.String
})

const AB = Schema.transform(A, B, {
  strict: true,
  decode: (a) => ({ b: a.a }),
  encode: (b) => ({ a: b.b })
})

// Transformation + Struct
const schema = Schema.extend(AB, C)
/*
throws:
Error: Unsupported schema or overlapping types
details: cannot extend ({ readonly a: string } <-> { readonly b: string }) with { readonly c: string }
*/

After

import { Schema } from "effect"

const A = Schema.Struct({
  a: Schema.String
})

const B = Schema.Struct({
  b: Schema.String
})

const C = Schema.Struct({
  c: Schema.String
})

const AB = Schema.transform(A, B, {
  strict: true,
  decode: (a) => ({ b: a.a }),
  encode: (b) => ({ a: b.b })
})

// Transformation + Struct
const schema = Schema.extend(AB, C)

console.log(Schema.decodeUnknownSync(schema)({ a: "a", c: "c" }))
// Output: { b: 'a', c: 'c' }

console.log(Schema.encodeSync(schema)({ b: "b", c: "c" }))
// Output: { a: 'b', c: 'c' }

[changeset-bot]

🦋 Changeset detected

Latest commit: 172014e

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 36 packages

Name	Type
effect	Patch
@effect/cli	Patch
@effect/cluster-browser	Patch
@effect/cluster-node	Patch
@effect/cluster-workflow	Patch
@effect/cluster	Patch
@effect/experimental	Patch
@effect/opentelemetry	Patch
@effect/platform-browser	Patch
@effect/platform-bun	Patch
@effect/platform-node-shared	Patch
@effect/platform-node	Patch
@effect/platform	Patch
@effect/printer-ansi	Patch
@effect/printer	Patch
@effect/rpc-http	Patch
@effect/rpc	Patch
@effect/sql-clickhouse	Patch
@effect/sql-d1	Patch
@effect/sql-drizzle	Patch
@effect/sql-kysely	Patch
@effect/sql-libsql	Patch
@effect/sql-mssql	Patch
@effect/sql-mysql2	Patch
@effect/sql-pg	Patch
@effect/sql-sqlite-bun	Patch
@effect/sql-sqlite-do	Patch
@effect/sql-sqlite-node	Patch
@effect/sql-sqlite-react-native	Patch
@effect/sql-sqlite-wasm	Patch
@effect/sql	Patch
@effect/typeclass	Patch
@effect/vitest	Patch
@effect/ai	Patch
@effect/ai-anthropic	Patch
@effect/ai-openai	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR