{"id":70778,"library":"cats-kernel-laws-2-12","title":"Cats Kernel Laws","description":"Provides laws and property-based tests for the Cats kernel type classes.","status":"active","version":"2.13.0","language":"java","source_language":null,"source_url":"https://github.com/typelevel/cats","tags":["cats","kernel","laws","scala","typelevel"],"install":[{"cmd":"<dependency>\n  <groupId>org.typelevel</groupId>\n  <artifactId>cats-kernel-laws_2.12</artifactId>\n  <version>2.13.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.typelevel:cats-kernel-laws_2.12:2.13.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"IsEq","correct":"cats.kernel.laws.IsEq"}],"quickstart":{"code":"import cats.kernel.laws.IsEq;\n\npublic class Example {\n    public static void main(String[] args) {\n        IsEq<String> eq = new IsEq<>(\"hello\", \"hello\");\n        System.out.println(eq.isEqual());\n    }\n}","lang":"java","description":"Minimal usage of Cats kernel laws equality check."},"warnings":[],"env_vars":null,"search_vec":"'base':9 'cat':1,13,17 'class':16 'kernel':2,14,18 'law':3,5,19 'properti':8 'property-bas':7 'provid':4 'scala':20 'test':10 'type':15 'typelevel':21","created_at":"2026-06-17T18:18:59.862203+00:00","updated_at":"2026-06-17T18:18:59.862203+00:00","problems":[],"ecosystem":"maven","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://typelevel.org/cats","github":"https://github.com/typelevel/cats","docs":"https://appdoc.app/artifact/org.typelevel/cats-kernel-laws_2.12/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["testing"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}