refined
refined copied to clipboard
fthomas
Refinement types for Scala
I saw this on Travis, compiling doobie at commit b2f02078d0162827b93a1d3408c2a9950ce477d4 under ++2.11.8. I restarted the build and it worked fine, so it's nondeterministic. I'm offering this on the chance that...
Could not reach https://tech.autoscout24.com/blog/ New address is likely http://techblog.scout24.com/
This is an attempt to allow for custom error messages (#161) and to improve string representations of compound predicates like `type LessEqual[N] = Not[Greater[N]]` (#49) using a dedicated `Show` type...
This doesn't compile for Scala 3.0.1 ``` import eu.timepit.refined.generic.Equal import eu.timepit.refined.collection.Size import eu.timepit.refined.refineV val size = 2 val arr = refineV[Size[Equal[size.type]]](Array(1, 2)) ``` Error message: ``` |val arr = refineV[Size[Equal[size.type]]](Array(1,...
Very crude, mostly hardcoded draft which supports only 1 use case. It shows the basic idea and it shows that it doesn't seem easy. Would love to see something simpler....
If I'm not missing something there are no tests for Scala 3.0+ e.g. in module `coreJVM`. Tests are in `scala-3.0-` only.
Attempt to address https://github.com/fthomas/refined/issues/613. Basically, numeric inference kicks in before minimal tautology. ```scala scala> implicitly[Inference[Positive And Less[10], Positive]] val res0: /* ... */ = Inference(false,conjunctionEliminationL(greaterInferenceNat(0, 0))) ``` or even simpler:...
Hi! I'm trying to make a `NonNegBigDecimal` at compile-time. The `auto._` import didn't work, so I tried it by hand: ```scala NonNegBigDecimal(1.01) ``` but I get `"compile-time refinement only works...
I don't know all the context or use cases for `shapeless.Nat` support in `refined` (or singleton-ops), but superficially the ability to write `TypeName[3]` makes something like `TypeName[shapeless.nat._3]` obsolete. It has...
