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

Project Samples

Project Activity

See All Activity >

License

MIT License

Follow Refined

Refined Web Site

Other Useful Business Software

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

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

Similar Business Software

SurveyJS

SurveyJS is a product family of four open-source JavaScript libraries that provide you with all the advantages of a custom-built in-house survey application while significantly reducing time-to-market and resources required to get the system up and running. The libraries are compatible with most...

See Software
FusionCharts

FusionCharts is a powerful and easy-to-use JavaScript charting library that helps developers to add interactive charts and data visualizations to their web and mobile applications. With 100+ chart types, including column, bar, line, area, pie, doughnut, scatter, bubble, and more, it's easy to...

See Software
DHTMLX

DHTMLX is a JavaScript UI library that provides a set of highly customizable and flexible components for building modern and responsive web applications. The library includes more than 30 UI components, such as Gantt, Scheduler, Kanban, diagrams, charts, grids, spreadsheets, calendars, trees,...

See Software
Auth.js

Auth.js is an open-source authentication library designed to integrate seamlessly with modern JavaScript frameworks, providing a flexible and secure authentication experience. It supports various authentication methods, including OAuth (e.g., Google, GitHub), credentials, and WebAuthn, allowing...

See Software
Webix

JavaScript UI library and framework for speeding up web development. JS Framework for cross-platform web Apps development 102 UI widgets and feature-rich CSS / HTML5 JavaScript controls. Save at least 3000+ development hours by using ready-made widgets and UI controls. Develop Web UI 30% faster....

See Software
Cleave.js

Format your <input/> content when you are typing. Cleave.js has a simple purpose, to help you format input text content automatically. Credit card number formatting, phone number formatting (i18n js lib separated for each country to reduce size), date formatting, numeral formatting, custom...

See Software