singletons stuff in GHC.Generics?

[Carter Schonwald]

GOTCHA,
thanks, i was being a bit myopic in looking around, :)

On Wed, Mar 30, 2016 at 3:46 PM, Ben Gamari <ben at well-typed.com> wrote:

> Carter Schonwald <carter.schonwald at gmail.com> writes:
>
> > Hey All, i just noticed that theres some Singletons code in the
> > GHC.Generics module thats defined but not exported, whats the context on
> > that?
> >
> It's used strictly internally in instances defined in GHC.Generics. For
> instance,
>
>     instance (KnownSymbol n, SingI f, SingI r)
>         => Constructor ('MetaCons n f r) where
>       conName     _ = symbolVal (Proxy :: Proxy n)
>       conFixity   _ = fromSing  (sing  :: Sing f)
>       conIsRecord _ = fromSing  (sing  :: Sing r)
>
> Cheers,
>
> - Ben
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160330/56102b30/attachment.html>