These are chat archives for fthomas/refined

8th
Dec 2017
Nicolas Rinaudo
@nrinaudo
Dec 08 2017 12:13
I get the impression that refined-scalacheck doesn't have support for collection refinements... am I crazy?
Frank S. Thomas
@fthomas
Dec 08 2017 12:17
@nrinaudo you're right. There is no fundamental reason that there are no instances. The usual "nobody has added them yet" applies :)
Nicolas Rinaudo
@nrinaudo
Dec 08 2017 12:18
I'm relieved - I thought I was going insane, especially since I submitted a PR specifically to refined-scalacheck and couldn't remember anything about that
if I were to somehow magically find time, would you be interested in such a PR?
Frank S. Thomas
@fthomas
Dec 08 2017 12:24
Absolutely yes!
Nicolas Rinaudo
@nrinaudo
Dec 08 2017 12:35
Alright, I'll try to make the time :)
Colt Frederickson
@coltfred
Dec 08 2017 16:40
I'd love to see some examples of doing refinements on collections because I'd really like refinements on ByteVector from scodec. I tried to write one, but the compiler crushed my will to continue.
Frank S. Thomas
@fthomas
Dec 08 2017 20:52
@coltfred Do you have a specific refinement in mind that you would like to apply to a ByteVector? If I find some time, I could try looking into it.
Colt Frederickson
@coltfred
Dec 08 2017 20:56
@fthomas Sized is a big one.
Being able to say a byte vector has an exact length is awesome.
Frank S. Thomas
@fthomas
Dec 08 2017 21:04
Ok, thanks. I'll open an issue and post my findings there. But I can't promise that this will happen soon. The kids are keeping me busy these days.
Frank S. Thomas
@fthomas
Dec 08 2017 21:26
@coltfred fthomas/refined#363