#24 Added a test showing polymorphic types support

julienrf · julienrf · commit 584f77a1cc1f · 2016-02-29T15:20:10.000+01:00
diff --git a/README.md b/README.md
@@ -7,7 +7,8 @@
 Compared to the built-in macros, this project brings support for:
 
 - sealed traits ;
-- recursive types.
+- recursive types ;
+- polymorphic types.
 
 The artifacts are built for Scala 2.11 and Play 2.4.
 
diff --git a/src/test/scala/julienrf/json/derived/DerivedOFormatSuite.scala b/src/test/scala/julienrf/json/derived/DerivedOFormatSuite.scala
@@ -78,6 +78,14 @@ class DerivedOFormatSuite extends FeatureSpec with Checkers {
         identityLaw[Tree]
       }
     }
+
+    scenario("polylmorphic types") {
+      case class Quux[A](value: A)
+      implicit val fooFormat: OFormat[Quux[Int]] = oformat[Quux[Int]]
+      implicit val arbitraryFoo: Arbitrary[Quux[Int]] =
+        Arbitrary(arbitrary[Int].map(new Quux(_)))
+      identityLaw[Quux[Int]]
+    }
   }
 
   def identityLaw[A](implicit reads: Reads[A], owrites: OWrites[A], arbA: Arbitrary[A]): Unit =

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,14 @@ class DerivedOFormatSuite extends FeatureSpec with Checkers {`
`78`	`78`	`identityLaw[Tree]`
`79`	`79`	`}`
`80`	`80`	`}`
	`81`	`+`
	`82`	`+ scenario("polylmorphic types") {`
	`83`	`+ case class Quux[A](value: A)`
	`84`	`+ implicit val fooFormat: OFormat[Quux[Int]] = oformat[Quux[Int]]`
	`85`	`+ implicit val arbitraryFoo: Arbitrary[Quux[Int]] =`
	`86`	`+ Arbitrary(arbitrary[Int].map(new Quux(_)))`
	`87`	`+ identityLaw[Quux[Int]]`
	`88`	`+ }`
`81`	`89`	`}`
`82`	`90`
`83`	`91`	`def identityLaw[A](implicit reads: Reads[A], owrites: OWrites[A], arbA: Arbitrary[A]): Unit =`