Function transformTo

packages/effect-app/src/Schema/ext.ts:554–576

(
  from: From,
  to: To,
  decode: (
    fromA: From["Type"],
    options: SchemaAST.ParseOptions
  ) => To["Encoded"]
)

    readonly "~type.constructor.default": "no-default"
    readonly "Rebuild": DropConstructorDefault<T>
    annotate(annotations: S.Annotations.Bottom<T["Type"], T["~type.parameters"]>): DropConstructorDefault<T>
    annotateKey(annotations: S.Annotations.Key<T["Type"]>): DropConstructorDefault<T>
    check(
      ...checks: readonly [SchemaAST.Check<T["Type"]>, ...Array<SchemaAST.Check<T["Type"]>>]
    ): DropConstructorDefault<T>
    rebuild(ast: T["ast"]): DropConstructorDefault<T>
  }

// `replaceContext` is `@internal` in `effect/SchemaAST` (stripped from its public types, though the
// export itself still ships in the compiled JS). Effect's own `withConstructorDefault` goes through the
// same function internally, so this mirrors an existing code path rather than reaching for something
// novel, but it's still an internal API that could move or disappear without a signal.
const SchemaASTInternal = SchemaAST as unknown as {
  readonly replaceContext: <A extends SchemaAST.AST>(ast: A, context: SchemaAST.Context | undefined) => A
}

export interface DropConstructorDefaultLambda extends Struct.Lambda {
  <T extends S.Top>(self: T): DropConstructorDefault<T>
  readonly "~lambda.out": DropConstructorDefault<this["~lambda.in"] & S.Top>
}

/**
 * A `Struct.Lambda` that removes a field's `withConstructorDefault`, if any.
 * Compose with `Struct.pick`/`Struct.omit` via `Struct.map` to derive a
 * partial-update schema from a "create" schema without inheriting defaults
 * that would resurrect omitted fields in `.make(...)` output: