singletons stuff in GHC.Generics?
carter.schonwald at gmail.com
Wed Mar 30 19:47:05 UTC 2016
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 (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)
> - Ben
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs