Proposal: export more from Data.Kind

[chessai]

I suppose we might want RuntimeRep to stabilise before its inclusion in a
non-GHC.* namespace. Open to suggestions on whether that matters -
typically people using RuntimeRep know what they're doing, and are small in
number, so they could handle the breakage just fine.



On Sun, Aug 2, 2020, 9:12 AM David Feuer <david.feuer at gmail.com> wrote:

> My impression is that RuntimeRep may not have stabilized all the way yet.
> There are things that work for LiftedRep and UnliftedRep that want to be
> polymorphic that way.
>
> On Sun, Aug 2, 2020, 12:10 PM Krzysztof Gogolewski <
> krz.gogolewski at gmail.com> wrote:
>
>> Hello,
>>
>> I'd like to export TYPE, RuntimeRep(..), Multiplicity(..) from Data.Kind.
>> (Multiplicity is the Linear Haskell type - One and Many.)
>>
>> Currently you have to import GHC.Exts / GHC.Types which conflicts with
>> Safe Haskell. I think both levity and linearity polymorphism
>> should be available under Safe Haskell.
>>
>> Data.Kind already contains Constraint and Type.
>>
>> -Krzysztof
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200802/2d0d6ccf/attachment.html>