That doesn't work out so well when the class has a bunch of methods. I definitely saw the nice way on Hackage ... somewhere.

On Sat, Oct 22, 2022, 2:49 PM Brandon Allbery <allbery.b@gmail.com> wrote:

I'm not aware of anything specifically like that, but the `make…`
functions in https://hackage.haskell.org/package/deriving-compat-0.6.1/docs/Data-Deriving.html
may allow you to do something similar?

On Sat, Oct 22, 2022 at 2:32 PM David Feuer <david.feuer@gmail.com> wrote:
>
> I remember seeing a package that offered a function used something like this:
>
> $(deriveThingy [d| instance Foo a => Thingy a |])
>
> to allow the user to specify the constraint(s) for a generated instance. I'd love to borrow the code for that, but I can't remember what package it was in, what class it derived, etc. Can anyone help?
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.



--
brandon s allbery kf8nh
allbery.b@gmail.com