purescript-0.6.5: 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 [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?

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

canonicalizeDictionary :: TypeClassDictionaryInScope -> Qualified Ident Source

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