internal

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)