• Home
• io.kevinlee
• refined4s-cats_sjs1_3
• 0.19.0
• source code
• auto.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

refined4s.modules.cats.derivation.generic.auto.scala Maven / Gradle / Ivy

package refined4s.modules.cats.derivation.generic

import cats.*
import refined4s.*

/** @author Kevin Lee
  * @since 2023-12-07
  */

trait auto {

  inline given derivedEq[A, B](using coercible: Coercible[A, B], eqB: Eq[B]): Eq[A] =
    refined4s.modules.cats.syntax.contraCoercible(eqB)

  inline given derivedOrder[A, B](using coercible: Coercible[A, B], orderB: Order[B]): Order[A] =
    refined4s.modules.cats.syntax.contraCoercible(orderB)

  inline given derivedShow[A, B](using coercible: Coercible[A, B], showB: Show[B]): Show[A] =
    refined4s.modules.cats.syntax.contraCoercible(showB)

}
object auto extends auto