| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeClassDictionaries
- data TypeClassDictionaryInScope = TypeClassDictionaryInScope {
- tcdName :: Qualified Ident
- tcdPath :: [(Qualified (ProperName ClassName), Integer)]
- tcdClassName :: Qualified (ProperName ClassName)
- tcdInstanceTypes :: [Type]
- tcdDependencies :: Maybe [Constraint]
- data DictionaryValue
Documentation
data TypeClassDictionaryInScope Source #
Data representing a type class dictionary which is in scope
Constructors
| TypeClassDictionaryInScope | |
Fields
| |
data DictionaryValue Source #
A simplified representation of expressions which are used to represent type class dictionaries at runtime, which can be compared for equality
Constructors
| 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 ClassName)) Integer | A subclass dictionary |