fthomas / refined

Refinement types for Scala

fthomas/refined Issues

Scala 3.2: Comparing NonNegInt with Int gives a compile error
Updated 2 months ago1
Macros missing for Scala 3
Updated 2 months ago19
Provide `Ordering` if the base type has one
Updated 8 months ago
Replace HList useages with Tuple in scala3 implmentations
Closed a year ago2
Define versionScheme
Updated a year ago
Runtime `java.lang.AbstractMethodError` when combining refinement erasure, value class erasure, and generic type erasure
Closed a year ago3
Add support for `NonBlankString` and `StrippedString`
Updated a year ago
Int Refined Positive does work with Scala 3.2.0
Closed a year ago1
`Greater[5] Or Equal[5]` results in drastic performance problems with `unsafeFrom`
Updated a year ago8
Pureconfig not published for scala3
Closed a year ago1
refined-scalacheck all values discarded
Closed a year ago5
Size predicate validator error
Updated a year ago7
Creating a Map of Literal Refined Types as the Key doesn't work
Updated a year ago1
Chaining refined string operation
Updated 2 years ago1
OpenAPI with Refined Strings
Closed 2 years ago4
Publish for Scala native?
Closed 2 years ago1
Versioning scheme is not declared
Updated 3 years ago
Broken link in README
Updated 3 years ago
refined-cats is not published for Scala 3.x
Closed 3 years ago3
Compile-time refinement of lists?
Closed 3 years ago3
Inconsistency between 0.9.25 and 0.9.26 versions - possible regression
Closed 3 years ago4
type mismatch with function argument
Closed 3 years ago1
Alphanumeric type is not declared infix
Closed 3 years ago2
Combining boolean predicates
Closed 3 years ago5
Add refined-scala-hedgehog
Closed 3 years ago2
Missing tests for Scala 3.0+
Updated 3 years ago
3.0.0-M3 release?
Closed 4 years ago3
Reduce amount of imports needed
Closed 4 years ago2
"compile-time refinement only works with literals" for NonNegBigDecimal when a Double literal is used
Updated 4 years ago
Literal predicates for BigDecimal
Closed 4 years ago
[discussion] remove shapeless.Nat support
Updated 4 years ago2
The derived instance `Arbitrary[NonEmptyFiniteString[N]]` may generate an empty string
Closed 4 years ago7
PrivateNetwork type does not match the expected IP addresses
Updated 4 years ago1
Rfc1918ClassBPrivateSpec incorrect matches
Closed 4 years ago1
Validate runtime value?
Closed 4 years ago2
[discussion] eliminating macro dependency for `refineMV`
Updated 4 years ago2
use Equal[_] with case object
Updated 4 years ago9
RFE: A version of Inference[P, C] that fails for implicit chaining
Updated 4 years ago4
Publish for scala.js 1.0
Closed 4 years ago7
Mock not working?
Closed 4 years ago
RefineSyntaxSpec fails on latest Scala 2.13 nightly (progression?)
Closed 5 years ago3
Email Regex getting ` Malformed literal` error
Closed 5 years ago1
Remove xml from core
Closed 5 years ago2
scalacheck refined types generate invalid instances
Closed 5 years ago1
Size, MaxSize and MinSize for String?
Closed 5 years ago4
AdjacentSpec BigDecimal test case failing on recent Scala 2.13 nightlies
Updated 5 years ago2
[pureconfig] Refined cannot be read inside a Collection inside a Case Class inside a Collection
Updated 5 years ago
Extract macros to a new refined-macros module
Updated 5 years ago
Guide for implementing a custom refined type (ITT: Some cool FiniteDuration refining cheats)
Closed 5 years ago10
Sorted predicates
Updated 5 years ago1