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
/
Tail
Tail
final case
class
Tail
[
A
,
B
,
As
<:
TypeList
](
ev:
IsElementOf
[
A
,
As
])
extends
IsElementOf
[
A
,
B
::
As
]
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
trait
IsElementOf
[
A
,
B
::
As
]
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product