Data.Type.HasClassPreludeInstances

Provides instances of the type class HasClass for common single-parameter type classes contained in the Prelude. Note that instances for tuple types are *not* currently included due to the very large number of somewhat complex classes that would be required.

Documentation

Orphan instances

HasClass * Bounded Bool True

Methods

classDict :: Proxy (Bounded -> Constraint) Bool -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Bool True

HasClass * Bounded Char True

Methods

classDict :: Proxy (Bounded -> Constraint) Char -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Char True

HasClass * Bounded Int True

Methods

classDict :: Proxy (Bounded -> Constraint) Int -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Int True

HasClass * Bounded Ordering True

Methods

classDict :: Proxy (Bounded -> Constraint) Ordering -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Ordering True

HasClass * Bounded Word True

Methods

classDict :: Proxy (Bounded -> Constraint) Word -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Word True

HasClass * Enum Bool True

Methods

classDict :: Proxy (Enum -> Constraint) Bool -> Proxy Enum True -> Proxy Bool b -> TDict Enum Bool True

HasClass * Enum Char True

Methods

classDict :: Proxy (Enum -> Constraint) Char -> Proxy Enum True -> Proxy Bool b -> TDict Enum Char True

HasClass * Enum Double True

Methods

classDict :: Proxy (Enum -> Constraint) Double -> Proxy Enum True -> Proxy Bool b -> TDict Enum Double True

HasClass * Enum Float True

Methods

classDict :: Proxy (Enum -> Constraint) Float -> Proxy Enum True -> Proxy Bool b -> TDict Enum Float True

HasClass * Enum Int True

Methods

classDict :: Proxy (Enum -> Constraint) Int -> Proxy Enum True -> Proxy Bool b -> TDict Enum Int True

HasClass * Enum Integer True

Methods

classDict :: Proxy (Enum -> Constraint) Integer -> Proxy Enum True -> Proxy Bool b -> TDict Enum Integer True

HasClass * Enum Ordering True

Methods

classDict :: Proxy (Enum -> Constraint) Ordering -> Proxy Enum True -> Proxy Bool b -> TDict Enum Ordering True

HasClass * Enum Word True

Methods

classDict :: Proxy (Enum -> Constraint) Word -> Proxy Enum True -> Proxy Bool b -> TDict Enum Word True

HasClass * Enum () True

Methods

classDict :: Proxy (Enum -> Constraint) () -> Proxy Enum True -> Proxy Bool b -> TDict Enum () True

HasClass * Eq Bool True

Methods

classDict :: Proxy (Eq -> Constraint) Bool -> Proxy Eq True -> Proxy Bool b -> TDict Eq Bool True

HasClass * Eq Char True

Methods

classDict :: Proxy (Eq -> Constraint) Char -> Proxy Eq True -> Proxy Bool b -> TDict Eq Char True

HasClass * Eq Double True

Methods

classDict :: Proxy (Eq -> Constraint) Double -> Proxy Eq True -> Proxy Bool b -> TDict Eq Double True

HasClass * Eq Float True

Methods

classDict :: Proxy (Eq -> Constraint) Float -> Proxy Eq True -> Proxy Bool b -> TDict Eq Float True

HasClass * Eq Int True

Methods

classDict :: Proxy (Eq -> Constraint) Int -> Proxy Eq True -> Proxy Bool b -> TDict Eq Int True

HasClass * Eq Ordering True

Methods

classDict :: Proxy (Eq -> Constraint) Ordering -> Proxy Eq True -> Proxy Bool b -> TDict Eq Ordering True

HasClass * Eq Word True

Methods

classDict :: Proxy (Eq -> Constraint) Word -> Proxy Eq True -> Proxy Bool b -> TDict Eq Word True

HasClass * Floating Double True

Methods

classDict :: Proxy (Floating -> Constraint) Double -> Proxy Floating True -> Proxy Bool b -> TDict Floating Double True

