Safe Haskell | None |
---|---|
Language | Haskell98 |
- data TypeClassDictionaryInScope v = TypeClassDictionaryInScope {
- tcdValue :: v
- tcdPath :: [(Qualified (ProperName ClassName), Integer)]
- tcdClassName :: Qualified (ProperName ClassName)
- tcdInstanceTypes :: [Type]
- tcdDependencies :: Maybe [Constraint]
- type NamedDict = TypeClassDictionaryInScope (Qualified Ident)
Documentation
data TypeClassDictionaryInScope v Source #
Data representing a type class dictionary which is in scope
TypeClassDictionaryInScope | |
|