Safe Haskell | None |
---|
- data TypeClassDictionaryInScope = TypeClassDictionaryInScope {
- tcdName :: Qualified Ident
- tcdClassName :: Qualified ProperName
- tcdInstanceTypes :: [Type]
- tcdDependencies :: Maybe [(Qualified ProperName, [Type])]
- tcdType :: TypeClassDictionaryType
- tcdExported :: Bool
- data TypeClassDictionaryType
- = TCDRegular
- | TCDAlias (Qualified Ident)
Documentation
data TypeClassDictionaryInScope Source
Data representing a type class dictionary which is in scope
TypeClassDictionaryInScope | |
|
Data TypeClassDictionaryInScope | |
Show TypeClassDictionaryInScope | |
Typeable 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 |
Eq TypeClassDictionaryType | |
Data TypeClassDictionaryType | |
Show TypeClassDictionaryType | |
Typeable TypeClassDictionaryType |