<div dir="ltr">Hi,<div><br></div><div>the initial plan was that `GHC.TypeLits` should provide just the basic functionality, and later other libraries would be build to provide more convenient functions for specific applications.   I don't know of any such convenience libraries, so at present, people just import `GHC.TypeLits` directly.</div><div><br></div><div>-Iavor</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 31, 2017 at 7:35 AM, Chris Martin <span dir="ltr"><<a href="mailto:ch.martin@gmail.com" target="_blank">ch.martin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>The GHC manual gives code examples that import GHC.TypeLits. The documentation on that module seems to request that users /not/ import it ...</div><div><br></div><div>> This module is an internal GHC module. [...] The programmer interface for working with type-level naturals should be defined in a separate library.<br></div><div><br></div><div>... although I'm not sure what "what be" means here. Does that mean it's a to-do item, and that there will eventually be a separate library, but that we should use this "internal" library directly for now?</div><div><br></div><div>---</div><div><br></div>GHC manual: <a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html?highlight=typelits#type-level-literals" target="_blank">https://downloads.haskell.org/<wbr>~ghc/latest/docs/html/users_<wbr>guide/glasgow_exts.html?<wbr>highlight=typelits#type-level-<wbr>literals</a><div><br><div>GHC.TypeLits: <a href="https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/GHC-TypeLits.html" target="_blank">https://www.stackage.org/<wbr>haddock/lts-8.5/base-4.9.1.0/<wbr>GHC-TypeLits.html</a></div></div><div><br></div></div>
<br>______________________________<wbr>_________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.<wbr>org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/glasgow-<wbr>haskell-users</a><br>
<br></blockquote></div><br></div>