Add CanRecover

[kevin-lee]

Task

Summary

Add CanRecover[F[_]]

Project Details

Version: 1.2.0

Description

trait CanRecover[F[_]] {
  type Xor[A, B]
  type XorT[A, B]

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

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

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

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

}