zio-constraintless
zio-constraintless
API
buildinfo
BuildInfo
zio.constraintless
AreElementsOf
AreElementsOf
NilCollection
TypeCollection
Instances
Instances
IsElementOf
IsElementOf
Head
Tail
Sample
TypeList
TypeList
::
End
zio-constraintless
/
zio.constraintless
/
IsElementOf
/
Tail
Tail
zio.constraintless.IsElementOf$.Tail
final case
class
Tail
[
A
,
B
,
As
<:
TypeList
](
ev
:
IsElementOf
[
A
,
As
])
extends
IsElementOf
[
A
,
B
::
As
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
trait
IsElementOf
[
A
,
B
::
As
]
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product