Implement Struct.keys as a typed alternative to Object.keys

[mikearnaldi]

Allows for use cases such as:

import * as S from "@effect/schema/Schema"
import { Struct } from "effect"

export const Version = S.String.pipe(
  S.pattern(/^\d+\.\d+\.\d+$/) // Ensure "<major>.<minor>.<patch>" and no leading or trailing
)

export const Email = S.String.pipe(
  S.pattern(
    /^(?!\.)(?!.*\.\.)([A-Z0-9_+-.]*)[A-Z0-9_+-]@([A-Z0-9][A-Z0-9-]*\.)+[A-Z]{2,}$/i
  )
)
export const Entity = S.Struct({
  id: S.UUID,
  version: Version
})
export class Creator extends S.Class<Creator>("creator")({
  ...Entity.fields,
  createdAt: S.Date,
  communicationChannels: S.Array(S.String),
  email: Email,
  platforms: S.Array(S.String)
}) {}

////// Usecase
export const UseCaseCreateCreator = S.Struct(
  Struct.omit(Creator.fields, ...Struct.keys(Entity.fields))
)

[changeset-bot]

🦋 Changeset detected

Latest commit: 03643fe

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

This PR includes changesets to release 31 packages

Name	Type
effect	Minor
@effect/cli	Major
@effect/cluster-browser	Major
@effect/cluster-node	Major
@effect/cluster-workflow	Major
@effect/cluster	Major
@effect/experimental	Major
@effect/opentelemetry	Major
@effect/platform-browser	Major
@effect/platform-bun	Major
@effect/platform-node-shared	Major
@effect/platform-node	Major
@effect/platform	Major
@effect/printer-ansi	Major
@effect/printer	Major
@effect/rpc-http	Major
@effect/rpc	Major
@effect/schema	Major
@effect/sql-d1	Major
@effect/sql-drizzle	Major
@effect/sql-kysely	Major
@effect/sql-mssql	Major
@effect/sql-mysql2	Major
@effect/sql-pg	Major
@effect/sql-sqlite-bun	Major
@effect/sql-sqlite-node	Major
@effect/sql-sqlite-react-native	Major
@effect/sql-sqlite-wasm	Major
@effect/sql	Major
@effect/typeclass	Major
@effect/vitest	Major

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

[mikearnaldi]

/rebase

[tim-smart]

We also have Record.keys which is similar, but incorrectly removes symbols from the type.

[tim-smart]

I guess it doesn't hurt to have it in both modules.