Type Members

1.  trait Adjacent[T] extends Ordering[T]

   Type class that provides the next greater or next smaller value for a given argument.

2.  final class ApplyRefMPartiallyApplied[FTP] extends AnyRef

   Helper class that allows the types F, T, and P to be inferred from calls like api.RefType.applyRefM[F[T, P]](t).

   Helper class that allows the types F, T, and P to be inferred from calls like api.RefType.applyRefM[F[T, P]](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

3.  final class ApplyRefPartiallyApplied[FTP] extends AnyRef

   Helper class that allows the types F, T, and P to be inferred from calls like api.RefType.applyRef[F[T, P]](t).

   Helper class that allows the types F, T, and P to be inferred from calls like api.RefType.applyRef[F[T, P]](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

4.  final class RefineMPartiallyApplied[F[_, _], P] extends AnyRef

   Helper class that allows the type T to be inferred from calls like api.RefType.refineM[P](t).

   Helper class that allows the type T to be inferred from calls like api.RefType.refineM[P](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

5.  final class RefinePartiallyApplied[F[_, _], P] extends AnyRef

   Helper class that allows the type T to be inferred from calls like api.RefType.refine[P](t).

   Helper class that allows the type T to be inferred from calls like api.RefType.refine[P](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

6.  final case class WitnessAs[A, B](fst: A, snd: B) extends Product with Serializable

   WitnessAs[A, B] provides the singleton value of type A in fst and fst converted to type B in snd.

   WitnessAs[A, B] provides the singleton value of type A in fst and fst converted to type B in snd.

   The purpose of this type class is to allow literals of other types than the base type to be used as arguments in numeric predicates.

   Example:

   scala> import eu.timepit.refined.{refineV, W}
        | import eu.timepit.refined.api.Refined
        | import eu.timepit.refined.numeric.{Greater, Less}
   
   scala> refineV[Greater[W.`2.718`.T]](BigDecimal(3.141))
   res0: Either[String, BigDecimal Refined Greater[W.`2.718`.T]] = Right(3.141)
   
   scala> refineV[Less[W.`1`.T]](0.618)
   res1: Either[String, Double Refined Less[W.`1`.T]] = Right(0.618)

7.  trait WitnessAs1 extends AnyRef
8.  final class RefineMFullyApplied[F[_, _], T, P] extends AnyRef

   Annotations

   @deprecated

   Deprecated

   (Since version 0.9.1)