zio-constraintless
zio-constraintless
zio.constraintless
AreElementsOf
AreElementsOf
NilCollection
TypeCollection
Instances
Instances
IsElementOf
IsElementOf
Head
Tail
Sample
TypeList
TypeList
::
End
zio-constraintless
/
zio.constraintless
/
IsElementOf
IsElementOf
object
IsElementOf
Companion:
class
Graph
Supertypes
Self type
trait
Sum
trait
Mirror
class
Object
trait
Matchable
class
Any
IsElementOf
.type
Type members
Value members
Implicits
Type members
Classlikes
final case
class
Head
[
A
,
As
<:
TypeList
]()
extends
IsElementOf
[
A
,
A
::
As
]
final case
class
Tail
[
A
,
B
,
As
<:
TypeList
](
ev:
IsElementOf
[
A
,
As
])
extends
IsElementOf
[
A
,
B
::
As
]
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
[
A
,
As
<:
TypeList
](
implicit
ev:
IsElementOf
[
A
,
As
]):
IsElementOf
[
A
,
As
]
Implicits
Implicits
implicit
def
isElementOfHead
[
A
,
As
<:
TypeList
]:
IsElementOf
[
A
,
A
::
As
]
implicit
def
isElementOfTail
[
A
,
B
,
As
<:
TypeList
](
implicit
ev:
IsElementOf
[
A
,
As
]):
IsElementOf
[
A
,
B
::
As
]