curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

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.

Documentation