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.

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

[PROPOSAL] Either API deprecation, and preparation for 2.x.x #2830

Merged
merged 24 commits into from
Nov 17, 2022
+1,024 −476
Merged

[PROPOSAL] Either API deprecation, and preparation for 2.x.x #2830

Changes from 1 commit
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
e40d761
WIP - deprecate APIs
nomisRev Sep 20, 2022
59feb7c
Deprecate error handlers
nomisRev Sep 20, 2022
95767bc
Make isRight smart contracted
nomisRev Sep 20, 2022
71dd90e
WIP
nomisRev Sep 21, 2022
70d8447
Deprecate void()
nomisRev Sep 23, 2022
7504a25
Add catch for Throwable
nomisRev Sep 28, 2022
a4bfa41
Add JvmName & apiDump
nomisRev Sep 28, 2022
2c6ffd7
Fix build, and docs
nomisRev Sep 28, 2022
190cbe7
Update knit
nomisRev Sep 28, 2022
d5286f7
More knit fixes..
nomisRev Sep 28, 2022
29be8f7
Fix sequence for Either, and update deprecation
nomisRev Sep 28, 2022
75b0ad2
Merge branch 'main' into WIP-either-API
nomisRev Oct 2, 2022
7d48637
Add onXXX, and rename orXXX to getOrXXX
nomisRev Oct 3, 2022
93bb818
Update API files
nomisRev Oct 3, 2022
1088f1a
Merge branch 'main' into WIP-either-API
nomisRev Oct 3, 2022
83607cf
Move examples to commonTest, and test examples are correct
nomisRev Oct 3, 2022
ea0419b
Merge branch 'WIP-either-API' of github.com:arrow-kt/arrow into WIP-e…
nomisRev Oct 3, 2022
65c2c25
Move knit examples back to jvmTest
nomisRev Oct 3, 2022
bb48375
Fix knit example
nomisRev Oct 3, 2022
da94363
Merge branch 'main' into WIP-either-API
nomisRev Oct 4, 2022
c4c1515
Merge branch 'main' into WIP-either-API
i-walker Oct 5, 2022
3958099
Merge branch 'main' into WIP-either-API
nomisRev Oct 18, 2022
46a3e77
Merge branch 'main' into WIP-either-API
nomisRev Nov 17, 2022
35be008
Merge branch 'main' into WIP-either-API
serras Nov 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into WIP-either-API
@nomisRev
nomisRev authored Oct 4, 2022
commit da9436316ab093fd82935bd7509913af158c24ea

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.