Raise with context parameters

[serras]

The time has finally come to provide Raise with context parameters! Note that if we publish this library, users still need to use -Xskip-prerelease-check in their build file.

This PR is the start of the conversation of which functions we should expose using context-parameters-style. In this case I've decided to go with the following idea: minimize the amount of additional functions, while allowing people to freely define their functions as:

context(_: Raise<Something>) fun foo() = ...

More concretely, this implies:

• No "runner functions" (either, option, etcetera) with contextual functions. The current functions work still OK with contextual parameters, since the receiver is part of context parameter resolution,
• (Finally!) expose bindAll and mapOrAccumulate with the iterable/sequence/map being a receiver.

[kyay10]

Thanks for pinging me on this! I'll have a look really soon! I had some ideas in a repo called arrow-context, but that's out-of-date now since it was using context receivers

[github-actions]

Kover Report

File	Coverage [19.00%]
arrow-libs/core/arrow-raise-contextual/src/commonMain/kotlin/arrow/core/raise/Raise.kt	43.48%
arrow-libs/core/arrow-raise-contextual/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt	16.97%

Total Project Coverage	47.32%

[tKe]

🙌 Looks like a great first step towards supporting context-parameters.

Is it worth taking the same approach with another module for fx contextual?

Worth adding in some bridges for some of the RaiseAccumulate methods? It's not currently possible to use:

context(_: RaiseAccumulate<String>)
private fun example() {
  val a by accumulating { }
}

(although this would require making the getValue operator available outside of RaiseAccumulate)

[nomisRev]

Okay... I need to refactor my project 😂

[FooIbar]

Note that if we publish this library, users still need to use -Xskip-prerelease-check in their build file.

It seems that context parameters will not force pre-release binaries.
https://github.com/JetBrains/kotlin/blob/6f1bfe9fa11be40ff96ca01b8a55dfc5dde67f47/compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt#L485

[serras]

Since context parameters will not poison the binary, maybe we should just include these functions in arrow-core? WDYT @nomisRev?

[nomisRev]

Yes, sounds good to me!

[Zordid]

Could it be that in your contextual bridge function you did not put all of the contract definition as done by the Raise member functions? I.e.: ensureNotNull misses the invocation contract for the otherwise lambda.

[serras]

Closed in favor of #3646