Heterogeneous equality into base?

Wolfgang Jeltsch wolfgang-it at jeltsch.info
Mon Jul 10 18:57:45 UTC 2017

Why not define (:~~:) in Data.Type.Equality.Heterogeneous in the first
place instead of defining it in Data.Type.Equality and reexporting it
from Data.Type.Equality.Heterogeneous?
All the best,
Am Montag, den 10.07.2017, 08:24 -0700 schrieb Ryan Scott:
> I also agree that we should keep HRefl a distinct name, and moreover,
> we should keep :~: and :~~: as distinct datatypes.
> I'm also on-board with the idea that we should introduce a separate
> Data.Type.Equality.Hetero module that reexports :~~: and defines
> heterogeneous counterparts for sym, trans, etc. from
> Data.Type.Equality. I don't have a strong opinion on how they should
> be named (e.g., sym vs. hsym).
> Ryan S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170710/cc97b37c/attachment.html>

More information about the Libraries mailing list