{"id":55401,"library":"cats-laws-2-12","title":"Cats Laws","description":"Provides law-checking utilities for the Cats functional programming library in Scala.","status":"active","version":"2.13.0","language":"java","source_language":null,"source_url":"https://github.com/typelevel/cats","tags":["cats","laws","scala","functional-programming","testing"],"install":[{"cmd":"<dependency>\n  <groupId>org.typelevel</groupId>\n  <artifactId>cats-laws_2.12</artifactId>\n  <version>2.13.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.typelevel:cats-laws_2.12:2.13.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"Laws","correct":"cats.laws.discipline.Laws"}],"quickstart":{"code":"import cats.laws.discipline.Laws\n// Example: check laws for a Functor\n// Laws[Functor].check()","lang":"scala","description":"Minimal usage showing import of Cats Laws discipline."},"warnings":[],"env_vars":null,"search_vec":"'cat':1,10,16 'check':6 'function':11,20 'functional-program':19 'law':2,5,17 'law-check':4 'librari':13 'program':12,21 'provid':3 'scala':15,18 'test':22 'util':7","created_at":"2026-06-15T09:49:19.529926+00:00","updated_at":"2026-06-15T09:49:19.529926+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-laws_2.12/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["testing","utility"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-15","next_check":"2026-12-12","install_tag":null}}