gapt.utils.EitherHelpers.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.utils
import scala.util.Right
object EitherHelpers {
implicit class RichEither[A, B](private val disj: Either[A, B]) extends AnyVal {
def get: B = (disj: @unchecked) match { case Right(b) => b }
}
}