Skip to content

Commit

Permalink
refactor tests for Alternative
Browse files Browse the repository at this point in the history
  • Loading branch information
satorg committed Jan 15, 2023
1 parent 087295a commit ea83a7d
Showing 1 changed file with 10 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -454,19 +454,20 @@ class IndexedReaderWriterStateTSuite extends CatsSuite {
}

{
implicit val G: Monad[ListWrapper] = ListWrapper.monad
implicit val LWM: Monad[ListWrapper] = ListWrapper.monad

val SA = IRWST.catsDataAlternativeForIRWST[ListWrapper, Boolean, String, MiniInt](ListWrapper.monad,
ListWrapper.alternative,
Monoid[String]
)
val SA = {
implicit val LWA: Alternative[ListWrapper] = ListWrapper.alternative
Alternative[IRWST[ListWrapper, Boolean, String, MiniInt, MiniInt, *]]
}

checkAll(
"IndexedReaderWriterStateT[ListWrapper, String, String, Int, Int, *]",
AlternativeTests[IRWST[ListWrapper, Boolean, String, MiniInt, MiniInt, *]](SA).alternative[Int, Int, Int]
"IndexedReaderWriterStateT[ListWrapper, Boolean, String, MiniInt, MiniInt, *]",
AlternativeTests(SA).alternative[Int, Int, Int]
)
checkAll("Alternative[IndexedReaderWriterStateT[ListWrapper, String, String, Int, Int, *]]",
SerializableTests.serializable(SA)
checkAll(
"Alternative[IndexedReaderWriterStateT[ListWrapper, Boolean, String, MiniInt, MiniInt, *]]",
SerializableTests.serializable(SA)
)
}

Expand Down

0 comments on commit ea83a7d

Please sign in to comment.