CanFilterLowpriorityImplicits

zio.dynamodb.proofs.CanFilterLowpriorityImplicits

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CanFilter.type

Members list

Concise view

Implicits

Implicits

implicit def subtypeCanFilter[A, B](implicit ev: B <:< A): CanFilter[A, B]