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

• tcdPath :: [(Qualified (ProperName ClassName), Integer)]

  How to obtain this instance via superclass relationships

• tcdClassName :: Qualified (ProperName ClassName)

  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

Instances

Show TypeClassDictionaryInScope

Methods

showsPrec :: Int -> TypeClassDictionaryInScope -> ShowS

show :: TypeClassDictionaryInScope -> String

showList :: [TypeClassDictionaryInScope] -> ShowS