Searched refs:GDatatypeInfoOf (Results 1 – 2 of 2) sorted by relevance
16 , GDatatypeInfoOf197 type GDatatypeInfo a = SOP.T.DemoteDatatypeInfo (GDatatypeInfoOf a) (GCode a)203 type GDatatypeInfoOf (a :: Type) = ToInfo (GHC.Rep a) type236 gdatatypeInfo _ = SOP.T.demoteDatatypeInfo (Proxy :: Proxy (GDatatypeInfoOf a))
144 type DatatypeInfoOf a = GDatatypeInfoOf a