Example of ad-hoc polymorphism in scala with type classes

ad-hoc-polymorphism-in-scala-with-type-classes.md

Ad hoc polymorphism in Scala with Type Classes

Below you can find example of the ad hoc polymorohism in Scala.

ad-hoc-polymorphism-in-scala-with-type-classes.scala

trait TaxonomyMaker[T] {
  def toTaxonomyString(value: T): String
}

case class MakeTax(makeId: Long, genericName: String)
case class ModelTax(modelId: Long, makeId: Long, articleTypeId: String, genericName: String)

object TaxonomyString {
  implicit object MakeTaxonomyMaker extends TaxonomyMaker[MakeTax] {
    def toTaxonomyString(make: MakeTax): String = {
      import make._
      "%d %s".format(makeId, genericName)
    }
  }

  implicit val ModelTaxonomyMaker = new TaxonomyMaker[ModelTax] {
    def toTaxonomyString(model: ModelTax): String = {
      import model._
      "%d %s".format(makeId, genericName)
    }
  }
}

object util {
  def printTaxonomy[T: TaxonomyMaker](t: T) = implicitly[TaxonomyMaker[T]].toTaxonomyString(t)
}

object test {
  import util._

  printTaxonomy(MakeTax)
  printTaxonomy(ModelTax)
}