Language.PureScript.TypeClassDictionaries

Documentation

data TypeClassDictionaryInScope

Data representing a type class dictionary which is in scope

Constructors

TypeClassDictionaryInScope

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

data TypeClassDictionaryType

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