[extras-cats] Add innerFilter, innerExists, innerContains, innerForall, innerCollect, innerOrElse and innerOrElseF extension methods to F[Option[A]]

[kevin-lee]

Task

Summary

[extras-cats] Add innerFilter, innerExists, innerContains, innerForall, innerCollect, innerOrElse and innerOrElseF extension methods to F[Option[A]]

Project Details

Version: 0.35.0

Description

• innerFilter

  val foa: F[Option[A]] = ...
  foa.innerFilter(A => Boolean) // F[Option[A]]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerFilter(_ > 0)
  // IO[Option[Int]] = IO(Some(1))
  foa.innerFilter(_ > 1)
  // IO[Option[Int]] = IO(None)

• innerExists

  val foa: F[Option[A]] = ...
  foa.innerExists(A => Boolean) // F[Boolean]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerExists(_ > 0)
  // IO[Boolean] = IO(true)
  foa.innerExists(_ > 1)
  // IO[Boolean] = IO(false)

• innerContains

  val foa: F[Option[A]] = ...
  foa.innerContains(A) // F[Boolean]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerContains(1)
  // IO[Boolean] = IO(true)
  foa.innerContains(0)
  // IO[Boolean] = IO(false)

• innerForall

  val foa: F[Option[A]] = ...
  foa.innerForall(A) // F[Boolean]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerForall(_ > 0)
  // IO[Boolean] = IO(true)
  foa.innerForall(_ > 1)
  // IO[Boolean] = IO(false)
  
  val foa2: IO[Option[Int]] = IO.pure(None)
  // IO[Option[Int]] = IO(None)
  foa2.innerForall(_ > 1)
  // IO[Boolean] = IO(true)

• innerCollect

  val foa: F[Option[A]] = ...
  foa.innerCollect(PartialFunction[A, B]) // F[Option[B]]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerCollect {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(0)
  
  val foa2: IO[Option[Int]] = IO.pure(Some(2))
  // IO[Option[Int]] = IO(2)
  foa.innerCollect {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(999)
  
  val foa3: IO[Option[Int]] = IO.pure(Some(3))
  // IO[Option[Int]] = IO(3)
  foa.innerCollect {
    case 1 => 0
    case 2 => 999
  }
  // IO[Option[Int]] = IO(None)

• innerOrElse

  val foa: F[Option[A]] = ...
  foa.innerOrElse[B >: A](Option[B]) // F[Option[B]]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerOrElse(Some(0))
  // IO[Option[Int]] = IO(Some(1))
  
  val foa2: IO[Option[Int]] = IO.pure(None)
  // IO[Option[Int]] = IO(None)
  foa2.innerOrElse(Some(0))
  // IO[Option[Int]] = IO(Some(0))

• innerOrElseF

  val foa: F[Option[A]] = ...
  foa.innerOrElse[B >: A](F[Option[B]]) // F[Option[B]]

  val foa: IO[Option[Int]] = IO.pure(Some(1))
  // IO[Option[Int]] = IO(Some(1))
  foa.innerOrElse(IO.pure(Some(0)))
  // IO[Option[Int]] = IO(Some(1))
  
  val foa2: IO[Option[Int]] = IO.pure(None)
  // IO[Option[Int]] = IO(None)
  foa2.innerOrElse(IO.pure(Some(0)))
  // IO[Option[Int]] = IO(Some(0))