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 write numeric type class instances that work with both literal singleton types and shapeless.Nat.

   Example:

   scala> import eu.timepit.refined.W
        | import shapeless.nat._5
   
   scala> WitnessAs[W.`5`.T, Int]
   res1: WitnessAs[W.`5`.T, Int] = WitnessAs(5,5)
   
   scala> WitnessAs[_5, Int]
   res2: WitnessAs[_5, Int] = WitnessAs(Succ(),5)

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

   Annotations

   @deprecated

   Deprecated

   (Since version 0.9.1)