Refinement types for Scala
Perhaps refined would help you? It lets you set constraints (i.e. "rules") for values / types. You get compile-time enforcement for constants and fallible methods for runtime values (i.e. Either[Error, RefinedValue]).
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Type erased on implicit evidence check
1 project | /r/scala | 28 Apr 2023
Cross-Training to Ada - which are the best languages to begin from?
1 project | /r/ada | 25 Jan 2023
Can types replace validation?
2 projects | /r/programming | 28 Aug 2022
Help with Single Value Validated Types
2 projects | /r/scala | 27 Aug 2021
Types versus sets in math and programming languages
1 project | /r/ProgrammingLanguages | 24 Jul 2021