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)
             DeprecatedEqInstances
         27. (object)(trait)DistributiveTests
         28. (object)
             eq
         29. (object)(trait)ExhaustiveCheck
         30. (object)(trait)FlatMapTests
         31. (object)(trait)FoldableTests
         32. (object)(trait)FunctorFilterTests
         33. (object)(trait)FunctorTests
         34. (object)(trait)InjectKTests
         35. (object)(trait)InjectTests
         36. (object)(trait)InvariantMonoidalTests
         37. (object)(trait)InvariantSemigroupalTests
         38. (object)(trait)InvariantTests
         39. (object)(class)MiniInt
         40. (object)(trait)MonadErrorTests
         41. (object)(trait)MonadTests
         42. (object)(trait)MonoidKTests
         43. (object)(trait)NonEmptyParallelTests
         44. (object)(trait)NonEmptyTraverseTests
         45. (object)(trait)ParallelTests
         46. (object)(trait)ProfunctorTests
         47. (object)(trait)ReducibleTests
         48. (object)(trait)RepresentableTests
         49. (object)(trait)SemigroupalTests
         50. (object)(trait)SemigroupKTests
         51. (object)(trait)StrongTests
         52. (object)(trait)TraverseFilterTests
         53. (object)(trait)TraverseTests
         54. (object)(trait)UnorderedFoldableTests
         55. (object)(trait)UnorderedTraverseTests