LowPriorityZNonEmptySetImplicits

zio.prelude.LowPriorityZNonEmptySetImplicits

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ZNonEmptySet

Members list

Implicits

Implicits

implicit def ZNonEmptySetPartialOrd[A, B : PartialOrd](implicit evidence$1: PartialOrd[B], ev: Identity[subtypeF.Type[B]]): PartialOrd[ZNonEmptySet[A, B]]

Derives a PartialOrd[ZNonEmptySet[A, B]] given a PartialOrd[B]. Due to the limitations of Scala's Map, this uses object equality on the keys.

Derives a PartialOrd[ZNonEmptySet[A, B]] given a PartialOrd[B]. Due to the limitations of Scala's Map, this uses object equality on the keys.

Attributes