HasClass * Floating Float True

Methods

classDict :: Proxy (Floating -> Constraint) Float -> Proxy Floating True -> Proxy Bool b -> TDict Floating Float True

HasClass * Fractional Double True

Methods

classDict :: Proxy (Fractional -> Constraint) Double -> Proxy Fractional True -> Proxy Bool b -> TDict Fractional Double True

HasClass * Fractional Float True

Methods

classDict :: Proxy (Fractional -> Constraint) Float -> Proxy Fractional True -> Proxy Bool b -> TDict Fractional Float True

HasClass * Integral Int True

Methods

classDict :: Proxy (Integral -> Constraint) Int -> Proxy Integral True -> Proxy Bool b -> TDict Integral Int True

HasClass * Integral Integer True

Methods

classDict :: Proxy (Integral -> Constraint) Integer -> Proxy Integral True -> Proxy Bool b -> TDict Integral Integer True

HasClass * Integral Word True

Methods

classDict :: Proxy (Integral -> Constraint) Word -> Proxy Integral True -> Proxy Bool b -> TDict Integral Word True

HasClass * Num Double True

Methods

classDict :: Proxy (Num -> Constraint) Double -> Proxy Num True -> Proxy Bool b -> TDict Num Double True

HasClass * Num Float True

Methods

classDict :: Proxy (Num -> Constraint) Float -> Proxy Num True -> Proxy Bool b -> TDict Num Float True

HasClass * Num Int True

Methods

classDict :: Proxy (Num -> Constraint) Int -> Proxy Num True -> Proxy Bool b -> TDict Num Int True

HasClass * Num Integer True

Methods

classDict :: Proxy (Num -> Constraint) Integer -> Proxy Num True -> Proxy Bool b -> TDict Num Integer True

HasClass * Num Word True

Methods

classDict :: Proxy (Num -> Constraint) Word -> Proxy Num True -> Proxy Bool b -> TDict Num Word True

HasClass * Ord Bool True

Methods

classDict :: Proxy (Ord -> Constraint) Bool -> Proxy Ord True -> Proxy Bool b -> TDict Ord Bool True

HasClass * Ord Char True

Methods

classDict :: Proxy (Ord -> Constraint) Char -> Proxy Ord True -> Proxy Bool b -> TDict Ord Char True

HasClass * Ord Double True

Methods

classDict :: Proxy (Ord -> Constraint) Double -> Proxy Ord True -> Proxy Bool b -> TDict Ord Double True

HasClass * Ord Float True

Methods

classDict :: Proxy (Ord -> Constraint) Float -> Proxy Ord True -> Proxy Bool b -> TDict Ord Float True

HasClass * Ord Int True

Methods

classDict :: Proxy (Ord -> Constraint) Int -> Proxy Ord True -> Proxy Bool b -> TDict Ord Int True

HasClass * Ord Integer True

Methods

classDict :: Proxy (Ord -> Constraint) Integer -> Proxy Ord True -> Proxy Bool b -> TDict Ord Integer True

HasClass * Ord Ordering True

Methods

classDict :: Proxy (Ord -> Constraint) Ordering -> Proxy Ord True -> Proxy Bool b -> TDict Ord Ordering True

HasClass * Ord Word True

Methods

classDict :: Proxy (Ord -> Constraint) Word -> Proxy Ord True -> Proxy Bool b -> TDict Ord Word True

HasClass * Read Bool True

Methods

classDict :: Proxy (Read -> Constraint) Bool -> Proxy Read True -> Proxy Bool b -> TDict Read Bool True

HasClass * Read Char True

Methods

classDict :: Proxy (Read -> Constraint) Char -> Proxy Read True -> Proxy Bool b -> TDict Read Char True

HasClass * Read Double True

Methods

classDict :: Proxy (Read -> Constraint) Double -> Proxy Read True -> Proxy Bool b -> TDict Read Double True

HasClass * Read Float True

Methods

