Skip to content

Commit

Permalink
Lawtesting: Update scalacheck-shapeless and cats
Browse files Browse the repository at this point in the history
  • Loading branch information
vendethiel committed Nov 13, 2017
1 parent 6b87e2b commit a99e157
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions docs/src/main/tut/typeclasses/lawtesting.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,9 @@ To make things easier, we'll also include the `scalacheck-shapeless` library in

```scala
libraryDependencies ++= Seq(
"org.typelevel" %% "cats-laws" % "1.0.0-MF" % Test,
"org.typelevel" %% "cats-testkit" % "1.0.0-MF"% Test,
"com.github.alexarchambault" %% "scalacheck-shapeless_1.13" % "1.1.5" % Test
"org.typelevel" %% "cats-laws" % "1.0.0-RC1" % Test,
"org.typelevel" %% "cats-testkit" % "1.0.0-RC1"% Test,
"com.github.alexarchambault" %% "scalacheck-shapeless_1.13" % "1.1.6" % Test
)
```

Expand Down Expand Up @@ -68,7 +68,7 @@ Cats has defined rulesets for all type class laws in `cats.laws.discipline.*`.
So for our example we will want to import `cats.laws.discipline.FunctorTests` and call `checkAll` with it.
Before we do so, however,
we will have to bring our instances into scope as well as the derived `Arbitrary` instances from `scalacheck-shapeless`
(We have defined an Arbitrary instance for `Tree` here, but you won't need it if you import `org.scalacheck.Shapeless._`).
(We have defined an Arbitrary instance for `Tree` here, but you won't need it if you import `org.scalacheck.ScalacheckShapeless._`).



Expand Down

0 comments on commit a99e157

Please sign in to comment.