Alternative to importing GHC.TypeLits?
iavor.diatchki at gmail.com
Fri Mar 31 16:44:30 UTC 2017
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`
On Fri, Mar 31, 2017 at 7:35 AM, Chris Martin <ch.martin at 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
> ... 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_
> GHC.TypeLits: https://www.stackage.org/haddock/lts-8.5/base-220.127.116.11/
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users