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