Copyright | (c) Marcin Mrotek 2015 |
---|---|
License | BSD3 |
Maintainer | marcin.jan.mrotek@gmail.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Default key name generation by printing the field label type names.
Documentation
type family FieldAll k (rs :: [k]) (c :: k -> Constraint) :: Constraint where ... #
Assert that all field labels in a given type list satisfy a given constraint.