How about 'reifyDict'? The reflection library uses 'reify' to create a dictionary and 'reflect' to extract a value out of it.
https://hackage.haskell.org/package/reflection-2.1.6/docs/Data-Reflection.html#v:reify On Thu, Apr 22, 2021 at 3:27 PM Spiwack, Arnaud <[email protected]> wrote: > > Let me upvote `reflectDict`. > > On Thu, Apr 22, 2021 at 12:41 PM Simon Peyton Jones via ghc-devs > <[email protected]> wrote: >> >> Ed, and other ghc-devs >> >> We are busy tidying up magicDict, and making it much more type-safe: see >> >> https://gitlab.haskell.org/ghc/ghc/-/issues/16646 >> https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5573 >> >> As part of that change we’re think of changing its currently-rather-obscure >> name. I rather favour “reflectDict”. Any other views? >> >> Simon >> >> _______________________________________________ >> ghc-devs mailing list >> [email protected] >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
