eu.timepit.refined.api.Refined.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of refined_sjs1_3 Show documentation

Simple refinement types for Scala

The newest version!

package eu.timepit.refined.api

infix opaque type Refined[T, P] = T

object Refined {

  def unsafeApply[T, P](t: T): Refined[T, P] = t

  def unapply[T, P](r: Refined[T, P]): Some[T] = Some(r)

  extension [T, P](r: Refined[T, P]) {
    def value: T = r
  }
}