Frank Thomas
Frank Thomas
See https://github.com/fthomas/refined/pull/592#issuecomment-445942477 for the rationale.
see https://github.com/alexarchambault/sonatype-stats
This tweet https://twitter.com/ppurang/status/674252856720031745 indicates that we could improve the error message when a value doesn't satisfy the predicate.
In #382 I expressed concerns about adding a variant of the `validate` method that doesn't require a full refined type, because I feel the current API surface is already quite...
The predicates in refined are currently organized in objects (like `numeric`, `string`, etc.) in the `eu.timepit.refined` package. With the addition of predefined refined types in `eu.timepit.refined.types` the predicates became a...
[RefineJavapSpec.scala](https://github.com/fthomas/refined/blob/9358f95c8113fce711c32fb2b03e222a18de8982/modules/scalaz/jvm/src/test/scala-2.12/eu/timepit/refined/scalaz/RefineJavapSpec.scala) shows the boxing behavior and runtime overhead of the different refinement carrier that refined supports which are currently `Refined`, `shapeless.tag.@@`, and `scalaz.@@` (via the refined-scalaz module). For reference types,...
The project that aggregate all JVM projects could be used in the community build (see https://github.com/scala/community-builds/pull/703#issuecomment-376632386) to ensure that new projects would be picked up by it automatically.
@mdimjasevic and @liff [mentioned on Gitter](https://gitter.im/fthomas/refined?at=5a699a1aae53c15903311d45) that scalac with the `-Xverify` option issues warnings like these when using refined types: ``` [warn] /home/User/Product.scala:110: compiler bug: created invalid generic signature for...
It would be cool if refined had a logo like some of the other Typelevel projects. Unfortunately I don't have an idea for a nice logo. Suggestions would be very...