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

Jump to bottom

add Nullable proposal #2675

Merged
merged 12 commits into from
Mar 2, 2022
Merged

add Nullable proposal #2675

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
0b4fdf1
add Nullable proposal
i-walker Feb 25, 2022
049b7ad
fix left to Any?
i-walker Feb 25, 2022
6793e3f
fix test
i-walker Feb 25, 2022
6089d36
Merge remote-tracking branch 'origin/main' into nullable-proposal
i-walker Feb 25, 2022
ed30bbe
remove type argument in favor of Any and dismiss shift to other types
i-walker Feb 25, 2022
e205c9e
use Nothing instead of Any to disallow shifting ot other Types
i-walker Feb 25, 2022
d784509
add deprecations
i-walker Feb 25, 2022
6ea0484
Merge remote-tracking branch 'origin/main' into nullable-proposal
i-walker Mar 1, 2022
80eb0af
bind test
i-walker Mar 1, 2022
bc8626b
Update arrow-libs/core/arrow-core/src/commonTest/kotlin/arrow/core/co…
i-walker Mar 2, 2022
17629bd
fix
i-walker Mar 2, 2022
85b6c84
Merge remote-tracking branch 'origin/main' into nullable-proposal
i-walker Mar 2, 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
8 changes: 8 additions & 0 deletions arrow-libs/core/arrow-core/src/commonTest/kotlin/arrow/core/continuations/NullableSpec.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
package arrow.core.continuations

import arrow.core.Either
import arrow.core.Some
import io.kotest.core.spec.style.StringSpec
import io.kotest.matchers.shouldBe
Expand Down Expand Up @@ -111,4 +112,11 @@ class NullableSpec : StringSpec({
string
} shouldBe null
i-walker marked this conversation as resolved.
Show resolved Hide resolved
}

"Either<Nothing, A> short circuit" {
i-walker marked this conversation as resolved.
Show resolved Hide resolved
nullable {
val either: Either<Nothing, Int> = Either.Right(4)
either.bind() + 3
} shouldBe 7
}
})