| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Generics.Constraints
Synopsis
- type Constraints t c = Constraints' (Rep t) c
- makeDeriving :: Name -> Name -> DecsQ
- makeDerivings :: [Name] -> [Name] -> DecsQ
- makeInstance :: Name -> Name -> DecsQ
- makeInstances :: [Name] -> [Name] -> DecsQ
Documentation
type Constraints t c = Constraints' (Rep t) c Source #
Constraints is a constraint type synonym, containing the constraint
requirements for an instance for t of class c.
It requires an instance of class c for each component of t.