From 9e34c566d3892a15e90f768a27237cff5401735d Mon Sep 17 00:00:00 2001 From: Cody Allen Date: Thu, 19 Nov 2015 08:25:20 -0500 Subject: [PATCH] Check Traverse laws for XorT There was a typo before that caused the XorT tests to only check the Foldable laws for the Traverse instance. --- tests/src/test/scala/cats/tests/XorTTests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/src/test/scala/cats/tests/XorTTests.scala b/tests/src/test/scala/cats/tests/XorTTests.scala index af4ba819b9..27cfe30045 100644 --- a/tests/src/test/scala/cats/tests/XorTTests.scala +++ b/tests/src/test/scala/cats/tests/XorTTests.scala @@ -16,7 +16,7 @@ class XorTTests extends CatsSuite { checkAll("MonoidK[XorT[List, String, ?]]", SerializableTests.serializable(MonoidK[XorT[List, String, ?]])) checkAll("XorT[List, ?, ?]", BifunctorTests[XorT[List, ?, ?]].bifunctor[Int, Int, Int, String, String, String]) checkAll("Bifunctor[XorT[List, ?, ?]]", SerializableTests.serializable(Bifunctor[XorT[List, ?, ?]])) - checkAll("XorT[List, Int, ?]", TraverseTests[XorT[List, Int, ?]].foldable[Int, Int]) + checkAll("XorT[List, Int, ?]", TraverseTests[XorT[List, Int, ?]].traverse[Int, Int, Int, Int, Option, Option]) checkAll("Traverse[XorT[List, Int, ?]]", SerializableTests.serializable(Traverse[XorT[List, Int, ?]])) checkAll("XorT[List, String, Int]", OrderLaws[XorT[List, String, Int]].order) checkAll("Order[XorT[List, String, Int]]", SerializableTests.serializable(Order[XorT[List, String, Int]]))