Simple refinement types for Scala, providing compile-time type constraints for runtime values.
<dependency>
<groupId>eu.timepit</groupId>
<artifactId>refined_2.12</artifactId>
<version>0.11.3</version>
</dependency>No compatibility data collected yet for this library.
Verified import paths — ran on the pinned version, not inferred.
Define a refined type that ensures a value is positive at compile time.
No known issues recorded.
No dependency data recorded yet.