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