Copyright | (c) 2016 Finn Teegen |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Checks.DeriveCheck
Description
Before entering derived instances into the instance environment, the compiler has to ensure that it is not asked for other instances than those of supported type classes.
Documentation
deriveCheck :: TCEnv -> Module a -> [Message] Source #