Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data TypeClassDictionaryInScope Source
Data representing a type class dictionary which is in scope
TypeClassDictionaryInScope | |
|
data TypeClassDictionaryType Source
The type of a type class dictionary
TCDRegular | A regular type class dictionary |
TCDAlias (Qualified Ident) | A type class dictionary which is an alias for an imported dictionary from another module |
data DictionaryValue Source
A simplified representation of expressions which are used to represent type class dictionaries at runtime, which can be compared for equality
LocalDictionaryValue (Qualified Ident) | A dictionary which is brought into scope by a local constraint |
GlobalDictionaryValue (Qualified Ident) | A dictionary which is brought into scope by an instance declaration |
DependentDictionaryValue (Qualified Ident) [DictionaryValue] | A dictionary which depends on other dictionaries |
SubclassDictionaryValue DictionaryValue (Qualified ProperName) Integer | A subclass dictionary |
canonicalizeDictionary :: TypeClassDictionaryInScope -> Qualified Ident Source
Find the original dictionary which a type class dictionary in scope refers to