Re: singletons stuff in GHC.Generics?

30 Mar 2016


      Carter Schonwald  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

Re: singletons stuff in GHC.Generics?

Ben Gamari