magicDict

[Krzysztof Gogolewski]

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 <arnaud.spiwack at tweag.io> wrote:
>
> Let me upvote `reflectDict`.
>
> On Thu, Apr 22, 2021 at 12:41 PM Simon Peyton Jones via ghc-devs <ghc-devs at haskell.org> 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
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs