{"library":"refined-2-13","type":"library","category":null,"description":"Simple refinement types for Scala, providing compile-time type constraints for runtime values.","language":"java","status":"active","version":"0.11.3","tags":["scala","refinement","types","compile-time"],"last_verified":"Mon Jun 15","install":[{"cmd":"<dependency>\n  <groupId>eu.timepit</groupId>\n  <artifactId>refined_2.13</artifactId>\n  <version>0.11.3</version>\n</dependency>","imports":["eu.timepit.refined.api.Refined"]},{"cmd":"implementation 'eu.timepit:refined_2.13:0.11.3'","imports":[]}],"homepage":"https://github.com/fthomas/refined","github":"https://github.com/fthomas/refined","docs":"https://appdoc.app/artifact/eu.timepit/refined_2.13/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}