refined

We have hosted the application refined in order to run this application in our online workstations with Wine or directly.

Quick description about refined:

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

Programming Language: Scala.
Categories: