Package

eu.timepit.refined

internal

Permalink

package internal

Visibility
  1. Public
  2. All

Type Members

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

    Permalink

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

  2. final class ApplyRefMPartiallyApplied[FTP] extends AnyRef

    Permalink

    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

    Permalink

    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 RefineMFullyApplied[F[_, _], T, P] extends AnyRef

    Permalink
  5. final class RefineMPartiallyApplied[F[_, _], P] extends AnyRef

    Permalink

    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.

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

    Permalink

    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.

Value Members

  1. object Adjacent extends Serializable

    Permalink
  2. object BuildInfo extends Product with Serializable

    Permalink

    This object was generated by sbt-buildinfo.

  3. object Resources

    Permalink

Ungrouped