Slick support for any Refined types, JSON format and generator for NonEmptyName, Unit-tests

4 files changed, 95 insertions, 3 deletions

diff --git a/src/main/scala/xyz/driver/core/database/database.scala b/src/main/scala/xyz/driver/core/database/database.scala
index d305eee..26c1027 100644
--- a/src/main/scala/xyz/driver/core/database/database.scala
+++ b/src/main/scala/xyz/driver/core/database/database.scala
@@ -10,6 +10,11 @@ import com.typesafe.config.Config
 
 package database {
 
+  import java.sql.SQLDataException
+
+  import eu.timepit.refined.api.{Refined, Validate}
+  import eu.timepit.refined.refineV
+
   trait Database {
     val profile: JdbcProfile
     val database: JdbcProfile#Backend#Database
@@ -61,6 +66,33 @@ package database {
     }
   }
 
+  trait RefinedColumnTypes[T, Predicate] extends ColumnTypes {
+    import profile.api._
+    implicit def `eu.timepit.refined.api.Refined`(
+            implicit columnType: BaseColumnType[T],
+            validate: Validate[T, Predicate]): BaseColumnType[T Refined Predicate]
+  }
+
+  object RefinedColumnTypes {
+    trait RefinedValue[T, Predicate] extends RefinedColumnTypes[T, Predicate] {
+      import profile.api._
+      override implicit def `eu.timepit.refined.api.Refined`(
+              implicit columnType: BaseColumnType[T],
+              validate: Validate[T, Predicate]): BaseColumnType[T Refined Predicate] =
+        MappedColumnType.base[T Refined Predicate, T](
+          _.value, { dbValue =>
+            refineV[Predicate](dbValue) match {
+              case Left(refinementError) =>
+                throw new SQLDataException(
+                  s"Value in the database doesn't match the refinement constraints: $refinementError")
+              case Right(refinedValue) =>
+                refinedValue
+            }
+          }
+        )
+    }
+  }
+
   trait IdColumnTypes extends ColumnTypes {
     import profile.api._
     implicit def `xyz.driver.core.Id.columnType`[T]: BaseColumnType[Id[T]]
@@ -84,7 +116,7 @@ package database {
       import profile.api._
 
       override implicit def `xyz.driver.core.Id.columnType`[T] =
-        MappedColumnType.base[Id[T], String](_.value, Id[T](_))
+        MappedColumnType.base[Id[T], String](_.value, Id[T])
     }
   }
 
@@ -117,7 +149,7 @@ package database {
       MappedColumnType
         .base[Id[T], java.util.UUID](id => java.util.UUID.fromString(id.value), uuid => Id[T](uuid.toString))
     def serialKeyMapper[T]  = MappedColumnType.base[Id[T], Long](_.value.toLong, serialId => Id[T](serialId.toString))
-    def naturalKeyMapper[T] = MappedColumnType.base[Id[T], String](_.value, Id[T](_))
+    def naturalKeyMapper[T] = MappedColumnType.base[Id[T], String](_.value, Id[T])
   }
 
   trait DatabaseObject extends ColumnTypes {
diff --git a/src/main/scala/xyz/driver/core/json.scala b/src/main/scala/xyz/driver/core/json.scala
index c14424d..6b27a9c 100644
--- a/src/main/scala/xyz/driver/core/json.scala
+++ b/src/main/scala/xyz/driver/core/json.scala
@@ -16,6 +16,7 @@ import xyz.driver.core.domain.{Email, PhoneNumber}
 import xyz.driver.core.time.Time
 import eu.timepit.refined.refineV
 import eu.timepit.refined.api.{Refined, Validate}
+import eu.timepit.refined.collection.NonEmpty
 
 object json {
   import DefaultJsonProtocol._
@@ -232,6 +233,25 @@ object json {
       }
     }
 
+  def NonEmptyNameInPath[T]: PathMatcher1[NonEmptyName[T]] = new PathMatcher1[NonEmptyName[T]] {
+    def apply(path: Path) = path match {
+      case Path.Segment(segment, tail) =>
+        refineV[NonEmpty](segment) match {
+          case Left(_)               => Unmatched
+          case Right(nonEmptyString) => Matched(tail, Tuple1(NonEmptyName[T](nonEmptyString)))
+        }
+      case _ => Unmatched
+    }
+  }
+
+  implicit def nonEmptyNameFormat[T](implicit nonEmptyStringFormat: JsonFormat[Refined[String, NonEmpty]]) =
+    new RootJsonFormat[NonEmptyName[T]] {
+      def write(name: NonEmptyName[T]) = JsString(name.value.value)
+
+      def read(value: JsValue): NonEmptyName[T] =
+        NonEmptyName[T](nonEmptyStringFormat.read(value))
+    }
+
   val jsValueToStringMarshaller: Marshaller[JsValue, String] =
     Marshaller.strict[JsValue, String](value => Marshalling.Opaque[String](() => value.compactPrint))
 
diff --git a/src/test/scala/xyz/driver/core/GeneratorsTest.scala b/src/test/scala/xyz/driver/core/GeneratorsTest.scala
index 737cbcb..62ba7ae 100644
--- a/src/test/scala/xyz/driver/core/GeneratorsTest.scala
+++ b/src/test/scala/xyz/driver/core/GeneratorsTest.scala
@@ -44,6 +44,11 @@ class GeneratorsTest extends FlatSpec with Matchers with Assertions {
     assert(!fixedLengthName.value.exists(_.isControl))
   }
 
+  it should "be able to generate com.drivergrp.core.NonEmptyName with non empty strings" in {
+
+    assert(nextNonEmptyName[String]().value.value.nonEmpty)
+  }
+
   it should "be able to generate proper UUIDs" in {
 
     nextUuid() should not be nextUuid()
@@ -66,6 +71,11 @@ class GeneratorsTest extends FlatSpec with Matchers with Assertions {
     assert(!fixedLengthString.exists(_.isControl))
   }
 
+  it should "be able to generate strings non-empty strings whic are non empty" in {
+
+    assert(nextNonEmptyString().value.nonEmpty)
+  }
+
   it should "be able to generate options which are sometimes have values and sometimes not" in {
 
     val generatedOption = nextOption("2")
diff --git a/src/test/scala/xyz/driver/core/JsonTest.scala b/src/test/scala/xyz/driver/core/JsonTest.scala
index bcf0ecf..26e3796 100644
--- a/src/test/scala/xyz/driver/core/JsonTest.scala
+++ b/src/test/scala/xyz/driver/core/JsonTest.scala
@@ -1,13 +1,17 @@
 package xyz.driver.core
 
+import eu.timepit.refined.collection.NonEmpty
+import eu.timepit.refined.numeric.Positive
+import eu.timepit.refined.refineMV
 import org.scalatest.{FlatSpec, Matchers}
-import xyz.driver.core.json.{EnumJsonFormat, GadtJsonFormat, ValueClassFormat}
+import xyz.driver.core.json._
 import xyz.driver.core.time.provider.SystemTimeProvider
 import spray.json._
 import xyz.driver.core.TestTypes.CustomGADT
 import xyz.driver.core.domain.{Email, PhoneNumber}
 
 class JsonTest extends FlatSpec with Matchers {
+  import DefaultJsonProtocol._
 
   "Json format for Id" should "read and write correct JSON" in {
 
@@ -31,6 +35,19 @@ class JsonTest extends FlatSpec with Matchers {
     parsedName should be(referenceName)
   }
 
+  "Json format for NonEmptyName" should "read and write correct JSON" in {
+
+    val jsonFormat = json.nonEmptyNameFormat[String]
+
+    val referenceNonEmptyName = NonEmptyName[String](refineMV[NonEmpty]("Homer"))
+
+    val writtenJson = jsonFormat.write(referenceNonEmptyName)
+    writtenJson.prettyPrint should be("\"Homer\"")
+
+    val parsedNonEmptyName = jsonFormat.read(writtenJson)
+    parsedNonEmptyName should be(referenceNonEmptyName)
+  }
+
   "Json format for Time" should "read and write correct JSON" in {
 
     val referenceTime = new SystemTimeProvider().currentTime()
@@ -168,4 +185,17 @@ class JsonTest extends FlatSpec with Matchers {
     parsedValue1 should be(referenceValue1)
     parsedValue2 should be(referenceValue2)
   }
+
+  "Json format for a Refined value" should "read and write correct JSON" in {
+
+    val jsonFormat = json.refinedJsonFormat[Int, Positive]
+
+    val referenceRefinedNumber = refineMV[Positive](42)
+
+    val writtenJson = jsonFormat.write(referenceRefinedNumber)
+    writtenJson should be("42".parseJson)
+
+    val parsedRefinedNumber = jsonFormat.read(writtenJson)
+    parsedRefinedNumber should be(referenceRefinedNumber)
+  }
 }