@@ -14,14 +14,20 @@ class CoproductTests extends CatsSuite {
14
14
checkAll(" Coproduct[Option, Option, ?]" , TraverseTests [Coproduct [Option , Option , ? ]].traverse[Int , Int , Int , Int , Option , Option ])
15
15
checkAll(" Traverse[Coproduct[Option, Option, ?]]" , SerializableTests .serializable(Traverse [Coproduct [Option , Option , ? ]]))
16
16
17
- checkAll(" Coproduct[Option, Option, ?]" , FoldableTests [Coproduct [Option , Option , ? ]].foldable[Int , Int ])
18
- checkAll(" Foldable[Coproduct[Option, Option, ?]]" , SerializableTests .serializable(Foldable [Coproduct [Option , Option , ? ]]))
17
+ {
18
+ implicit val foldable = Coproduct .coproductFoldable[Option , Option ]
19
+ checkAll(" Coproduct[Option, Option, ?]" , FoldableTests [Coproduct [Option , Option , ? ]].foldable[Int , Int ])
20
+ checkAll(" Foldable[Coproduct[Option, Option, ?]]" , SerializableTests .serializable(Foldable [Coproduct [Option , Option , ? ]]))
21
+ }
19
22
20
23
checkAll(" Coproduct[Eval, Eval, ?]" , ComonadTests [Coproduct [Eval , Eval , ? ]].comonad[Int , Int , Int ])
21
24
checkAll(" Comonad[Coproduct[Eval, Eval, ?]]" , SerializableTests .serializable(Comonad [Coproduct [Eval , Eval , ? ]]))
22
25
23
- checkAll(" Coproduct[Eval, Eval, ?]" , CoflatMapTests [Coproduct [Eval , Eval , ? ]].coflatMap[Int , Int , Int ])
24
- checkAll(" CoflatMap[Coproduct[Eval, Eval, ?]]" , SerializableTests .serializable(CoflatMap [Coproduct [Eval , Eval , ? ]]))
26
+ {
27
+ implicit val coflatMap = Coproduct .coproductCoflatMap[Eval , Eval ]
28
+ checkAll(" Coproduct[Eval, Eval, ?]" , CoflatMapTests [Coproduct [Eval , Eval , ? ]].coflatMap[Int , Int , Int ])
29
+ checkAll(" CoflatMap[Coproduct[Eval, Eval, ?]]" , SerializableTests .serializable(CoflatMap [Coproduct [Eval , Eval , ? ]]))
30
+ }
25
31
26
32
checkAll(" Coproduct[Option, Option, Int]" , OrderLaws [Coproduct [Option , Option , Int ]].eqv)
27
33
checkAll(" Eq[Coproduct[Option, Option, Int]]" , SerializableTests .serializable(Eq [Coproduct [Option , Option , Int ]]))
0 commit comments