object generic extends GenericValidate with GenericInference
Ordering
- Alphabetic
- By Inheritance
Inherited
- generic
- GenericInference
- GenericValidate
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
final
case class
ConstructorNames
[P](p: P) extends Product with Serializable
Predicate that checks if the constructor names of a sum type satisfy
P
. -
final
case class
Equal
[U](u: U) extends Product with Serializable
Predicate that checks if a value is equal to
U
. -
final
case class
FieldNames
[P](p: P) extends Product with Serializable
Predicate that checks if the field names of a product type satisfy
P
. -
final
case class
Subtype
[U]() extends Product with Serializable
Predicate that witnesses that the type of a value is a subtype of
U
. -
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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
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
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
implicit
def
equalValidateInferenceNat[T, N <: Nat, P](implicit v: Validate[T, P], nt: Numeric[T], tn: ToInt[N]): ==>[Equal[N], P]
- Definition Classes
- GenericInference
-
implicit
def
equalValidateInferenceWit[T, U <: T, P](implicit v: Validate[T, P], wu: Aux[U]): ==>[Equal[U], P]
- Definition Classes
- GenericInference
-
implicit
def
equalValidateNat[N <: Nat, T](implicit tn: ToInt[N], wn: Aux[N], nt: Numeric[T]): Plain[T, Equal[N]]
- Definition Classes
- GenericValidate
-
implicit
def
equalValidateWit[T, U <: T](implicit wu: Aux[U]): Plain[T, Equal[U]]
- Definition Classes
- GenericValidate
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
implicit
def
subtypeValidate[T, U >: T]: Plain[T, Subtype[U]]
- Definition Classes
- GenericValidate
-
implicit
def
supertypeValidate[T, U <: T]: Plain[T, Supertype[U]]
- Definition Classes
- GenericValidate
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )