Instances

zio.constraintless.Instances
See theInstances companion object
trait Instances[TypeClass[_], As <: TypeList]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def withInstance[B, D](use: TypeClass[B] => D)(implicit ev: IsElementOf[B, As]): D