refined4s-cats/refined4s.modules.cats.derivation/instances

instances

trait instances
Since:

2023-12-07

Companion:
object
class Object
trait Matchable
class Any
object instances.type

Value members

Concrete methods

inline def contraCoercible[F[*], A, B](fb: F[B])(using contravariant: Contravariant[F], coercible: Coercible[A, B]): F[A]

Givens

Givens

given eqDerived[A, B](using coercible: Coercible[A, B], eqB: Eq[B]): Eq[A]
given showDerived[A, B](using coercible: Coercible[A, B], showB: Show[B]): Show[A]