git.iko.soy/rowtype-yoga/purescript-native
on eaaef21 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeClassDictionaries.hs
24 lines 906 B history raw
1module Language.PureScript.TypeClassDictionaries where
3import Prelude.Compat
5import Language.PureScript.Names
6import Language.PureScript.Types
8-- |
9-- Data representing a type class dictionary which is in scope
10--
11data TypeClassDictionaryInScope
12 = TypeClassDictionaryInScope {
13 -- | The identifier with which the dictionary can be accessed at runtime
14 tcdName :: Qualified Ident
15 -- | How to obtain this instance via superclass relationships
16 , tcdPath :: [(Qualified (ProperName 'ClassName), Integer)]
17 -- | The name of the type class to which this type class instance applies
18 , tcdClassName :: Qualified (ProperName 'ClassName)
19 -- | The types to which this type class instance applies
20 , tcdInstanceTypes :: [Type]
21 -- | Type class dependencies which must be satisfied to construct this dictionary
22 , tcdDependencies :: Maybe [Constraint]
23 }
24 deriving (Show)