Skip to content

Commit

Permalink
fixing tut compilation
Browse files Browse the repository at this point in the history
  • Loading branch information
kailuowang authored May 8, 2018
1 parent 3311271 commit 329e5ae
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions docs/src/main/tut/typeclasses/lawtesting.md
Original file line number Diff line number Diff line change
Expand Up @@ -53,6 +53,9 @@ Cats defines all type class laws tests in `cats.laws.discipline.*`
as `discipline`'s `RuleSet`s. Each `RuleSet` provides a `ScalaCheck` `Properties` through
`ruleSet.all` to represent all the rules that it defines and inherits. For example,
the `ScalaCheck` `Properties` for `Functor` can be retrieved using
```tut:invisible
import Tree._ //there is no real companion object is in REPL
```
```tut:book
cats.laws.discipline.FunctorTests[Tree].functor[Int, Int, String].all
```
Expand Down

0 comments on commit 329e5ae

Please sign in to comment.