@@ -103,6 +103,11 @@ Enumerated types can also be generated from a Haskell algbraic data type with nu
103>>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic
103>>> data Schwarma = Beef | Lamb | Chicken deriving GHC.Generic
104>>> instance SOP.Generic Schwarma
104>>> instance SOP.Generic Schwarma
105>>> instance SOP.HasDatatypeInfo Schwarma
105>>> instance SOP.HasDatatypeInfo Schwarma
107+>>> :kind! EnumFrom Schwarma
108+EnumFrom Schwarma :: PGType
109+= 'PGenum '["Beef", "Lamb", "Chicken"]
108 definition :: Definition '[] '["schwarma" ::: 'Typedef (EnumFrom Schwarma)]
113 definition :: Definition '[] '["schwarma" ::: 'Typedef (EnumFrom Schwarma)]