Proposal: export more from Data.Kind

[Carter Schonwald]

David makes a very good point here. That perhaps they should first
stabilize a bit more before being exposed through there

On Sun, Aug 2, 2020 at 12:12 PM 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/20200803/83272005/attachment.html>