classDict :: Proxy (Read -> Constraint) Float -> Proxy Read True -> Proxy Bool b -> TDict Read Float True

HasClass * Read Int True

Methods

classDict :: Proxy (Read -> Constraint) Int -> Proxy Read True -> Proxy Bool b -> TDict Read Int True

HasClass * Read Integer True

Methods

classDict :: Proxy (Read -> Constraint) Integer -> Proxy Read True -> Proxy Bool b -> TDict Read Integer True

HasClass * Read Ordering True

Methods

classDict :: Proxy (Read -> Constraint) Ordering -> Proxy Read True -> Proxy Bool b -> TDict Read Ordering True

HasClass * Read Word True

Methods

classDict :: Proxy (Read -> Constraint) Word -> Proxy Read True -> Proxy Bool b -> TDict Read Word True

HasClass * Real Double True

Methods

classDict :: Proxy (Real -> Constraint) Double -> Proxy Real True -> Proxy Bool b -> TDict Real Double True

HasClass * Real Float True

Methods

classDict :: Proxy (Real -> Constraint) Float -> Proxy Real True -> Proxy Bool b -> TDict Real Float True

HasClass * Real Int True

Methods

classDict :: Proxy (Real -> Constraint) Int -> Proxy Real True -> Proxy Bool b -> TDict Real Int True

HasClass * Real Integer True

Methods

classDict :: Proxy (Real -> Constraint) Integer -> Proxy Real True -> Proxy Bool b -> TDict Real Integer True

HasClass * Real Word True

Methods

classDict :: Proxy (Real -> Constraint) Word -> Proxy Real True -> Proxy Bool b -> TDict Real Word True

HasClass * RealFloat Double True

Methods

classDict :: Proxy (RealFloat -> Constraint) Double -> Proxy RealFloat True -> Proxy Bool b -> TDict RealFloat Double True

HasClass * RealFloat Float True

Methods

classDict :: Proxy (RealFloat -> Constraint) Float -> Proxy RealFloat True -> Proxy Bool b -> TDict RealFloat Float True

HasClass * RealFrac Double True

Methods

classDict :: Proxy (RealFrac -> Constraint) Double -> Proxy RealFrac True -> Proxy Bool b -> TDict RealFrac Double True

HasClass * RealFrac Float True

Methods

classDict :: Proxy (RealFrac -> Constraint) Float -> Proxy RealFrac True -> Proxy Bool b -> TDict RealFrac Float True

HasClass * Show Bool True

Methods

classDict :: Proxy (Show -> Constraint) Bool -> Proxy Show True -> Proxy Bool b -> TDict Show Bool True

HasClass * Show Char True

Methods

classDict :: Proxy (Show -> Constraint) Char -> Proxy Show True -> Proxy Bool b -> TDict Show Char True

HasClass * Show Double True

Methods

classDict :: Proxy (Show -> Constraint) Double -> Proxy Show True -> Proxy Bool b -> TDict Show Double True

HasClass * Show Float True

Methods

classDict :: Proxy (Show -> Constraint) Float -> Proxy Show True -> Proxy Bool b -> TDict Show Float True

HasClass * Show Int True

Methods

classDict :: Proxy (Show -> Constraint) Int -> Proxy Show True -> Proxy Bool b -> TDict Show Int True

HasClass * Show Integer True

Methods

classDict :: Proxy (Show -> Constraint) Integer -> Proxy Show True -> Proxy Bool b -> TDict Show Integer True

HasClass * Show Ordering True

Methods

classDict :: Proxy (Show -> Constraint) Ordering -> Proxy Show True -> Proxy Bool b -> TDict Show Ordering True

HasClass * Show Word True

Methods

classDict :: Proxy (Show -> Constraint) Word -> Proxy Show True -> Proxy Bool b -> TDict Show Word True

HasClass * Monoid Ordering True

Methods

