Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcDeriv
- tcDeriving :: [DerivInfo] -> [LDerivDecl Name] -> TcM (TcGblEnv, Bag (InstInfo Name), HsValBinds Name)
- data DerivInfo = DerivInfo {}
- mkDerivInfos :: [TyClGroup Name] -> TcM [DerivInfo]
Documentation
tcDeriving :: [DerivInfo] -> [LDerivDecl Name] -> TcM (TcGblEnv, Bag (InstInfo Name), HsValBinds Name)
data DerivInfo
Stuff needed to process a `deriving` clause
mkDerivInfos :: [TyClGroup Name] -> TcM [DerivInfo]
Extract `deriving` clauses of proper data type (skips data families)