RefType

abstract def unsafeRewrap[T, A, B](ta: F[T, A]): F[T, B]

abstract def unsafeRewrapM[T, A, B](c: Context)(ta: scala.reflect.macros.blackbox.Context.Expr[F[T, A]])(implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T], arg1: scala.reflect.macros.blackbox.Context.WeakTypeTag[A], arg2: scala.reflect.macros.blackbox.Context.WeakTypeTag[B]): scala.reflect.macros.blackbox.Context.Expr[F[T, B]]

abstract def unsafeWrap[T, P](t: T): F[T, P]

abstract def unsafeWrapM[T, P](c: Context)(t: scala.reflect.macros.blackbox.Context.Expr[T])(implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T], arg1: scala.reflect.macros.blackbox.Context.WeakTypeTag[P]): scala.reflect.macros.blackbox.Context.Expr[F[T, P]]

abstract def unwrap[T](tp: F[T, _]): T

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def coflatMapRefine[T, P, U](tp: F[T, P])(f: (F[T, P]) ⇒ U)(implicit v: Validate[U, P]): Either[String, F[U, P]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def mapRefine[T, P, U](tp: F[T, P])(f: (T) ⇒ U)(implicit v: Validate[U, P]): Either[String, F[U, P]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def refine[P]: RefinePartiallyApplied[F, P]

Returns a value of type T refined as F[T, P] on the right if it satisfies the predicate P, or an error message on the left otherwise.

scala> import eu.timepit.refined.api.{ Refined, RefType }
     | import eu.timepit.refined.numeric.Positive

scala> RefType[Refined].refine[Positive](10)
res0: Either[String, Refined[Int, Positive]] = Right(10)

def refineM[P]: RefineMPartiallyApplied[F, P]

Macro that returns a value of type T refined as F[T, P] if it satisfies the predicate P, or fails to compile otherwise.

scala> import eu.timepit.refined.api.{ Refined, RefType }
     | import eu.timepit.refined.numeric.Positive

scala> RefType[Refined].refineM[Positive](10)
res0: Refined[Int, Positive] = 10

def refineMF[T, P]: RefineMFullyApplied[F, T, P]

Macro that returns a value of type T refined as F[T, P] if it satisfies the predicate P, or fails to compile otherwise.

scala> import eu.timepit.refined.api.{ Refined, RefType }
     | import eu.timepit.refined.numeric.Positive

scala> RefType[Refined].refineMF[Long, Positive](10)
res0: Refined[Long, Positive] = 10

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit