Safe Haskell	None
Language	Haskell2010

Language.PureScript.TypeClassDictionaries

Synopsis

data TypeClassDictionaryInScope v = TypeClassDictionaryInScope {
- tcdChain :: [Qualified Ident]
- tcdIndex :: Integer
- tcdValue :: v
- tcdPath :: [(Qualified (ProperName ClassName), Integer)]
- tcdClassName :: Qualified (ProperName ClassName)
- tcdInstanceTypes :: [SourceType]
- tcdDependencies :: Maybe [SourceConstraint]
}
type NamedDict = TypeClassDictionaryInScope (Qualified Ident)
superclassName :: Qualified (ProperName ClassName) -> Integer -> Text

Documentation

data TypeClassDictionaryInScope v Source #

Data representing a type class dictionary which is in scope

Constructors

TypeClassDictionaryInScope

Fields

tcdChain :: [Qualified Ident]
The instance chain
tcdIndex :: Integer
Index of the instance chain
tcdValue :: v
The value 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 :: [SourceType]
The types to which this type class instance applies
tcdDependencies :: Maybe [SourceConstraint]
Type class dependencies which must be satisfied to construct this dictionary

Instances

Functor TypeClassDictionaryInScope Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Methods fmap :: (a -> b) -> TypeClassDictionaryInScope a -> TypeClassDictionaryInScope b # (<$) :: a -> TypeClassDictionaryInScope b -> TypeClassDictionaryInScope a #
Foldable TypeClassDictionaryInScope Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Methods fold :: Monoid m => TypeClassDictionaryInScope m -> m # foldMap :: Monoid m => (a -> m) -> TypeClassDictionaryInScope a -> m # foldr :: (a -> b -> b) -> b -> TypeClassDictionaryInScope a -> b # foldr' :: (a -> b -> b) -> b -> TypeClassDictionaryInScope a -> b # foldl :: (b -> a -> b) -> b -> TypeClassDictionaryInScope a -> b # foldl' :: (b -> a -> b) -> b -> TypeClassDictionaryInScope a -> b # foldr1 :: (a -> a -> a) -> TypeClassDictionaryInScope a -> a # foldl1 :: (a -> a -> a) -> TypeClassDictionaryInScope a -> a # toList :: TypeClassDictionaryInScope a -> [a] # null :: TypeClassDictionaryInScope a -> Bool # length :: TypeClassDictionaryInScope a -> Int # elem :: Eq a => a -> TypeClassDictionaryInScope a -> Bool # maximum :: Ord a => TypeClassDictionaryInScope a -> a # minimum :: Ord a => TypeClassDictionaryInScope a -> a # sum :: Num a => TypeClassDictionaryInScope a -> a # product :: Num a => TypeClassDictionaryInScope a -> a #
Traversable TypeClassDictionaryInScope Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Methods traverse :: Applicative f => (a -> f b) -> TypeClassDictionaryInScope a -> f (TypeClassDictionaryInScope b) # sequenceA :: Applicative f => TypeClassDictionaryInScope (f a) -> f (TypeClassDictionaryInScope a) # mapM :: Monad m => (a -> m b) -> TypeClassDictionaryInScope a -> m (TypeClassDictionaryInScope b) # sequence :: Monad m => TypeClassDictionaryInScope (m a) -> m (TypeClassDictionaryInScope a) #
Show v => Show (TypeClassDictionaryInScope v) Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Methods showsPrec :: Int -> TypeClassDictionaryInScope v -> ShowS # show :: TypeClassDictionaryInScope v -> String # showList :: [TypeClassDictionaryInScope v] -> ShowS #
Generic (TypeClassDictionaryInScope v) Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Associated Types type Rep (TypeClassDictionaryInScope v) :: Type -> Type # Methods from :: TypeClassDictionaryInScope v -> Rep (TypeClassDictionaryInScope v) x # to :: Rep (TypeClassDictionaryInScope v) x -> TypeClassDictionaryInScope v #
NFData v => NFData (TypeClassDictionaryInScope v) Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries Methods rnf :: TypeClassDictionaryInScope v -> () #
type Rep (TypeClassDictionaryInScope v) Source #
Instance details Defined in Language.PureScript.TypeClassDictionaries type Rep (TypeClassDictionaryInScope v) = D1 (MetaData "TypeClassDictionaryInScope" "Language.PureScript.TypeClassDictionaries" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" False) (C1 (MetaCons "TypeClassDictionaryInScope" PrefixI True) ((S1 (MetaSel (Just "tcdChain") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Qualified Ident]) :: (S1 (MetaSel (Just "tcdIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "tcdValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 v))) :: ((S1 (MetaSel (Just "tcdPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Qualified (ProperName ClassName), Integer)]) :: S1 (MetaSel (Just "tcdClassName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Qualified (ProperName ClassName)))) :: (S1 (MetaSel (Just "tcdInstanceTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SourceType]) :: S1 (MetaSel (Just "tcdDependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SourceConstraint]))))))

type NamedDict = TypeClassDictionaryInScope (Qualified Ident) Source #

superclassName :: Qualified (ProperName ClassName) -> Integer -> Text Source #

Generate a name for a superclass reference which can be used in generated code.