Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Schema: make optional dual #2353

Merged
merged 5 commits into from
Mar 18, 2024
Merged

Schema: make optional dual #2353

merged 5 commits into from
Mar 18, 2024

Conversation

tim-smart
Copy link
Contributor

No description provided.

Copy link

changeset-bot bot commented Mar 18, 2024

🦋 Changeset detected

Latest commit: 96e00cb

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

This PR includes changesets to release 15 packages
Name Type
@effect/schema Patch
effect Patch
@effect/cli Patch
@effect/experimental Patch
@effect/platform-browser Patch
@effect/platform-bun Patch
@effect/platform-node-shared Patch
@effect/platform-node Patch
@effect/platform Patch
@effect/rpc-http Patch
@effect/rpc Patch
@effect/opentelemetry Patch
@effect/printer-ansi Patch
@effect/printer Patch
@effect/typeclass 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

tim-smart and others added 4 commits March 18, 2024 15:31

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
@gcanti gcanti marked this pull request as ready for review March 18, 2024 13:06
@gcanti gcanti changed the title POC for removing Schema.optional overloads Schema: make optional dual Mar 18, 2024
@gcanti gcanti added the schema label Mar 18, 2024
@gcanti gcanti merged commit 5f5fcd9 into main Mar 18, 2024
12 checks passed
@gcanti gcanti deleted the schema-optional branch March 18, 2024 13:10
@gcanti
Copy link
Contributor

gcanti commented Mar 18, 2024

Thanks @tim-smart going to do the same with partial

@github-actions github-actions bot mentioned this pull request Mar 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

2 participants