purescript-0.13.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.TypeClassDictionaries

Synopsis

Documentation

data TypeClassDictionaryInScope v Source #

Data representing a type class dictionary which is in scope

Constructors

TypeClassDictionaryInScope 

Fields

Instances
Functor TypeClassDictionaryInScope Source # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

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

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

Defined in Language.PureScript.TypeClassDictionaries

Generic (TypeClassDictionaryInScope v) Source # 
Instance details

Defined in Language.PureScript.TypeClassDictionaries

Associated Types

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

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

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

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