zio-constraintless
zio-constraintless
zio.constraintless
AreElementsOf
AreElementsOf
NilCollection
TypeCollection
Instances
Instances
IsElementOf
IsElementOf
Head
Tail
Sample
TypeList
TypeList
::
End
zio-constraintless
/
zio.constraintless
/
Instances
Instances
trait
Instances
[
TypeClass
[
_
],
As
<:
TypeList
]
Companion:
object
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Value members
Abstract methods
def
withInstance
[
B
,
D
](
use:
TypeClass
[
B
]
=>
D
)(
implicit
ev:
IsElementOf
[
B
,
As
]):
D