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

AreElementsOf

zio.constraintless.AreElementsOf$
See theAreElementsOf companion trait
object AreElementsOf

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class NilCollection[T2 <: TypeList]() extends AreElementsOf[End, T2]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait AreElementsOf[End, T2]
class Object
trait Matchable
class Any
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 Product
trait Equals
trait AreElementsOf[T1 :: T11, T2]
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[T1 <: TypeList, T2 <: TypeList](implicit ev: AreElementsOf[T1, T2]): AreElementsOf[T1, T2]

Implicits

Implicits

implicit def endElementOfTypes[Types <: TypeList]: AreElementsOf[End, Types]
implicit def typesElementsOfTypes[Head, Tail <: TypeList, Types <: TypeList](implicit ev1: IsElementOf[Head, Types], ev2: AreElementsOf[Tail, Types]): AreElementsOf[Head :: Tail, Types]
Generated with