Alternative to importing GHC.TypeLits?

Iavor Diatchki iavor.diatchki at
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> 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:
> guide/glasgow_exts.html?highlight=typelits#type-level-literals
> GHC.TypeLits:
> GHC-TypeLits.html
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list