refined
refined copied to clipboard
fthomas
Refinement types for Scala
First of all, the library is cool and all, but the following code compiles for 24 seconds (!): ```scala import eu.timepit.refined.auto._ import eu.timepit.refined.api.Refined import eu.timepit.refined.boolean.AnyOf import eu.timepit.refined.char._ import shapeless._ object...
[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.
I created a [simple project](https://github.com/umbreak/refine-test) which reproduces that error. When defining my own refined type and using it in the code it fails with the following error at `compile` time:...
I have the following generic method to convert from `String` to `String Refined A`. However, this is somewhat different because I'm going to try to convert String to `String Refined...
@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...
Would be great to have a subset of the same operations available on unconstrained typed also available on refined types but tracking properties across operations. Even a small subset would...
This tweet https://twitter.com/missingfaktor/status/909064863917510656 shows that increased compilation time with refined is a major issue. We should investigate ways to get better in this regard.
Just stumbled upon `eu.timepit.refined.types.all`. Let's add something about this package to the README :)
