refined icon indicating copy to clipboard operation
refined copied to clipboard
verified publisher icon fthomas

Documentation about the differences between @@ and Refined

Open fthomas opened this issue 10 years ago • 1 comments

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 avatar Dec 13 '15 18:12 fthomas

Here is a short and incomplete list of differences:

  • #21 and https://issues.scala-lang.org/browse/SI-8740
  • https://github.com/travisbrown/circe/issues/220
  • T <: (T @@ P)

fthomas avatar Apr 01 '16 05:04 fthomas