Safe Haskell	None

Language.PureScript.TypeClassDictionaries

Description

Synopsis

Documentation

Data representing a type class dictionary which is in scope

Constructors

Fields

tcdName :: Qualified Ident: The identifier with which the dictionary can be accessed at runtime
tcdClassName :: Qualified ProperName: The name of the type class to which this type class instance applies
tcdInstanceTypes :: [Type]: The types to which this type class instance applies
tcdDependencies :: Maybe [(Qualified ProperName, [Type])]: Type class dependencies which must be satisfied to construct this dictionary
tcdType :: TypeClassDictionaryType: The type of this dictionary
tcdExported :: Bool: Is this instance exported by its module?

Instances

Data TypeClassDictionaryInScope
Show TypeClassDictionaryInScope
Typeable TypeClassDictionaryInScope

The type of a type class dictionary

Constructors

TCDRegular	A regular type class dictionary
TCDAlias (Qualified Ident)	A type class dictionary which is an alias for an imported dictionary from another module

Instances

Eq TypeClassDictionaryType
Data TypeClassDictionaryType
Show TypeClassDictionaryType
Typeable TypeClassDictionaryType