Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
(TypeError GErrRefuseVoid :: Constraint) => GGetC (V1 :: k -> Type) Source # | Refuse to derive instance for empty data types. |
GGetCSum (l :+: r) => GGetC (l :+: r :: k -> Type) Source # | Constructor sums are differentiated by a prefix tag. |
(GGetS f, Constructor c) => GGetC (C1 c f :: k -> Type) Source # | TODO: Non-sum data types. |
class GGetCSum f where Source #
TODO: Want to return an Either [(String, Text)]
indicating the
constructors and their expected tags tested, but needs fiddling (can't use
Alternative
). Pretty minor, but Aeson does it and it's nice.