Safe Haskell	None
Language	Haskell98

Language.PureScript.TypeClassDictionaries

Description

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 [Constraint]: 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

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) Integer	A subclass dictionary

Instances

Find the original dictionary which a type class dictionary in scope refers to