Hi, 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.
-Iavor On Fri, Mar 31, 2017 at 7:35 AM, Chris Martin <ch.mar...@gmail.com> wrote: > The GHC manual gives code examples that import GHC.TypeLits. The > documentation on that module seems to request that users /not/ import it ... > > > This module is an internal GHC module. [...] The programmer interface > for working with type-level naturals should be defined in a separate > library. > > ... 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? > > --- > > GHC manual: https://downloads.haskell.org/~ghc/latest/docs/html/users_ > guide/glasgow_exts.html?highlight=typelits#type-level-literals > > GHC.TypeLits: https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/ > GHC-TypeLits.html > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
