Env.Class

The compiler maintains information about all type classes in an environment that maps type classes to a list of their direct superclasses and all their associated class methods with an additional boolean 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

type ClassEnv = Map QualIdent ClassInfo

initClassEnv :: ClassEnv

type ClassInfo = ([QualIdent], [(Ident, Bool)])

bindClassInfo :: QualIdent -> ClassInfo -> ClassEnv -> ClassEnv

mergeClassInfo :: ClassInfo -> ClassInfo -> ClassInfo

lookupClassInfo :: QualIdent -> ClassEnv -> Maybe ClassInfo

superClasses :: QualIdent -> ClassEnv -> [QualIdent]

allSuperClasses :: QualIdent -> ClassEnv -> [QualIdent]

classMethods :: QualIdent -> ClassEnv -> [Ident]

hasDefaultImpl :: QualIdent -> Ident -> ClassEnv -> Bool