org.hungerford.generic.schema.types.CtxWrapTuplesConstraint
See theCtxWrapTuplesConstraint companion object
Type class witness that every element in one hlist has type of the corresponding element in another hlist wrapped in some context type. E.g., List[Int] *: List[Double] *: List[String] *: EmptyTuple corresponds to Int *: Double *: String *: EmptyTuple
Attributes
- F
context type
- RVt
hlist of value types
- Rt
hlist of context types
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any