Packages

package internal

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

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

Deprecated Type Members

  1. final class RefineMFullyApplied[F[_, _], T, P] extends AnyRef
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.1)

Value Members

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

    This object was generated by sbt-buildinfo.

  3. object Resources
  4. object WitnessAs extends WitnessAs1 with Serializable

Ungrouped