Skip to content

Commit

Permalink
Make scala 3 happy part 2
Browse files Browse the repository at this point in the history
  • Loading branch information
TimWSpence committed May 3, 2024
1 parent 04260d1 commit c1c26d5
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions laws/src/test/scala/io/github/timwspence/cats/stm/STMLaws.scala
Original file line number Diff line number Diff line change
Expand Up @@ -66,14 +66,14 @@ trait STMTests extends Laws with STMLaws {
new DefaultRuleSet(
name = "stm",
parent = None,
"get then get is get" -> forAll(getThenGet[A] _),
"set then get is set then pure" -> forAll(setThenGet[A] _),
"set then set is set" -> forAll(setThenSet[A] _),
"set then retry is retry" -> forAll(setThenRetry[A] _),
"set then abort is abort" -> forAll(setThenAbort[A] _),
"retry orElse stm is stm" -> forAll(retryOrElse[A] _),
"stm orElse retry is stm" -> forAll(orElseRetry[A] _),
"abort orElse stm is abort" -> forAll(abortOrElse[A] _)
"get then get is get" -> forAll(getThenGet[A](_)),
"set then get is set then pure" -> forAll(setThenGet[A](_, _)),
"set then set is set" -> forAll(setThenSet[A](_, _, _)),
"set then retry is retry" -> forAll(setThenRetry[A](_, _)),
"set then abort is abort" -> forAll(setThenAbort[A](_, _, _)),
"retry orElse stm is stm" -> forAll(retryOrElse[A](_)),
"stm orElse retry is stm" -> forAll(orElseRetry[A](_)),
"abort orElse stm is abort" -> forAll(abortOrElse[A](_, _))
)

}

0 comments on commit c1c26d5

Please sign in to comment.