{"id":56711,"library":"cats-laws-3","title":"Cats Laws","description":"Provides law-checking utilities for the Cats functional programming library in Scala 3.","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_3</artifactId>\n  <version>2.13.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.typelevel:cats-laws_3:2.13.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"Laws","correct":"cats.laws.discipline.Laws"}],"quickstart":{"code":"import cats.laws.discipline.Laws\n\n// Example: checking Functor laws\n// val laws = FunctorTests[Option].functor[Int, Int, Int]","lang":"scala","description":"Import and use Cats law checking for type class instances."},"warnings":[],"env_vars":null,"search_vec":"'3':16 'cat':1,10,17 'check':6 'function':11,21 'functional-program':20 'law':2,5,18 'law-check':4 'librari':13 'program':12,22 'provid':3 'scala':15,19 'test':23 'util':7","created_at":"2026-06-15T10:47:20.827942+00:00","updated_at":"2026-06-15T10:47:20.827942+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_3/","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-15","next_check":"2026-12-12","install_tag":null}}