I ll start a new thread related to what suggested

Question

I ll start a new thread related to what < pakoito> suggested on

pablisco · Answer

Would it make sense to have shortcut bindings We may be able to save having to create an Either if not needed Something like ```leftValue bindLeft rightValue bindRight ``` And potentially the same for other types ```nullable bindOr fallbackLeft option bindOr fallbackLeft result bindOr e gt someOtherLeftFrom e ```

simon.vergauwen · Answer

I m actually really looking forward to multiple receivers

simon.vergauwen · Answer

Not sure if it s relevant here but I often find myself wanting to use it in production projects

simon.vergauwen · Answer

To enhance the Either DSL in cool ways

pablisco · Answer

Until we have MR I m trying to create <https github com pablisco scope|this> to provide similar restrictions that we can use to create a nicer API slightly smiling face

simon.vergauwen · Answer

I tried looking into the repo but didn t grasp the functionality yet I think sweat smile Add a readme stuck out tongue winking eye

pablisco · Answer

Yeah it was just an intial try to use Meta sweat smile The target functionality for the first prototype is defined <https github com pablisco scope blob main scope demo src main kotlin com pablisco scope demo Demo kt|here> Means that we can define custom Scope annotations These can be used to tell the compiler that they can only be run on other functions annotated with that same annotation Additionally I would like to add some scope aware storage to share dependencies Potentially typesafe crossed fingers

simon.vergauwen · Answer

Ah okay got it +1 That is pretty cool for special DSLs kinda like `RestrictSuspension` but without limiting suspension

Marc · Answer

I m sorry for my ignorance but what cases are you thinking MR would be beneficial for any example

simon.vergauwen · Answer

You can basically add domain specific DSLs to either or have access to `bind` without wrapping in `either ` Here `ensureNotNull` comes from `either ` and this function can only be called inside `either lt MyError A gt ` but potentially you can write your whole domain code like this without having `Either` in the return type ``` Context EitherEffect lt MyError Any gt suspend fun ProductRepo fetchUsers List lt User gt = ensureNotNull fetch SQL QUERY MyError Users not found ```

simon.vergauwen · Answer

Or when you want to enable special DSLs because you typically want to enable special extension on `Either lt E A gt ` but you also want access to the `EitherEffect lt E Any gt ` So currently we can only add special functions for the DSL inside Arrow Core but with multiple receivers you can add special DSL functions from outside the library also ``` Context EitherEffect lt E Any gt suspend fun lt E gt Either lt E A gt customDSL A val a = this bind DSL logic a either lt E A gt 1 right customDSL ```

Marc · Answer

an what is a `EitherEffect`

simon.vergauwen · Answer

`EitherEffect` is the receiver of the `either ` dsl Here `either lt E A gt this ` `this` is `EitherEffect lt E Any gt `

simon.vergauwen · Answer

That s why you can only call `customDSL` inside `either `