Env.Instance

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.

Documentation

type InstIdent = (QualIdent, QualIdent)

ppInstIdent :: InstIdent -> Doc

type InstInfo = (ModuleIdent, PredSet, [(Ident, Int)])

type InstEnv = Map InstIdent InstInfo

initInstEnv :: InstEnv

bindInstInfo :: InstIdent -> InstInfo -> InstEnv -> InstEnv

lookupInstInfo :: InstIdent -> InstEnv -> Maybe InstInfo