Skip to content

Commit 5b93869

Browse files
remove not required laws parameter
1 parent b8e2bf2 commit 5b93869

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

kategory/src/test/kotlin/kategory/data/StateTTests.kt

+1-5
Original file line numberDiff line numberDiff line change
@@ -29,17 +29,13 @@ class StateTTests : UnitSpec() {
2929
override fun eqv(a: HK<StateTKindPartial<ListKWHK, Int>, Int>, b: HK<StateTKindPartial<ListKWHK, Int>, Int>): Boolean =
3030
a.runM(1) == b.runM(1)
3131
}))
32-
32+
3333
testLaws(MonadCombineLaws.laws(StateT.monadCombine<ListKWHK, Int>(ListKW.monadCombine()),
3434
{ StateT.lift(ListKW.pure(it), ListKW.monad()) },
3535
{ StateT.lift(ListKW.pure({ s: Int -> s * 2 }), ListKW.monad()) },
3636
object : Eq<HK<StateTKindPartial<ListKWHK, Int>, Int>> {
3737
override fun eqv(a: HK<StateTKindPartial<ListKWHK, Int>, Int>, b: HK<StateTKindPartial<ListKWHK, Int>, Int>): Boolean =
3838
a.runM(1) == b.runM(1)
39-
},
40-
object : Eq<HK<StateTKindPartial<ListKWHK, Int>, (Int) -> Int>> {
41-
override fun eqv(a: HK<StateTKindPartial<ListKWHK, Int>, (Int) -> Int>, b: HK<StateTKindPartial<ListKWHK, Int>, (Int) -> Int>): Boolean =
42-
a.runM(1) == b.runM(1)
4339
}))
4440

4541
}

0 commit comments

Comments
 (0)