purescript-0.10.7: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

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 # 
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 # 
Show v => Show (TypeClassDictionaryInScope v) Source #