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)FunctorLaws
      29. (object)(trait)InjectKLaws
      30. (object)(trait)InjectLaws
      31. (object)(trait)InvariantLaws
      32. (object)(trait)InvariantMonoidalLaws
      33. (object)(trait)InvariantSemigroupalLaws
      34. (class)IsEqArrow
      35. (object)(trait)MonadErrorLaws
      36. (object)(trait)MonadLaws
      37. (object)(trait)MonoidKLaws
      38. (object)(trait)NonEmptyParallelLaws
      39. (object)(trait)NonEmptyTraverseLaws
      40. (object)(trait)ParallelLaws
      41. (object)(trait)ProfunctorLaws
      42. (object)(trait)ReducibleLaws
      43. (object)(trait)RepresentableLaws
      44. (object)(trait)SemigroupalLaws
      45. (object)(trait)SemigroupKLaws
      46. (object)(trait)StrongLaws
      47. (object)(trait)TraverseLaws
      48. (object)(trait)UnorderedFoldableLaws
      49. (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)FunctorTests
         31. (object)(trait)InjectKTests
         32. (object)(trait)InjectTests
         33. (object)(trait)InvariantMonoidalTests
         34. (object)(trait)InvariantSemigroupalTests
         35. (object)(trait)InvariantTests
         36. (object)(trait)MonadErrorTests
         37. (object)(trait)MonadTests
         38. (object)(trait)MonoidKTests
         39. (object)(trait)NonEmptyParallelTests
         40. (object)(trait)NonEmptyTraverseTests
         41. (object)(trait)ParallelTests
         42. (object)(trait)ProfunctorTests
         43. (object)(trait)ReducibleTests
         44. (object)(trait)RepresentableTests
         45. (object)(trait)SemigroupalTests
         46. (object)(trait)SemigroupKTests
         47. (object)(trait)StrongTests
         48. (object)(trait)TraverseTests
         49. (object)(trait)UnorderedFoldableTests
         50. (object)(trait)UnorderedTraverseTests