Skip to content

Optional Support#15

Merged
mtj0928 merged 1 commit intomainfrom
optional-support
Jan 1, 2026
Merged

Optional Support#15
mtj0928 merged 1 commit intomainfrom
optional-support

Conversation

@mtj0928
Copy link
Owner

@mtj0928 mtj0928 commented Jan 1, 2026

close #14

@mtj0928 mtj0928 merged commit ae32a8e into main Jan 1, 2026
5 of 6 checks passed
@mtj0928 mtj0928 deleted the optional-support branch January 1, 2026 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

feat: async version of map and flatMap of Optional

1 participant