curry-frontend-2.0.0: Compile the functional logic language Curry to several intermediate formats
Copyright(c) 2016 - 2020 Finn Teegen
LicenseBSD-3-clause
Maintainerfte@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Env.Class

Description

The compiler maintains information about all type classes in an environment that maps type classes to a sorted list of their direct superclasses and all their associated class methods with an additional flag stating whether an default implementation has been provided or not. For both the type class identifier and the list of super classes original names are used. Thus, the use of a flat environment is sufficient.

Documentation