add tests to AlternativeSuite

typelevel · Oct 9, 2021 · 499739b · 499739b
1 parent d19b1d7
commit 499739b
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/src/test/scala/cats/tests/AlternativeSuite.scala b/tests/src/test/scala/cats/tests/AlternativeSuite.scala
@@ -4,6 +4,8 @@ import cats.Alternative
 import cats.syntax.eq._
 import org.scalacheck.Prop._
 
+import scala.collection.immutable.Seq
+
 class AlternativeSuite extends CatsSuite {
   property("unite") {
     forAll { (list: List[Option[String]]) =>
@@ -37,4 +39,16 @@ class AlternativeSuite extends CatsSuite {
     assert(Alternative[Option].guard(true).isDefined)
     assert(Alternative[Option].guard(false).isEmpty)
   }
+
+  property("prependK") {
+    forAll { (fa: Seq[Int], a: Int) =>
+      assert(Alternative[Seq].prependK(fa, a) === a +: fa)
+    }
+  }
+
+  property("appendK") {
+    forAll { (fa: Seq[Int], a: Int) =>
+      assert(Alternative[Seq].appendK(fa, a) === fa :+ a)
+    }
+  }
 }