Proposal: export more from Data.Kind

[David Feuer]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200802/6ae018aa/attachment.html>