In the docs of the

shift

function, a code snippet is attached:

suspend fun main() {
  effect<String, Int> {
    shift("SHIFT ME")
  }.fold({ it shouldBe "SHIFT ME" }, { fail("Computation never finishes") })
}

Here shift knows what

B

(the return type) is due to it being the last in the function so it’s

Int

. When shift isn’t used at the end like that, one would need to explicitly pass something to be able to call shift, otherwise it won’t know what

B

is. How is this typically supposed to be used? Is explicitly passing a type there the expected approach while calling that function? And in reality, if I am only calling shift to short-circuit, I won’t use the return value, so should it just be

Unit

? For now I realized doing just

ensure(condition) { LeftType }

was what I wanted, but how about other cases?

shift is getting renamed to

raise

in 2.0 and the return type is no longer a generic

<A>

representing the exit but just

Nothing

Right, I knew I must’ve missed some discussion about this, thanks a lot for the clarification, this makes a lot of sense yeah! And this example was simply from the shift docs, hence I linked it here as an example. In my particular case I had the Right response down lower, but it’s as you described still a problem. The 2.0 syntax would fit exactly what I was going for 😎