Option.unzip #25

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.

Sign up for GitHub

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

Jump to bottom

Open

brianberns wants to merge 2 commits into jamil7:main from brianberns:main

brianberns commented Apr 16, 2022

Option.unzip is the opposite of Option.zip.

brianberns added 2 commits

April 16, 2022 00:57


          Added Option.unzip and unzip3.

4173fdd


          Added Option.zip3.

f0032fe

roetlich commented Sep 29, 2022

This looks very good!
@jamil7, you should probably test this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet