Skip to content

Conversation

vinassefranche
Copy link
Contributor

Type

  • Refactor
  • Feature (might be a bug fix)
  • Bug Fix
  • Optimization
  • Documentation Update

Description

This makes an Option use as default the value of the last Options.withDefault called.

pipe(Options.integer('i'), Options.withDefault(0), Options.withDefault(1))

1 will be the default value for i instead of currently 0

Related

See this discord message for more details

  • Related Issue #
  • Closes #

@github-project-automation github-project-automation bot moved this to Discussion Ongoing in PR Backlog Sep 3, 2025
Copy link

changeset-bot bot commented Sep 3, 2025

🦋 Changeset detected

Latest commit: a32778b

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

This PR includes changesets to release 1 package
Name Type
@effect/cli Minor

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

@effect-bot effect-bot force-pushed the next-minor branch 5 times, most recently from af76dc9 to c19457b Compare September 3, 2025 22:31
@vinassefranche vinassefranche changed the title refactor: allow to call Options.withDefault multiple times on the same Option Allow to call Options.withDefault multiple times on the same Option Sep 4, 2025
@effect-bot effect-bot force-pushed the next-minor branch 17 times, most recently from e1c59ca to ddda34a Compare September 10, 2025 00:01
@effect-bot effect-bot force-pushed the next-minor branch 14 times, most recently from b64c6b1 to 5306ee2 Compare September 17, 2025 01:46
@github-project-automation github-project-automation bot moved this from Discussion Ongoing to Done in PR Backlog Sep 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant