[Haskell-cafe] Help with TH trick

[David Feuer]

Okay, I found it: recursion-schemes.

On Sat, Oct 22, 2022, 3:05 PM David Feuer <david.feuer at gmail.com> wrote:

> 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 at 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 at 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 at gmail.com
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20221022/1d747615/attachment.html>