{"id":62487,"library":"cats-effect-laws-2-12","title":"Cats Effect Laws","description":"Provides law tests for the Cats Effect library to verify typeclass instances.","status":"active","version":"3.7.0","language":"java","source_language":null,"source_url":"https://github.com/typelevel/cats-effect","tags":["cats","effect","laws","testing","scala"],"install":[{"cmd":"<dependency>\n  <groupId>org.typelevel</groupId>\n  <artifactId>cats-effect-laws_2.12</artifactId>\n  <version>3.7.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.typelevel:cats-effect-laws_2.12:3.7.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"AsyncLaws","correct":"cats.effect.laws.AsyncLaws"}],"quickstart":{"code":"import cats.effect.laws.AsyncLaws;\n// Example: check laws for an Async instance\n// AsyncLaws[IO].asyncRightIgnoredCancelable","lang":"java","description":"Minimal usage showing import of Cats Effect laws."},"warnings":[],"env_vars":null,"search_vec":"'cat':1,9,16 'effect':2,10,17 'instanc':15 'law':3,5,18 'librari':11 'provid':4 'scala':20 'test':6,19 'typeclass':14 'verifi':13","created_at":"2026-06-17T16:31:23.959976+00:00","updated_at":"2026-06-17T16:31:23.959976+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://github.com/typelevel/cats-effect","github":"https://github.com/typelevel/cats-effect","docs":"https://appdoc.app/artifact/org.typelevel/cats-effect-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}}