eu.timepit.refined

generic

object generic extends GenericValidate with GenericInference

Module for generic predicates.

Source
generic.scala
Linear Supertypes
GenericInference, GenericValidate, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. generic
  2. GenericInference
  3. GenericValidate
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. final case class ConstructorNames[P](p: P) extends Product with Serializable

    Predicate that checks if the constructor names of a sum type satisfy P.

  2. final case class Equal[U](u: U) extends Product with Serializable

    Predicate that checks if a value is equal to U.

  3. final case class FieldNames[P](p: P) extends Product with Serializable

    Predicate that checks if the field names of a product type satisfy P.

  4. final case class Subtype[U]() extends Product with Serializable

    Predicate that witnesses that the type of a value is a subtype of U.

  5. final case class Supertype[U]() extends Product with Serializable

    Predicate that witnesses that the type of a value is a supertype of U.

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. implicit def ctorNamesValidate[T, R0 <: Coproduct, R1 <: HList, K <: HList, NP, NR](implicit lg: Aux[T, R0], cthl: Aux[R0, R1], keys: Aux[R1, K], ktl: ToList[K, Symbol], v: Aux[List[String], NP, NR]): Aux[T, ConstructorNames[NP], ConstructorNames[(v)#Res]]

    Definition Classes
    GenericValidate

  9. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  10. implicit def equalValidateInferenceNat[T, N <: Nat, P](implicit v: Validate[T, P], nt: Numeric[T], tn: ToInt[N]): ==>[Equal[N], P]

    Definition Classes
    GenericInference

  11. implicit def equalValidateInferenceWit[T, U <: T, P](implicit v: Validate[T, P], wu: Aux[U]): ==>[Equal[U], P]

    Definition Classes
    GenericInference

  12. implicit def equalValidateNat[N <: Nat, T](implicit tn: ToInt[N], wn: Aux[N], nt: Numeric[T]): Plain[T, Equal[N]]

    Definition Classes
    GenericValidate

  13. implicit def equalValidateWit[T, U <: T](implicit wu: Aux[U]): Plain[T, Equal[U]]

    Definition Classes
    GenericValidate

  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. implicit def fieldNamesValidate[T, R <: HList, K <: HList, NP, NR](implicit lg: Aux[T, R], keys: Aux[R, K], ktl: ToList[K, Symbol], v: Aux[List[String], NP, NR]): Aux[T, FieldNames[NP], FieldNames[(v)#Res]]

    Definition Classes
    GenericValidate

  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  17. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  19. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  20. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  23. implicit def subtypeValidate[T, U >: T]: Plain[T, Subtype[U]]

    Definition Classes
    GenericValidate

  24. implicit def supertypeValidate[T, U <: T]: Plain[T, Supertype[U]]

    Definition Classes
    GenericValidate

  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  26. def toString(): String

    Definition Classes
    AnyRef → Any

  27. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GenericInference

Inherited from GenericValidate

Inherited from AnyRef

Inherited from Any

Ungrouped