Packages

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
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: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. 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
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. implicit def equalValidateInferenceNat[T, N <: Nat, P](implicit v: Validate[T, P], nt: Numeric[T], tn: ToInt[N]): ==>[Equal[N], P]
    Definition Classes
    GenericInference
  9. implicit def equalValidateInferenceWit[T, U <: T, P](implicit v: Validate[T, P], wu: Aux[U]): ==>[Equal[U], P]
    Definition Classes
    GenericInference
  10. implicit def equalValidateNat[N <: Nat, T](implicit tn: ToInt[N], wn: Aux[N], nt: Numeric[T]): Plain[T, Equal[N]]
    Definition Classes
    GenericValidate
  11. implicit def equalValidateWit[T, U <: T](implicit wu: Aux[U]): Plain[T, Equal[U]]
    Definition Classes
    GenericValidate
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. 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
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  21. implicit def subtypeValidate[T, U >: T]: Plain[T, Subtype[U]]
    Definition Classes
    GenericValidate
  22. implicit def supertypeValidate[T, U <: T]: Plain[T, Supertype[U]]
    Definition Classes
    GenericValidate
  23. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GenericInference

Inherited from GenericValidate

Inherited from AnyRef

Inherited from Any

Ungrouped