Frank Thomas
Frank Thomas
Documentation has been updated in #451.
I think it would make sense if the über-import would include everything in the `refined` package object, all predicates (that is `boolean._` , `char._`, `collection._`, `generic._`, `numeric._`, and `string._`), `auto._`,...
One step in this direction has been made in #433 which is now available in 0.9.0. So to import all predicates we can now `import eu.timepit.refined.predicates.all._`. To import all of...
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
Agreed! Most of the README was written before the `types` package was added. In the early days of the library, the focus was on the predicates while it currently shifts...
This requires an `Inference` instances that proofs that `P` implies `AnyOf[L
You don't need to do anything with the `sel` parameter because if the compiler finds an instance `Selector[L, P]` it already has proven that `L` contains `P`. So ```scala implicit...
The good news is that your `Inference` instance now works as intended (otherwise you wouldn't see that stack trace) but the bad news is that you're hitting the problem described...
I agree, it would be a welcome addition.
That would be a welcome addition. Any ideas how to implement that?