Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data TypeClassDictionaryInScope v = TypeClassDictionaryInScope {
- tcdChain :: Maybe ChainId
- tcdIndex :: Integer
- tcdValue :: v
- tcdPath :: [(Qualified (ProperName 'ClassName), Integer)]
- tcdClassName :: Qualified (ProperName 'ClassName)
- tcdForAll :: [(Text, SourceType)]
- tcdInstanceKinds :: [SourceType]
- tcdInstanceTypes :: [SourceType]
- tcdDependencies :: Maybe [SourceConstraint]
- tcdDescription :: Maybe SourceType
- type NamedDict = TypeClassDictionaryInScope (Qualified Ident)
- superclassName :: Qualified (ProperName 'ClassName) -> Integer -> Text
Documentation
data TypeClassDictionaryInScope v Source #
TypeClassDictionaryInScope | |
|
Instances
superclassName :: Qualified (ProperName 'ClassName) -> Integer -> Text Source #
Generate a name for a superclass reference which can be used in generated code.