Packages

trait RefType[F[_, _]] extends Serializable

Type class that allows F to be used as carrier type of a refinement. The first type parameter of F is the base type that is being refined by its second type parameter which is the type-level predicate that denotes the refinement. Consequently, F[T, P] is a phantom type that only contains a value of type T.

The library provides instances of RefType for

  • the Refined value class
  • and shapeless.tag.@@ which is a subtype of its first parameter (i.e. (T @@ P) <: T)
Source
RefType.scala
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RefType
  2. Serializable
  3. Serializable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def unsafeRewrap[T, A, B](ta: F[T, A]): F[T, B]
  2. abstract def unsafeWrap[T, P](t: T): F[T, P]
  3. abstract def unwrap[T, P](tp: F[T, P]): T

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. def coflatMapRefine[T, P, U](tp: F[T, P])(f: (F[T, P]) ⇒ U)(implicit v: Validate[U, P]): Either[String, F[U, P]]
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. def mapRefine[T, P, U](tp: F[T, P])(f: (T) ⇒ U)(implicit v: Validate[U, P]): Either[String, F[U, P]]
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. 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.

    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.

    Example: 

    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)

    Note: The return type is internal.RefinePartiallyApplied[F, P], which has an apply method on it, allowing the type T to be inferred from its argument.

  18. 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.

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

    Example: 

    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

    Note: M stands for macro.

    Note: The return type is internal.RefineMPartiallyApplied[F, P], which has an apply method on it, allowing the type T to be inferred from its argument.

  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. def toString(): String
    Definition Classes
    AnyRef → Any
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def refineMF[T, P]: RefineMFullyApplied[F, T, P]
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.1)

  2. 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]]
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.16) unsafeRewrapM has been deprecated in favor of the non-macro variant unsafeRewrap

  3. 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]]
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.16) unsafeWrapM has been deprecated in favor of the non-macro variant unsafeWrap

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped