These are chat archives for fthomas/refined

14th
Jul 2016
Ben Hutchison
@benhutchison
Jul 14 2016 06:33
I hit a tricky problem while trying to integrate cats & refined, which Ive gisted. Any suggestions on better ways to express the required types most welcome..
https://gist.github.com/benhutchison/fc2794ded1ca1b15ad07f30813b290ee
Frank S. Thomas
@fthomas
Jul 14 2016 06:49
@benhutchison the version with Reducible[Lambda[X => F[X] Refined NonEmpty]] works and is what you want, right?
Frank S. Thomas
@fthomas
Jul 14 2016 07:02
Btw, I'd love to have instances like this in a refined-cats project
Ben Hutchison
@benhutchison
Jul 14 2016 10:33

Yes, it works and I'll progress with that. But Im not yet fully comfortable with this nesting of type-lambdas inside, its not a code idiom Ive used before, nor seen in the wild. So.. was wondering if Id missed something more straightforward.

Happy to contribute a cats-integration module once I understand the problem domain better. Im currently working on a codebase that combines Cats + Eff + Refined, that might yield a small Eff-Refined integration module as well

Frank S. Thomas
@fthomas
Jul 14 2016 13:48
:+1: