{"id":73726,"library":"cats-kernel-laws-2-13","title":"Cats Kernel Laws","description":"Provides law-checking utilities 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","testing","scala"],"install":[{"cmd":"<dependency>\n  <groupId>org.typelevel</groupId>\n  <artifactId>cats-kernel-laws_2.13</artifactId>\n  <version>2.13.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.typelevel:cats-kernel-laws_2.13: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);\n    }\n}","lang":"java","description":"Minimal usage of cats kernel laws"},"warnings":[],"env_vars":null,"search_vec":"'cat':1,11,15 'check':7 'class':14 'kernel':2,12,16 'law':3,6,17 'law-check':5 'provid':4 'scala':19 'test':18 'type':13 'util':8","created_at":"2026-06-17T18:54:31.157570+00:00","updated_at":"2026-06-17T18:54:31.157570+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.13/","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}}