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
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
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