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

Project Samples

Project Activity

See All Activity >

Categories

Libraries

License

MIT License

Follow Refined

Refined Web Site

Other Useful Business Software
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Refined!

Additional Project Details

Programming Language

Scala

Related Categories

Scala Libraries

Registered

2025-08-04