1. cats
   1. cats.laws
      1. (object)(trait)AlternativeLaws
      2. (object)(trait)ApplicativeErrorLaws
      3. (object)(trait)ApplicativeLaws
      4. (object)(trait)ApplyLaws
      5. (object)(trait)ArrowChoiceLaws
      6. (object)(trait)ArrowLaws
      7. (object)(trait)BifoldableLaws
      8. (object)(trait)BifunctorLaws
      9. (object)(trait)BimonadLaws
      10. (object)(trait)BitraverseLaws
      11. (object)(trait)CategoryLaws
      12. (object)(trait)ChoiceLaws
      13. (object)(trait)CoflatMapLaws
      14. (object)(trait)CommutativeApplicativeLaws
      15. (object)(trait)CommutativeApplyLaws
      16. (object)(trait)CommutativeArrowLaws
      17. (object)(trait)CommutativeFlatMapLaws
      18. (object)(trait)CommutativeMonadLaws
      19. (object)(trait)ComonadLaws
      20. (object)(trait)ComposeLaws
      21. (object)(trait)ContravariantLaws
      22. (object)(trait)ContravariantMonoidalLaws
      23. (object)(trait)ContravariantSemigroupalLaws
      24. (object)(trait)DeferLaws
      25. (object)(trait)DistributiveLaws
      26. (object)(trait)FlatMapLaws
      27. (object)(trait)FoldableLaws
      28. (object)(trait)FunctorFilterLaws
      29. (object)(trait)FunctorLaws
      30. (object)(trait)InjectKLaws
      31. (object)(trait)InjectLaws
      32. (object)(trait)InvariantLaws
      33. (object)(trait)InvariantMonoidalLaws
      34. (object)(trait)InvariantSemigroupalLaws
      35. (class)IsEqArrow
      36. (object)(trait)MonadErrorLaws
      37. (object)(trait)MonadLaws
      38. (object)(trait)MonoidKLaws
      39. (object)(trait)NonEmptyParallelLaws
      40. (object)(trait)NonEmptyTraverseLaws
      41. (object)(trait)ParallelLaws
      42. (object)(trait)ProfunctorLaws
      43. (object)(trait)ReducibleLaws
      44. (object)(trait)RepresentableLaws
      45. (object)(trait)SemigroupalLaws
      46. (object)(trait)SemigroupKLaws
      47. (object)(trait)StrongLaws
      48. (object)(trait)TraverseFilterLaws
      49. (object)(trait)TraverseLaws
      50. (object)(trait)UnorderedFoldableLaws
      51. (object)(trait)UnorderedTraverseLaws
      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)ArrowChoiceTests
         7. (object)(trait)ArrowTests
         8. (object)(trait)BifoldableTests
         9. (object)(trait)BifunctorTests
         10. (object)(trait)BimonadTests
         11. (object)(trait)BitraverseTests
         12. (object)(trait)CategoryTests
         13. (object)(trait)ChoiceTests
         14. (object)(trait)CoflatMapTests
         15. (object)(trait)CommutativeApplicativeTests
         16. (object)(trait)CommutativeApplyTests
         17. (object)(trait)CommutativeArrowTests
         18. (object)(trait)CommutativeFlatMapTests
         19. (object)(trait)CommutativeMonadTests
         20. (object)(trait)ComonadTests
         21. (object)(trait)ComposeTests
         22. (object)(trait)ContravariantMonoidalTests
         23. (object)(trait)ContravariantSemigroupalTests
         24. (object)(trait)ContravariantTests
         25. (object)(trait)DeferTests
         26. (object)(trait)DistributiveTests
         27. (object)
             eq
         28. (object)(trait)FlatMapTests
         29. (object)(trait)FoldableTests
         30. (object)(trait)FunctorFilterTests
         31. (object)(trait)FunctorTests
         32. (object)(trait)InjectKTests
         33. (object)(trait)InjectTests
         34. (object)(trait)InvariantMonoidalTests
         35. (object)(trait)InvariantSemigroupalTests
         36. (object)(trait)InvariantTests
         37. (object)(trait)MonadErrorTests
         38. (object)(trait)MonadTests
         39. (object)(trait)MonoidKTests
         40. (object)(trait)NonEmptyParallelTests
         41. (object)(trait)NonEmptyTraverseTests
         42. (object)(trait)ParallelTests
         43. (object)(trait)ProfunctorTests
         44. (object)(trait)ReducibleTests
         45. (object)(trait)RepresentableTests
         46. (object)(trait)SemigroupalTests
         47. (object)(trait)SemigroupKTests
         48. (object)(trait)StrongTests
         49. (object)(trait)TraverseFilterTests
         50. (object)(trait)TraverseTests
         51. (object)(trait)UnorderedFoldableTests
         52. (object)(trait)UnorderedTraverseTests