Transforming effect type

[DGolubets]

What's the idiomatic way to transform effect types?
Let's say I want to convert Abort[Throwable] to Abort[String].
Should I write something like this or is there a better way?

def transformError[A](computation: A < Abort[Throwable]): A < Abort[String] =
  Abort
    .run(computation)
    .map(e => Abort.get(e.mapError(_.failureOrPanic.getMessage)))

[ahoy-jon]

👋 I would go with those solutions:

import kyo.*

trait mapErrorOnThrowable[A, S]:

  val computation: A < (Abort[Throwable] & S)

  // doesn't handle the Panic
  val usingCombinators_1: A < (Abort[String] & S) = computation.mapAbort(e => e.getMessage)

  val usingCombinators_2: A < (Abort[String] & S) =
    computation.result.map:
      case Result.Success(value) => value
      case Result.Error(e)       => Abort.fail(e.getMessage)

  // Handling
  val usingAborts_1: A < (Abort[String] & S) =
    Abort.recoverError[Throwable](e => Abort.fail(e.failureOrPanic.getMessage))(computation)

[DGolubets]

Thanks @ahoy-jon
I've realized I was missing kyo-combinators dependency which allows to do all of that.

[ahoy-jon]

it helps, however, on your case, it's something we need to clarify on Kyo, for v: A < (S & Abort[Throwable]), Abort.run(v) will not push all the Panic + Fail into Result.Failure.