zio-constraintless
API
Generated with
zio-constraintless/zio.constraintless/AreElementsOf/TypeCollection

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
trait Serializable
trait Product
trait Equals
trait AreElementsOf[T1 :: T11, T2]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with