eu.timepit.refined

generic

object generic extends GenericValidate with GenericInference

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. case class ConstructorNames[P](p: P) extends Product with Serializable

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

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

    Predicate that checks if a value is equal to U.

  3. case class Eval[S](s: S) extends Product with Serializable

    Predicate that checks if a value applied to the predicate S yields true.

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

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

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

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

  6. 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 evalValidate[T, S <: String](implicit ws: Aux[S]): Plain[T, Eval[S]]

    Definition Classes
    GenericValidate

  16. 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

  17. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  19. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    GenericValidate

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

    Definition Classes
    GenericValidate

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

    Definition Classes
    AnyRef

  27. def toString(): String

    Definition Classes
    AnyRef → Any

  28. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GenericInference

Inherited from GenericValidate

Inherited from AnyRef

Inherited from Any

Ungrouped