[extras-cats] Add innerFind, innerFilterOrElse, innerExists, innerForall, innerContains, innerCollectFirst, innerOrElse and innerOrElseF extension methods to F[Either[A, B]]

[kevin-lee]

Task

Summary

[extras-cats] Add innerFind, innerFilterOrElse, innerExists, innerForall, innerContains, innerCollectFirst, innerOrElse and innerOrElseF extension methods to F[Either[A, B]]

Project Details

Version: 0.35.0

Description

• innerFind

  val feab: F[Either[A, B]] = ...
  feab.innerFind(B => Boolean): F[Option[B]]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerFind(_ > 0)
  // IO[Option[Int]] = IO(Some(1))
  feab.innerFind(_ > 1)
  // IO[Option[Int]] = IO(None)

• innerFilterOrElse

  val feab: F[Either[A, B]] = ...
  feab.innerFilterOrElse[C >: A](B => Boolean, C): F[Either[C, B]]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerFilterOrElse(_ > 0, "Error")
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerFilterOrElse(_ > 1, "Error")
  // IO[Either[String, Int]] = IO(Left("Error"))

• innerExists

  val feab: F[Either[A, B]] = ...
  feab.innerExists(B => Boolean): F[Boolean]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerExists(_ > 0)
  // IO[Boolean] = IO(true)
  feab.innerExists(_ > 1)
  // IO[Boolean] = IO(false)

• innerForall

  val feab: F[Either[A, B]] = ...
  feab.innerForall(B => Boolean): F[Boolean]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerForall(_ > 0)
  // IO[Boolean] = IO(true)
  feab.innerForall(_ > 1)
  // IO[Boolean] = IO(false)
  
  val feab2: IO[Either[String, Int]] = IO(Left("Error"))
  // IO[Either[String, Int]] = IO(Left("Error"))
  feab2.innerForall(_ > 1)
  // IO[Boolean] = IO(true)

• innerContains

  val feab: F[Either[A, B]] = ...
  feab.innerContains(B): F[Boolean]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerContains(1)
  // IO[Boolean] = IO(true)
  feab.innerContains(0)
  // IO[Boolean] = IO(false)
  
  val feab2: IO[Either[String, Int]] = IO(Left("Error"))
  // IO[Either[String, Int]] = IO(Left("Error"))
  feab2.innerContains(1)
  // IO[Boolean] = IO(false)

• innerCollectFirst

  val feab: F[Either[A, B]] = ...
  feab.innerCollectFirst[D](PartialFunction[B, D]): F[Option[D]]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerCollectFirst {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(Some(0))
  
  val feab2: IO[Either[String, Int]] = IO(Right(2))
  // IO[Either[String, Int]] = IO(Right(2))
  feab2.innerCollectFirst {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(Some(999))
  
  val feab3: IO[Either[String, Int]] = IO(Right(3))
  // IO[Either[String, Int]] = IO(Right(3))
  feab3.innerCollectFirst {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(None)
  
  val feab4: IO[Either[String, Int]] = IO(Left("Error"))
  // IO[Either[String, Int]] = IO(Left("Error"))
  feab4.innerCollectFirst {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(None)

• innerOrElse

  val feab: F[Either[A, B]] = ...
  feab.innerOrElse[C >: A, D >: B](=> Either[C, D]): F[Either[C, D]]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerOrElse(0.asRight[String])
  // IO[Option[Int]] = IO(Some(1))
  
  val feab2: IO[Either[String, Int]] = IO(Left("Error"))
  // IO[Either[String, Int]] = IO(Left("Error"))
  feab2.innerOrElse(0.asRight[String])
  // IO[Option[Int]] = IO(Some(0))

• innerOrElseF

  val feab: F[Either[A, B]] = ...
  feab.innerOrElseF[C >: A, D >: B](=> F[Either[C, D]]): F[Either[C, D]]

  val feab: IO[Either[String, Int]] = IO(Right(1))
  // IO[Either[String, Int]] = IO(Right(1))
  feab.innerOrElseF(IO.pure(0.asRight[String]))
  // IO[Option[Int]] = IO(Some(1))
  
  val feab2: IO[Either[String, Int]] = IO(Left("Error"))
  // IO[Either[String, Int]] = IO(Left("Error"))
  feab2.innerOrElseF(IO.pure(0.asRight[String]))
  // IO[Option[Int]] = IO(Some(0))