zio-constraintless/zio.constraintless/AreElementsOf/TypeCollection

TypeCollection

final case class TypeCollection[T1, T11 <: TypeList, T2 <: TypeList](ev1: IsElementOf[T1, T2], ev2: AreElementsOf[T11, T2]) extends AreElementsOf[T1 :: T11, T2]
trait Serializable
trait Product
trait Equals
trait AreElementsOf[T1 :: T11, T2]
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product