Safe Haskell	None
Language	Haskell2010

Language.PureScript.TypeClassDictionaries

Synopsis

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 :: [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

Functor TypeClassDictionaryInScope Source #
Methods fmap :: (a -> b) -> TypeClassDictionaryInScope a -> TypeClassDictionaryInScope b # (<$) :: a -> TypeClassDictionaryInScope b -> TypeClassDictionaryInScope a #
Foldable TypeClassDictionaryInScope Source #
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 #
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 #
Methods showsPrec :: Int -> TypeClassDictionaryInScope v -> ShowS # show :: TypeClassDictionaryInScope v -> String # showList :: [TypeClassDictionaryInScope v] -> ShowS #
Generic (TypeClassDictionaryInScope v) Source #
Associated Types type Rep (TypeClassDictionaryInScope v) :: * -> * # Methods from :: TypeClassDictionaryInScope v -> Rep (TypeClassDictionaryInScope v) x # to :: Rep (TypeClassDictionaryInScope v) x -> TypeClassDictionaryInScope v #
NFData v => NFData (TypeClassDictionaryInScope v) Source #
Methods rnf :: TypeClassDictionaryInScope v -> () #
type Rep (TypeClassDictionaryInScope v) Source #
type Rep (TypeClassDictionaryInScope v) = D1 * (MetaData "TypeClassDictionaryInScope" "Language.PureScript.TypeClassDictionaries" "purescript-0.12.0-GnFPE64AyqYHZk4VD04uBy" False) (C1 * (MetaCons "TypeClassDictionaryInScope" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "tcdChain") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Qualified Ident])) ((::) (S1 * (MetaSel (Just Symbol "tcdIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)) (S1 * (MetaSel (Just Symbol "tcdValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * v)))) ((::) ((::) (S1 * (MetaSel (Just Symbol "tcdPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Qualified (ProperName ClassName), Integer)])) (S1 * (MetaSel (Just Symbol "tcdClassName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Qualified (ProperName ClassName))))) ((::) (S1 * (MetaSel (Just Symbol "tcdInstanceTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Type])) (S1 * (MetaSel (Just Symbol "tcdDependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe [Constraint])))))))

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.