Links "LawTesting.md" in FAQ and TypeClasses pages (typelevel#1985)

* Links "LawTesting.md" in FAQ and TypeClasses pages * Rewrites law testing title in FAQ
kailuowang · Oct 23, 2017 · 8931e60 · 8931e60
1 parent 2d00d79
commit 8931e60
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/docs/src/main/tut/faq.md b/docs/src/main/tut/faq.md
@@ -22,6 +22,7 @@ position: 40
  * [What does `macro Ops` do? What is `cats.macros.Ops`?](#machinist)
  * [What is `tailRecM`?](#tailrecm)
  * [What does this symbol mean?](#symbol)
+ * [How can I test instances against their type classes' laws?](#law-testing)
  * [How can I help?](#contributing)
 
 ## <a id="what-imports" href="#what-imports"></a>What imports do I need?
@@ -232,6 +233,10 @@ All other symbols can be imported with `import cats.implicits._`
 | `fa >> fb` (Deprecated)          | followed by            |                  | `FlatMap[F[_]]`         | `followedBy(fa: F[A])(fb: F[B]): F[B]`                    |
 | `fa << fb` (Deprecated)          | for effect             |                  | `FlatMap[F[_]]`         | `forEffect(fa: F[A])(fb: F[B]): F[A]`                     |
 
+## <a id="law-testing" href="#law-testing"></a>How can I test instances against their type classes' laws?
+
+You can find more information [here](typeclasses/lawtesting.html).
+
 ## <a id="contributing" href="#contributing"></a>How can I help?
 
 The cats community welcomes and encourages contributions, even if you are completely new to cats and functional programming. Here are a few ways to help out:

diff --git a/docs/src/main/tut/typeclasses/lawtesting.md b/docs/src/main/tut/typeclasses/lawtesting.md
@@ -1,3 +1,9 @@
+---
+layout: docs
+title:  "Law Testing"
+section: "typeclasses"
+---
+
 # Law testing
 
 [Laws](https://typelevel.org/cats/typeclasses.html#laws) are an important part of cats.

diff --git a/docs/src/main/tut/typeclasses/typeclasses.md b/docs/src/main/tut/typeclasses/typeclasses.md
@@ -221,6 +221,8 @@ val result = Monoid[Int].combine(sumLeft, sumRight)
 Cats provides laws for type classes via the `kernel-laws` and `laws` modules which makes law checking
 type class instances easy.
 
+You can find out more about law testing [here](typeclasses/lawtesting.html).
+
 ## Type classes in cats
 
 <img src="https://cdn.rawgit.com/tpolecat/cats-infographic/master/cats.svg" alt="infographic" style="width: 100%;"/>