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.

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] Effect as typealias #2782

Closed
wants to merge 34 commits into from
Closed
Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
d0f1bdb
Convert Effect to typealias
nomisRev Aug 1, 2022
0525650
Mark catch, as DslMarker and fix imports/docs
nomisRev Aug 1, 2022
66fa123
Update API files
nomisRev Aug 1, 2022
01f6349
Merge branch 'arrow-2' into effect-as-typealias
nomisRev Aug 1, 2022
2db7022
Write some docs, and add inline reified version of attempt
nomisRev Aug 3, 2022
7a65de1
Write, and fix knit examples
nomisRev Aug 4, 2022
895cdc9
Update API files
nomisRev Aug 4, 2022
de8b4d3
Remove catch, in favor of 2 smaller functions
nomisRev Aug 4, 2022
1b02421
Merge branch 'effect-as-typealias' of github.com:arrow-kt/arrow into …
nomisRev Aug 4, 2022
821c688
Merge remote-tracking branch 'origin/arrow-2' into effect-as-typealias
nomisRev Aug 4, 2022
07d4a7a
Fix test
nomisRev Aug 4, 2022
1a3649d
Update API files
nomisRev Aug 4, 2022
9cd0a1b
Remove commented code, and add missing suspend markers in Shift
nomisRev Aug 4, 2022
860a898
Merge branch 'effect-as-typealias' of github.com:arrow-kt/arrow into …
nomisRev Aug 4, 2022
0d1b2f0
Update knit
nomisRev Aug 4, 2022
0b1641b
Update API files
nomisRev Aug 4, 2022
03bb380
Update error handling docs
nomisRev Aug 4, 2022
568eff0
Merge branch 'effect-as-typealias' of github.com:arrow-kt/arrow into …
nomisRev Aug 4, 2022
c92678e
Fix bug in FoldContinuation..
nomisRev Aug 4, 2022
68b87b7
Fix knit
nomisRev Aug 4, 2022
840f791
Add some docs
nomisRev Aug 6, 2022
f98dbac
Update EagerEffect, add internal docs, implement attempt/catch for Ea…
nomisRev Aug 6, 2022
f5ec7a4
Update API files
nomisRev Aug 6, 2022
0a898c5
Add missing BuilderInference, improve test suite EffectSpec
nomisRev Aug 6, 2022
5ff400b
Merge branch 'effect-as-typealias' of github.com:arrow-kt/arrow into …
nomisRev Aug 6, 2022
3b65cb6
Update API files
nomisRev Aug 6, 2022
34aa925
Fix build, and improve visbility modifiers
nomisRev Aug 6, 2022
dd6ecc8
Add some internal docs
nomisRev Aug 6, 2022
6393277
Flatten Cont & Shift types
nomisRev Aug 6, 2022
92b1b93
Nit
nomisRev Aug 7, 2022
5197435
Update API files
nomisRev Aug 7, 2022
9a1e8f5
Fix knitCheck
nomisRev Aug 7, 2022
9f76bb2
Merge branch 'effect-as-typealias' of github.com:arrow-kt/arrow into …
nomisRev Aug 7, 2022
57f74fe
Merge remote-tracking branch 'origin/arrow-2' into effect-as-typealias
nomisRev Aug 7, 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
280 changes: 129 additions & 151 deletions arrow-libs/core/arrow-core/api/arrow-core.api

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@ import kotlin.contracts.ExperimentalContracts
import kotlin.contracts.contract
import kotlin.coroutines.RestrictsSuspension
import kotlin.experimental.ExperimentalTypeInference
import kotlin.jvm.JvmInline

/** Context of the [EagerEffect] DSL. */
@RestrictsSuspension
Expand Down Expand Up @@ -191,7 +190,7 @@ public interface EagerEffectScope<in R> {

/**
* Encloses an action for which you want to catch any `shift`.
* [attempt] is used in combination with [catch].
* [effect] is used in combination with [catch].
*
* ```
* attempt { ... } catch { ... }
Expand All @@ -212,7 +211,7 @@ public interface EagerEffectScope<in R> {
* When the [EagerEffect] has shifted with [R] it will [recover]
* the shifted value to [A], and when it ran the computation to
* completion it will return the value [A].
* [catch] is used in combination with [attempt].
* [catch] is used in combination with [effect].
*
* ```kotlin
* import arrow.core.Either
Expand Down
Loading