Add CanHandleError

[kevin-lee]

Task

Summary

Add CanHandleError[F[_]]

Project Details

Version: 1.2.0

Description

Add CanHandleError[F[_]] to handle NonFatal errors with error handle from Throwable to F[AA] where AA >: A.

trait CanHandleError[F[_]] {

  type Xor[A, B]
  type XorT[A, B]

  def handleNonFatalWith[A, AA >: A](fa: => F[A])(handleError: Throwable => F[AA]): F[AA]

  def handleEitherTNonFatalWith[A, AA >: A, B, BB >: B](
      efab: => XorT[A, B]
    )(
      handleError: Throwable => F[Xor[AA, BB]]
    ): XorT[AA, BB]

  def handleNonFatal[A, AA >: A](fa: => F[A])(handleError: Throwable => AA): F[AA]

  def handleEitherTNonFatal[A, AA >: A, B, BB >: B](
      efab: => XorT[A, B]
    )(
      handleError: Throwable => Xor[AA, BB]
    ): XorT[AA, BB]

}