Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
GBLen (U1 :: k -> Type) Source # | Empty constructor. |
(TypeError GErrRefuseVoid :: Constraint) => GBLen (V1 :: k -> Type) Source # | Refuse to derive instance for void datatype. |
(GBLen l, GBLen r) => GBLen (l :*: r :: k -> Type) Source # | Product type fields are consecutive. |
GBLenSum (l :+: r) => GBLen (l :+: r :: k -> Type) Source # | Constructor sums are differentiated by a prefix tag. |
BLen c => GBLen (K1 i c :: k -> Type) Source # | Field. |
GBLen f => GBLen (M1 i d f :: k -> Type) Source # | Any datatype, constructor or record. |