purescript-0.15.12: PureScript Programming Language Compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.PureScript.TypeClassDictionaries

Synopsis

Documentation

data TypeClassDictionaryInScope v #

Constructors

TypeClassDictionaryInScope 

Fields

Instances

Instances details
Foldable TypeClassDictionaryInScope # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Methods

fold :: Monoid m => TypeClassDictionaryInScope m -> m #

foldMap :: Monoid m => (a -> m) -> TypeClassDictionaryInScope a -> 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 # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Functor TypeClassDictionaryInScope # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Generic (TypeClassDictionaryInScope v) # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Associated Types

type Rep (TypeClassDictionaryInScope v) :: Type -> Type #

Show v => Show (TypeClassDictionaryInScope v) # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

NFData v => NFData (TypeClassDictionaryInScope v) # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Methods

rnf :: TypeClassDictionaryInScope v -> () #

type Rep (TypeClassDictionaryInScope v) # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

type Rep (TypeClassDictionaryInScope v) = D1 ('MetaData "TypeClassDictionaryInScope" "Language.PureScript.TypeClassDictionaries" "purescript-0.15.12-5l1zT9m1jq0GgrLEUvYibC" 'False) (C1 ('MetaCons "TypeClassDictionaryInScope" 'PrefixI 'True) (((S1 ('MetaSel ('Just "tcdChain") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ChainId)) :*: 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 "tcdForAll") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Text, SourceType)]) :*: S1 ('MetaSel ('Just "tcdInstanceKinds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceType])) :*: (S1 ('MetaSel ('Just "tcdInstanceTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SourceType]) :*: (S1 ('MetaSel ('Just "tcdDependencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [SourceConstraint])) :*: S1 ('MetaSel ('Just "tcdDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceType)))))))

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

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