1. cats
   1. cats.laws
      1. (object)(trait)AlternativeLaws
      2. (object)(trait)ApplicativeLaws
      3. (object)(trait)ApplyLaws
      4. (object)(trait)ArrowLaws
      5. (object)(trait)CategoryLaws
      6. (object)(trait)ChoiceLaws
      7. (object)(trait)CoflatMapLaws
      8. (object)(trait)ComonadLaws
      9. (object)(trait)ComposeLaws
      10. (object)(trait)ContravariantLaws
      11. (object)(trait)FlatMapLaws
      12. (object)(trait)FoldableLaws
      13. (object)(trait)FunctorLaws
      14. (object)(trait)InvariantLaws
      15. (case class)IsEq
      16. (class)IsEqArrow
      17. (object)(trait)MonadCombineLaws
      18. (object)(trait)MonadErrorLaws
      19. (object)(trait)MonadFilterLaws
      20. (object)(trait)MonadLaws
      21. (object)(trait)MonadReaderLaws
      22. (object)(trait)MonadStateLaws
      23. (object)(trait)MonoidKLaws
      24. (object)(trait)ProfunctorLaws
      25. (object)(trait)SemigroupKLaws
      26. (object)
          SerializableLaws
      27. (object)(trait)SplitLaws
      28. (object)(trait)StrongLaws
      29. (object)(trait)TraverseLaws
      1. cats.laws.discipline
         1. (object)(trait)AlternativeTests
         2. (object)(trait)ApplicativeTests
         3. (object)(trait)ApplyTests
         4. (object)
            arbitrary
         5. (object)(trait)ArbitraryK
         6. (object)(trait)ArrowTests
         7. (object)(trait)CategoryTests
         8. (object)(trait)ChoiceTests
         9. (object)(trait)CoflatMapTests
         10. (object)(trait)ComonadTests
         11. (object)(trait)ComposeTests
         12. (object)
             eq
         13. (object)(trait)EqK
         14. (object)(trait)FlatMapTests
         15. (object)(trait)FoldableTests
         16. (object)(trait)FunctorTests
         17. (object)(trait)InvariantTests
         18. (object)(trait)MonadCombineTests
         19. (object)(trait)MonadErrorTests
         20. (object)(trait)MonadFilterTests
         21. (object)(trait)MonadReaderTests
         22. (object)(trait)MonadStateTests
         23. (object)(trait)MonadTests
         24. (object)(trait)MonoidKTests
         25. (object)(trait)ProfunctorTests
         26. (object)(trait)SemigroupKTests
         27. (object)
             SerializableTests
         28. (object)(trait)SplitTests
         29. (object)(trait)StrongTests
         30. (object)(trait)TraverseTests