classDict :: Proxy (Monoid -> Constraint) Ordering -> Proxy Monoid True -> Proxy Bool b -> TDict Monoid Ordering True

HasClass * Eq a f1 => HasClass * Eq [a] f1

Methods

classDict :: Proxy (Eq -> Constraint) [a] -> Proxy Eq f1 -> Proxy Bool b -> TDict Eq [a] f1

HasClass * Eq a f1 => HasClass * Eq (Maybe a) f1

Methods

classDict :: Proxy (Eq -> Constraint) (Maybe a) -> Proxy Eq f1 -> Proxy Bool b -> TDict Eq (Maybe a) f1

HasClass * Ord a f1 => HasClass * Ord [a] f1

Methods

classDict :: Proxy (Ord -> Constraint) [a] -> Proxy Ord f1 -> Proxy Bool b -> TDict Ord [a] f1

HasClass * Ord a f1 => HasClass * Ord (Maybe a) f1

Methods

classDict :: Proxy (Ord -> Constraint) (Maybe a) -> Proxy Ord f1 -> Proxy Bool b -> TDict Ord (Maybe a) f1

HasClass * Read a f1 => HasClass * Read [a] f1

Methods

classDict :: Proxy (Read -> Constraint) [a] -> Proxy Read f1 -> Proxy Bool b -> TDict Read [a] f1

HasClass * Read a f1 => HasClass * Read (Maybe a) f1

Methods

classDict :: Proxy (Read -> Constraint) (Maybe a) -> Proxy Read f1 -> Proxy Bool b -> TDict Read (Maybe a) f1

HasClass * Show a f1 => HasClass * Show [a] f1

Methods

classDict :: Proxy (Show -> Constraint) [a] -> Proxy Show f1 -> Proxy Bool b -> TDict Show [a] f1

HasClass * Show a f1 => HasClass * Show (Maybe a) f1

Methods

classDict :: Proxy (Show -> Constraint) (Maybe a) -> Proxy Show f1 -> Proxy Bool b -> TDict Show (Maybe a) f1

HasClass * Monoid [a] True

Methods

classDict :: Proxy (Monoid -> Constraint) [a] -> Proxy Monoid True -> Proxy Bool b -> TDict Monoid [a] True

HasClass * Monoid a f1 => HasClass * Monoid (Maybe a) f1

Methods

classDict :: Proxy (Monoid -> Constraint) (Maybe a) -> Proxy Monoid f1 -> Proxy Bool b -> TDict Monoid (Maybe a) f1

(HasClass * Eq a f1, HasClass * Eq b f2, And f1 f2 f3) => HasClass * Eq (Either a b) f3

Methods

classDict :: Proxy (Eq -> Constraint) (Either a b) -> Proxy Eq f3 -> Proxy Bool b -> TDict Eq (Either a b) f3

(HasClass * Ord a f1, HasClass * Ord b f2, And f1 f2 f3) => HasClass * Ord (Either a b) f3

Methods

classDict :: Proxy (Ord -> Constraint) (Either a b) -> Proxy Ord f3 -> Proxy Bool b -> TDict Ord (Either a b) f3

(HasClass * Read a f1, HasClass * Read b f2, And f1 f2 f3) => HasClass * Read (Either a b) f3

Methods

classDict :: Proxy (Read -> Constraint) (Either a b) -> Proxy Read f3 -> Proxy Bool b -> TDict Read (Either a b) f3

(HasClass * Show a f1, HasClass * Show b f2, And f1 f2 f3) => HasClass * Show (Either a b) f3

Methods

classDict :: Proxy (Show -> Constraint) (Either a b) -> Proxy Show f3 -> Proxy Bool b -> TDict Show (Either a b) f3

HasClass * Monoid b f1 => HasClass * Monoid (a -> b) f1

Methods

classDict :: Proxy (Monoid -> Constraint) (a -> b) -> Proxy Monoid f1 -> Proxy Bool b -> TDict Monoid (a -> b) f1