1. cats
   1. cats.laws
      1. (object)(trait)AlternativeLaws
      2. (object)(trait)ApplicativeErrorLaws
      3. (object)(trait)ApplicativeLaws
      4. (object)(trait)ApplyLaws
      5. (object)(trait)ArrowLaws
      6. (object)(trait)BifoldableLaws
      7. (object)(trait)BifunctorLaws
      8. (object)(trait)BimonadLaws
      9. (object)(trait)BitraverseLaws
      10. (object)(trait)CartesianLaws
      11. (object)(trait)CategoryLaws
      12. (object)(trait)ChoiceLaws
      13. (object)(trait)CoflatMapLaws
      14. (object)(trait)CommutativeArrowLaws
      15. (object)(trait)CommutativeFlatMapLaws
      16. (object)(trait)CommutativeMonadLaws
      17. (object)(trait)ComonadLaws
      18. (object)(trait)ComposeLaws
      19. (object)(trait)ContravariantLaws
      20. (object)(trait)FlatMapLaws
      21. (object)(trait)FoldableLaws
      22. (object)(trait)FunctorLaws
      23. (object)(trait)InjectKLaws
      24. (object)(trait)InjectLaws
      25. (object)(trait)InvariantLaws
      26. (object)(trait)InvariantMonoidalLaws
      27. (case class)IsEq
      28. (class)IsEqArrow
      29. (object)(trait)MonadErrorLaws
      30. (object)(trait)MonadLaws
      31. (object)(trait)MonoidKLaws
      32. (object)(trait)NonEmptyTraverseLaws
      33. (object)(trait)ProfunctorLaws
      34. (object)(trait)ReducibleLaws
      35. (object)(trait)SemigroupKLaws
      36. (object)
          SerializableLaws
      37. (object)(trait)StrongLaws
      38. (object)(trait)TraverseLaws
      1. cats.laws.discipline
         1. (object)(trait)AlternativeTests
         2. (object)(trait)ApplicativeErrorTests
         3. (object)(trait)ApplicativeTests
         4. (object)(trait)ApplyTests
         5. (object)
            arbitrary
         6. (object)(trait)ArrowTests
         7. (object)(trait)BifoldableTests
         8. (object)(trait)BifunctorTests
         9. (object)(trait)BimonadTests
         10. (object)(trait)BitraverseTests
         11. (object)(trait)CartesianTests
         12. (object)(trait)CategoryTests
         13. (object)(trait)ChoiceTests
         14. (object)(trait)CoflatMapTests
         15. (object)(trait)CommutativeArrowTests
         16. (object)(trait)CommutativeFlatMapTests
         17. (object)(trait)CommutativeMonadTests
         18. (object)(trait)ComonadTests
         19. (object)(trait)ComposeTests
         20. (object)(trait)ContravariantTests
         21. (object)
             eq
         22. (object)(trait)FlatMapTests
         23. (object)(trait)FoldableTests
         24. (object)(trait)FunctorTests
         25. (object)(trait)InjectKTests
         26. (object)(trait)InjectTests
         27. (object)(trait)InvariantMonoidalTests
         28. (object)(trait)InvariantTests
         29. (object)(trait)MonadErrorTests
         30. (object)(trait)MonadTests
         31. (object)(trait)MonoidKTests
         32. (object)(trait)NonEmptyTraverseTests
         33. (object)(trait)ProfunctorTests
         34. (object)(trait)ReducibleTests
         35. (object)(trait)SemigroupKTests
         36. (object)
             SerializableTests
         37. (object)(trait)StrongTests
         38. (object)(trait)TraverseTests