purescript-0.5.2.4: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeClassDictionaries

Description

 

Synopsis

Documentation

data TypeClassDictionaryInScope Source

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

data TypeClassDictionaryType Source

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