zio-constraintless/zio.constraintless/AreElementsOf

AreElementsOf

object AreElementsOf
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class NilCollection[T2 <: TypeList]() extends AreElementsOf[End, T2]
final case class TypeCollection[T1, T11 <: TypeList, T2 <: TypeList](ev1: IsElementOf[T1, T2], ev2: AreElementsOf[T11, T2]) extends AreElementsOf[T1 :: T11, T2]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

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]