Packages

p

eu.timepit.refined

internal

package internal

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

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)

Value Members

  1. object Adjacent extends Serializable
  2. object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  3. object Resources
  4. object WitnessAs extends Serializable

Ungrouped