Simple refinement types for Scala, enabling compile-time validation of values.
<dependency>
<groupId>eu.timepit</groupId>
<artifactId>refined_3</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.
Defines a refined type for positive integers.
Simplify predicates or use type aliases.
No dependency data recorded yet.