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)CategoryLaws
      11. (object)(trait)ChoiceLaws
      12. (object)(trait)CoflatMapLaws
      13. (object)(trait)CommutativeApplicativeLaws
      14. (object)(trait)CommutativeApplyLaws
      15. (object)(trait)CommutativeArrowLaws
      16. (object)(trait)CommutativeFlatMapLaws
      17. (object)(trait)CommutativeMonadLaws
      18. (object)(trait)ComonadLaws
      19. (object)(trait)ComposeLaws
      20. (object)(trait)ContravariantLaws
      21. (object)(trait)FlatMapLaws
      22. (object)(trait)FoldableLaws
      23. (object)(trait)FunctorLaws
      24. (object)(trait)InjectKLaws
      25. (object)(trait)InjectLaws
      26. (object)(trait)InvariantLaws
      27. (object)(trait)InvariantMonoidalLaws
      28. (class)IsEqArrow
      29. (object)(trait)MonadErrorLaws
      30. (object)(trait)MonadLaws
      31. (object)(trait)MonoidKLaws
      32. (object)(trait)NonEmptyParallelLaws
      33. (object)(trait)NonEmptyTraverseLaws
      34. (object)(trait)ParallelLaws
      35. (object)(trait)ProfunctorLaws
      36. (object)(trait)ReducibleLaws
      37. (object)(trait)SemigroupalLaws
      38. (object)(trait)SemigroupKLaws
      39. (object)(trait)StrongLaws
      40. (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)CategoryTests
         12. (object)(trait)ChoiceTests
         13. (object)(trait)CoflatMapTests
         14. (object)(trait)CommutativeApplicativeTests
         15. (object)(trait)CommutativeApplyTests
         16. (object)(trait)CommutativeArrowTests
         17. (object)(trait)CommutativeFlatMapTests
         18. (object)(trait)CommutativeMonadTests
         19. (object)(trait)ComonadTests
         20. (object)(trait)ComposeTests
         21. (object)(trait)ContravariantTests
         22. (object)
             eq
         23. (object)(trait)FlatMapTests
         24. (object)(trait)FoldableTests
         25. (object)(trait)FunctorTests
         26. (object)(trait)InjectKTests
         27. (object)(trait)InjectTests
         28. (object)(trait)InvariantMonoidalTests
         29. (object)(trait)InvariantTests
         30. (object)(trait)MonadErrorTests
         31. (object)(trait)MonadTests
         32. (object)(trait)MonoidKTests
         33. (object)(trait)NonEmptyParallelTests
         34. (object)(trait)NonEmptyTraverseTests
         35. (object)(trait)ParallelTests
         36. (object)(trait)ProfunctorTests
         37. (object)(trait)ReducibleTests
         38. (object)(trait)SemigroupalTests
         39. (object)(trait)SemigroupKTests
         40. (object)(trait)StrongTests
         41. (object)(trait)TraverseTests