Merge pull request #1088 from FunFunFine/master

Add BigDecimal instances for cats

Author: fthomas

modules/cats/shared/src/main/scala/eu/timepit/refined/cats/package.scala

@@ -43,6 +43,8 @@ package object cats {
     getCommutativeSemigroup[Float, Positive]
   implicit val posDoubleCommutativeSemigroup: CommutativeSemigroup[PosDouble] =
     getCommutativeSemigroup[Double, Positive]
+  implicit val posBigDecimalCommutativeSemigroup: CommutativeSemigroup[PosBigDecimal] =
+    getCommutativeSemigroup[BigDecimal, Positive]
 
   implicit val negByteCommutativeSemigroup: CommutativeSemigroup[NegByte] =
     getNegIntegralCommutativeSemigroup[Byte]
@@ -56,6 +58,8 @@ package object cats {
     getCommutativeSemigroup[Float, Negative]
   implicit val negDoubleCommutativeSemigroup: CommutativeSemigroup[NegDouble] =
     getCommutativeSemigroup[Double, Negative]
+  implicit val negBigDecimalCommutativeSemigroup: CommutativeSemigroup[NegBigDecimal] =
+    getCommutativeSemigroup[BigDecimal, Negative]
 
   // Monoid instances
   implicit val nonNegByteCommutativeMonoid: CommutativeMonoid[NonNegByte] =
@@ -70,6 +74,8 @@ package object cats {
     getCommutativeMonoid[Float, NonNegative]
   implicit val nonNegDoubleCommutativeMonoid: CommutativeMonoid[NonNegDouble] =
     getCommutativeMonoid[Double, NonNegative]
+  implicit val nonNegBigDecimalCommutativeMonoid: CommutativeMonoid[NonNegBigDecimal] =
+    getCommutativeMonoid[BigDecimal, NonNegative]
 
   implicit val nonPosFloatCommutativeMonoid: CommutativeMonoid[NonPosFloat] =
     getCommutativeMonoid[Float, NonPositive]

modules/cats/shared/src/test/scala/eu/timepit/refined/cats/CommutativeSemigroupAndMonoidLawTests.scala

@@ -49,6 +49,10 @@ class CommutativeSemigroupAndMonoidLawTests
     "CommutativeSemigroup[PosDouble]",
     SerializableTests.serializable(CommutativeSemigroup[PosDouble])
   )
+  checkAll(
+    "CommutativeSemigroup[PosBigDecimal]",
+    SerializableTests.serializable(CommutativeSemigroup[PosBigDecimal])
+  )
 
   // Negative commutativeSemigroups
   checkAll("CommutativeSemigroup[NegByte]", CommutativeSemigroupTests[NegByte].commutativeSemigroup)
@@ -84,6 +88,10 @@ class CommutativeSemigroupAndMonoidLawTests
     "CommutativeSemigroup[NegDouble]",
     SerializableTests.serializable(CommutativeSemigroup[NegDouble])
   )
+  checkAll(
+    "CommutativeSemigroup[NegBigDecimal]",
+    SerializableTests.serializable(CommutativeSemigroup[NegBigDecimal])
+  )
 
   // NonNegative monoids
   checkAll("CommutativeMonoid[NonNegByte]", CommutativeMonoidTests[NonNegByte].commutativeMonoid)
@@ -116,6 +124,10 @@ class CommutativeSemigroupAndMonoidLawTests
     "CommutativeMonoid[NonNegDouble]",
     SerializableTests.serializable(CommutativeMonoid[NonNegDouble])
   )
+  checkAll(
+    "CommutativeMonoid[NonNegBigDecimal]",
+    SerializableTests.serializable(CommutativeMonoid[NonNegBigDecimal])
+  )
 
   // NonPositive monoids
   // checkAll("Monoid[NonPosFloat]", CommutativeMonoidTests[NonPosFloat].commutativeMonoid) // approximately associative