scalaz/japgolly.univeq/UnivEqScalaz

UnivEqScalaz

trait UnivEqScalaz
Companion
object
class Object
trait Matchable
class Any

Implicits

Implicits

implicit inline def scalazEqualFromUnivEq[A](using inline ev: UnivEq[A]): Equal[A]
implicit inline def scalazMonoidSet[A](using inline ev: UnivEq[A]): Monoid[Set[A]]
implicit inline def univEqScalazDisj[A, B](using inline a: UnivEq[A], inline b: UnivEq[B]): UnivEq[A \/ B]
implicit inline def univEqScalazNel[A](using inline a: UnivEq[A]): UnivEq[NonEmptyList[A]]
implicit inline def univEqScalazOneAnd[F[_], A](using inline fa: UnivEq[F[A]], inline a: UnivEq[A]): UnivEq[OneAnd[F, A]]
implicit inline def univEqScalazThese[A, B](using inline a: UnivEq[A], inline b: UnivEq[B]): UnivEq[A \&/ B]