Michael Bock
Michael Bock
Another simpler case would be to turn back the new representation into another type afterwards: ```hs module SampleGeneric2 where import Prelude import Data.Either (Either, hush) import Data.Generic.Rep (class Generic, from,...
And actually I think `MappingWithIndex` should be possible, too. Whereas the index would be a Tuple of the constructor name as symbol and the product index as type level Int.
Friendly reminder about this... are there any chances that this gets merged?
To me it looks interesting and useful. I'd vote for having this in the library!
I was just about to open an issue about this topic. And see, there's only one open and it's exactly about this. So, here's my take on the problem: Basically...
Yeah, very reasonable arguments. Maybe it makes more sense to stabilize purenix first. Especially the purenix ecosystem needs to grow. Here I am thinking mainly of porting the core libraries....
Ok, I think I get your point. What do you think, does this go into the right direction: https://github.com/justinwoo/spago2nix/pull/21 ? This should cover 1. and 2., but not yet 3.
Well, no. Now it's impure. We have a relative path inside the generated nix file. The local packages have to be somehow put into a derivation to get around this....
Another a bit more difficult part of the problem is: How to actually draw things on the `Graphics`. All the drawing functions currently take a `P5` as the first argument....