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)CartesianLaws
      11. (object)(trait)CategoryLaws
      12. (object)(trait)ChoiceLaws
      13. (object)(trait)CoflatMapLaws
      14. (object)(trait)ComonadLaws
      15. (object)(trait)ComposeLaws
      16. (object)(trait)ContravariantLaws
      17. (object)(trait)FlatMapLaws
      18. (object)(trait)FoldableLaws
      19. (object)(trait)FunctorFilterLaws
      20. (object)(trait)FunctorLaws
      21. (object)(trait)InvariantLaws
      22. (object)(trait)InvariantMonoidalLaws
      23. (case class)IsEq
      24. (class)IsEqArrow
      25. (object)(trait)MonadCombineLaws
      26. (object)(trait)MonadErrorLaws
      27. (object)(trait)MonadFilterLaws
      28. (object)(trait)MonadLaws
      29. (object)(trait)MonadReaderLaws
      30. (object)(trait)MonadStateLaws
      31. (object)(trait)MonadWriterLaws
      32. (object)(trait)MonoidKLaws
      33. (object)(trait)ProfunctorLaws
      34. (object)(trait)ReducibleLaws
      35. (object)(trait)SemigroupKLaws
      36. (object)
          SerializableLaws
      37. (object)(trait)SplitLaws
      38. (object)(trait)StrongLaws
      39. (object)(trait)TraverseFilterLaws
      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)CartesianTests
         12. (object)(trait)CategoryTests
         13. (object)(trait)ChoiceTests
         14. (object)(trait)CoflatMapTests
         15. (object)(trait)ComonadTests
         16. (object)(trait)ComposeTests
         17. (object)(trait)ContravariantTests
         18. (object)
             eq
         19. (object)(trait)FlatMapTests
         20. (object)(trait)FoldableTests
         21. (object)(trait)FunctorFilterTests
         22. (object)(trait)FunctorTests
         23. (object)(trait)InvariantMonoidalTests
         24. (object)(trait)InvariantTests
         25. (object)(trait)MonadCombineTests
         26. (object)(trait)MonadErrorTests
         27. (object)(trait)MonadFilterTests
         28. (object)(trait)MonadReaderTests
         29. (object)(trait)MonadStateTests
         30. (object)(trait)MonadTests
         31. (object)(trait)MonadWriterTests
         32. (object)(trait)MonoidKTests
         33. (object)(trait)ProfunctorTests
         34. (object)(trait)ReducibleTests
         35. (object)(trait)SemigroupKTests
         36. (object)
             SerializableTests
         37. (object)(trait)SplitTests
         38. (object)(trait)StrongTests
         39. (object)(trait)TraverseFilterTests
         40. (object)(trait)TraverseTests