- Companion
- class
Implicits
Inherited implicits
implicit inline def univEqScalazDisj[A, B](using inline a: UnivEq[A], inline b: UnivEq[B]): UnivEq[A \/ B]
- Inherited from
- UnivEqScalaz
implicit inline def univEqScalazOneAnd[F[_], A](using inline fa: UnivEq[F[A]], inline a: UnivEq[A]): UnivEq[OneAnd[F, A]]
- Inherited from
- UnivEqScalaz
implicit inline def univEqScalazThese[A, B](using inline a: UnivEq[A], inline b: UnivEq[B]): UnivEq[A \&/ B]
- Inherited from
- UnivEqScalaz