Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling.
Features
- Rich predicate support (e.g. Positive, NonEmpty, range constraints)
- Compile-time verified refinements for constant values
- Seamless integration with type-level programming and shapeless
- Automatic validation via implicits and macros
- Interoperability with Circe, Cats and other functional libraries
- Reduces boilerplate in checking invariants during runtime
Categories
LibrariesLicense
MIT LicenseFollow Refined
Other Useful Business Software
Build Data Resilience - Take the Assessment Today
Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Refined!