Merge pull request #273 from kategory/add-monadcombine-listkw-laws-test

raulraja · web-flow · commit b9bc7d8d9a81 · 2017-09-13T18:27:00.000+02:00
Add lacking laws test for monadCombine ListKW instance
diff --git a/kategory-core/src/test/kotlin/kategory/data/ListKWTest.kt b/kategory-core/src/test/kotlin/kategory/data/ListKWTest.kt
@@ -30,5 +30,13 @@ class ListKWTest : UnitSpec() {
         testLaws(SemigroupKLaws.laws(ListKW.semigroupK(), applicative, Eq.any()))
         testLaws(MonoidKLaws.laws(ListKW.monoidK(), applicative, Eq.any()))
         testLaws(TraverseLaws.laws(ListKW.traverse(), applicative, { n: Int -> ListKW(listOf(n)) }, Eq.any()))
+
+        testLaws(MonadCombineLaws.laws(ListKW.monadCombine(),
+                { n -> ListKW(listOf(n)) },
+                { n -> ListKW(listOf({ s: Int -> n * s })) },
+                object : Eq<HK<ListKWHK, Int>> {
+                    override fun eqv(a: HK<ListKWHK, Int>, b: HK<ListKWHK, Int>): Boolean =
+                            a.ev().list == b.ev().list
+                }))
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -30,5 +30,13 @@ class ListKWTest : UnitSpec() {`
`30`	`30`	`testLaws(SemigroupKLaws.laws(ListKW.semigroupK(), applicative, Eq.any()))`
`31`	`31`	`testLaws(MonoidKLaws.laws(ListKW.monoidK(), applicative, Eq.any()))`
`32`	`32`	`testLaws(TraverseLaws.laws(ListKW.traverse(), applicative, { n: Int -> ListKW(listOf(n)) }, Eq.any()))`
	`33`	`+`
	`34`	`+ testLaws(MonadCombineLaws.laws(ListKW.monadCombine(),`
	`35`	`+ { n -> ListKW(listOf(n)) },`
	`36`	`+ { n -> ListKW(listOf({ s: Int -> n * s })) },`
	`37`	`+ object : Eq<HK<ListKWHK, Int>> {`
	`38`	`+ override fun eqv(a: HK<ListKWHK, Int>, b: HK<ListKWHK, Int>): Boolean =`
	`39`	`+ a.ev().list == b.ev().list`
	`40`	`+ }))`
`33`	`41`	`}`
`34`	`42`	`}`