• Home
• com.github.julien-truffaut
• monocle-core_3.0.0-M2
• 3.0.0-M0a
• source code
• Either.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

monocle.std.Either.scala Maven / Gradle / Ivy

package monocle.std

import monocle.{PPrism, Prism}

object either extends EitherOptics

trait EitherOptics {
  final def pStdLeft[A, B, C]: PPrism[Either[A, B], Either[C, B], A, C] =
    PPrism[Either[A, B], Either[C, B], A, C] {
      case Left(a)  => Right(a)
      case Right(b) => Left(Right(b))
    }(Left.apply)

  final def stdLeft[A, B]: Prism[Either[A, B], A] =
    pStdLeft[A, B, A]

  final def pStdRight[A, B, C]: PPrism[Either[A, B], Either[A, C], B, C] =
    PPrism[Either[A, B], Either[A, C], B, C] {
      case Left(a)  => Left(Left(a))
      case Right(b) => Right(b)
    }(Right.apply)

  final def stdRight[A, B]: Prism[Either[A, B], B] =
    pStdRight[A, B, B]
}