Copyright | (c) 2016 - 2020 Finn Teegen |
---|---|
License | BSD-3-clause |
Maintainer | fte@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Env.Instance
Description
The compiler maintains information about defined instances in an environment that maps pairs of type classes and type constructors to the name of the module where the instance is declared, the context as given in the instance declaration, and a list of the class methods implemented in the specific instance along with their arity. A flat environment is sufficient because instances are visible globally and cannot be hidden. Instances are recorded only with the original names of the type class and type constructor involved. The context also uses original names and is already minimized.
Documentation
ppInstIdent :: InstIdent -> Doc Source #