• Home
• io.kevinlee
• refined4s-extras-render_sjs1_3
• 0.17.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.extras.derivation.generic.auto.scala Maven / Gradle / Ivy

package refined4s.modules.extras.derivation.generic

import refined4s.*
import extras.render.Render

/** @author Kevin Lee
  * @since 2024-01-01
  */
trait auto {

  /** `Render` instance for Newtype, Refined and InlinedRefined types that delegates from the `Render`
    * instance of the base type.
    */
  inline given derivedRender[A, B](using coercible: Coercible[A, B], renderB: Render[B]): Render[A] =
    renderB.contramap[A](coercible(_))

}
object auto extends auto