Safe Haskell	None
Language	Haskell98

Language.PureScript.TypeClassDictionaries

Synopsis

Documentation

Data representing a type class dictionary which is in scope

Constructors

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 Source #
Methods showsPrec :: Int -> TypeClassDictionaryInScope -> ShowS # show :: TypeClassDictionaryInScope -> String # showList :: [TypeClassDictionaryInScope] -> ShowS #