TypeCollection
zio.constraintless.AreElementsOf$.TypeCollection
final case class TypeCollection[T1, T11 <: TypeList, T2 <: TypeList](ev1: IsElementOf[T1, T2], ev2: AreElementsOf[T11, T2]) extends AreElementsOf[T1 :: T11, T2]
Attributes
- Graph
- Supertypes