GOTCHA, thanks, i was being a bit myopic in looking around, :) On Wed, Mar 30, 2016 at 3:46 PM, Ben Gamari <[email protected]> wrote:
> Carter Schonwald <[email protected]> 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 >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
