Add monoid syntax

typelevel · Jun 15, 2016 · 6ad6b72 · 6ad6b72
1 parent 0830a7c
commit 6ad6b72
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/core/src/main/scala/cats/syntax/all.scala b/core/src/main/scala/cats/syntax/all.scala
@@ -23,6 +23,7 @@ trait AllSyntax
     with ListSyntax
     with MonadCombineSyntax
     with MonadFilterSyntax
+    with MonoidSyntax
     with OptionSyntax
     with OrderSyntax
     with PartialOrderSyntax

diff --git a/tests/src/test/scala/cats/tests/SyntaxTests.scala b/tests/src/test/scala/cats/tests/SyntaxTests.scala
@@ -40,6 +40,12 @@ class SyntaxTests extends AllInstances with AllSyntax {
     val z: A = x |-| y
   }
 
+  def testMonoid[A: Monoid]: Unit = {
+    val x = mock[A]
+    implicit val y = mock[Eq[A]]
+    val z: Boolean = x.isEmpty
+  }
+
   def testEq[A: Eq]: Unit = {
     val x = mock[A]
     val y = mock[A]