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 [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

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

canonicalizeDictionary :: TypeClassDictionaryInScope -> Qualified Ident

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