Iltotore / iron

Strong type constraints for Scala
https://iltotore.github.io/iron/docs/
Apache License 2.0
461 stars 44 forks source link

Refinement for scodec? #276

Open TobiasRoland opened 4 days ago

TobiasRoland commented 4 days ago

Is your feature request related to a problem? Please describe. It is! I would like to use scodec with iron, in the same way that I can with scodec-refined

Describe the solution you'd like refinement types for Byte... and BitVector from scodec to limit e.g. a ByteVector to 3 bytes

Describe alternatives you've considered Refined - see refined-scodec part of project


I'd potentially be interested in taking a crack at this myself, if there's interest?

Iltotore commented 1 day ago

Hello.

I'd potentially be interested in taking a crack at this myself, if there's interest?

I've seen such interest for ByteVector etc. constraints in some places I worked at. Sure you can tackle this issue if you want!

TobiasRoland commented 1 day ago

I'll give it a whirl!