search

fthomas / refined

Refinement types for Scala
MIT License
1.71k stars 156 forks source link

Documentation about the differences between @@ and Refined #105

Open fthomas opened 8 years ago

fthomas commented 8 years ago

The library has first class support for shapeless.tag.@@ and Refined as carrier for refinements and both types are used in tests and example. We should document the pros and cons of each type and give recommendation when to use which.

fthomas commented 8 years ago

Here is a short and incomplete list of differences: