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

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

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 an embeddable, self-hosted, white-label form builder for teams building custom forms, surveys, questionnaires, and other data collection tools inside web applications. It runs entirely on the client and is fully compatible with all modern JavaScript frameworks, including React,...

See Software
VisuallyJs

VisuallyJs is a JavaScript and TypeScript library for building professional diagrams, charts, dashboards, and rich graphical front ends. The platform supports React, Angular, Vue, Svelte, JavaScript, and TypeScript, giving development teams flexible options for building visual applications....

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