Skip to content
#

play-framework

Here are 714 public repositories matching this topic...

lila
asoltysik
asoltysik commented Nov 26, 2020

If you tag a type that has a Numeric or Ordering your tagged type no is an instance of these typeclasses. Example solution for Numeric:

  implicit def taggedNumeric[A: Numeric, Tag]: Numeric[A @@ Tag] = new Numeric[A @@ Tag] {
    override def plus(x: A @@ Tag, y: A @@ Tag): A @@ Tag   = implicitly[Numeric[A]].plus(x, y).taggedWith[Tag]
    override def minus(x: A @@ Tag, y: A @@ T

Improve this page

Add a description, image, and links to the play-framework topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the play-framework topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.