v0.10.0

0.10.0 - 2024-01-02

New Feature

• Release refined4s-extras-render module (#220)
• Add refined4s-extras-render to support Render for refined4s (#215)

  refined4s.modules.extras.derivation.ExtrasRender
  refined4s.modules.extras.derivation.types.all.given
  refined4s.modules.extras.derivation.generic.auto.given

  e.g.)

  import extras.render.Render
  
  import refined4s.types.all.*
  import refined4s.modules.extras.derivation.types.all.given
  
  val name = NonEmptyString("Kevin")
  Render[NonEmptyString].render(name)
  // String = Kevin

  import extras.render.Render
  
  import refined4s.Newtype
  import refined4s.modules.extras.derivation.ExtrasRender
  
  type Name = Name.Type
  object Name extends Newtype[String], ExtrasRender[String]
  
  val name = Name("Kevin")
  Render[Name].render(name)
  // String = Kevin

  import extras.render.Render
  
  import refined4s.Newtype
  
  type Name = Name.Type
  object Name extends Newtype[String]
  
  import refined4s.modules.extras.derivation.generic.auto.given
  
  val name = Name("Kevin")
  Render[Name].render(name)
  // String = Kevin