Safe Haskell	None
Language	Haskell2010

Data.Type.HasClassPreludeInstances

Contents

Orphan instances

Description

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 Source #
Methods classDict :: Proxy (Bounded -> Constraint) Bool -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Bool True Source #
HasClass * Bounded Char True Source #
Methods classDict :: Proxy (Bounded -> Constraint) Char -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Char True Source #
HasClass * Bounded Int True Source #
Methods classDict :: Proxy (Bounded -> Constraint) Int -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Int True Source #
HasClass * Bounded Ordering True Source #
Methods classDict :: Proxy (Bounded -> Constraint) Ordering -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Ordering True Source #
HasClass * Bounded Word True Source #
Methods classDict :: Proxy (Bounded -> Constraint) Word -> Proxy Bounded True -> Proxy Bool b -> TDict Bounded Word True Source #
HasClass * Enum Bool True Source #
Methods classDict :: Proxy (Enum -> Constraint) Bool -> Proxy Enum True -> Proxy Bool b -> TDict Enum Bool True Source #
HasClass * Enum Char True Source #
Methods classDict :: Proxy (Enum -> Constraint) Char -> Proxy Enum True -> Proxy Bool b -> TDict Enum Char True Source #
HasClass * Enum Double True Source #
Methods classDict :: Proxy (Enum -> Constraint) Double -> Proxy Enum True -> Proxy Bool b -> TDict Enum Double True Source #
HasClass * Enum Float True Source #
Methods classDict :: Proxy (Enum -> Constraint) Float -> Proxy Enum True -> Proxy Bool b -> TDict Enum Float True Source #
HasClass * Enum Int True Source #
Methods classDict :: Proxy (Enum -> Constraint) Int -> Proxy Enum True -> Proxy Bool b -> TDict Enum Int True Source #
HasClass * Enum Integer True Source #
Methods classDict :: Proxy (Enum -> Constraint) Integer -> Proxy Enum True -> Proxy Bool b -> TDict Enum Integer True Source #
HasClass * Enum Ordering True Source #
Methods classDict :: Proxy (Enum -> Constraint) Ordering -> Proxy Enum True -> Proxy Bool b -> TDict Enum Ordering True Source #
HasClass * Enum Word True Source #
Methods classDict :: Proxy (Enum -> Constraint) Word -> Proxy Enum True -> Proxy Bool b -> TDict Enum Word True Source #
HasClass * Enum () True Source #
Methods classDict :: Proxy (Enum -> Constraint) () -> Proxy Enum True -> Proxy Bool b -> TDict Enum () True Source #
HasClass * Eq Bool True Source #
Methods classDict :: Proxy (Eq -> Constraint) Bool -> Proxy Eq True -> Proxy Bool b -> TDict Eq Bool True Source #
HasClass * Eq Char True Source #
Methods classDict :: Proxy (Eq -> Constraint) Char -> Proxy Eq True -> Proxy Bool b -> TDict Eq Char True Source #
HasClass * Eq Double True Source #
Methods classDict :: Proxy (Eq -> Constraint) Double -> Proxy Eq True -> Proxy Bool b -> TDict Eq Double True Source #
HasClass * Eq Float True Source #
Methods classDict :: Proxy (Eq -> Constraint) Float -> Proxy Eq True -> Proxy Bool b -> TDict Eq Float True Source #
HasClass * Eq Int True Source #
Methods classDict :: Proxy (Eq -> Constraint) Int -> Proxy Eq True -> Proxy Bool b -> TDict Eq Int True Source #
HasClass * Eq Ordering True Source #
Methods classDict :: Proxy (Eq -> Constraint) Ordering -> Proxy Eq True -> Proxy Bool b -> TDict Eq Ordering True Source #
HasClass * Eq Word True Source #
Methods classDict :: Proxy (Eq -> Constraint) Word -> Proxy Eq True -> Proxy Bool b -> TDict Eq Word True Source #
HasClass * Floating Double True Source #
Methods classDict :: Proxy (Floating -> Constraint) Double -> Proxy Floating True -> Proxy Bool b -> TDict Floating Double True Source #
HasClass * Floating Float True Source #
Methods classDict :: Proxy (Floating -> Constraint) Float -> Proxy Floating True -> Proxy Bool b -> TDict Floating Float True Source #
HasClass * Fractional Double True Source #
Methods classDict :: Proxy (Fractional -> Constraint) Double -> Proxy Fractional True -> Proxy Bool b -> TDict Fractional Double True Source #
HasClass * Fractional Float True Source #
Methods classDict :: Proxy (Fractional -> Constraint) Float -> Proxy Fractional True -> Proxy Bool b -> TDict Fractional Float True Source #
HasClass * Integral Int True Source #
Methods classDict :: Proxy (Integral -> Constraint) Int -> Proxy Integral True -> Proxy Bool b -> TDict Integral Int True Source #
HasClass * Integral Integer True Source #
Methods classDict :: Proxy (Integral -> Constraint) Integer -> Proxy Integral True -> Proxy Bool b -> TDict Integral Integer True Source #
HasClass * Integral Word True Source #
Methods classDict :: Proxy (Integral -> Constraint) Word -> Proxy Integral True -> Proxy Bool b -> TDict Integral Word True Source #
HasClass * Num Double True Source #
Methods classDict :: Proxy (Num -> Constraint) Double -> Proxy Num True -> Proxy Bool b -> TDict Num Double True Source #
HasClass * Num Float True Source #
Methods classDict :: Proxy (Num -> Constraint) Float -> Proxy Num True -> Proxy Bool b -> TDict Num Float True Source #
HasClass * Num Int True Source #
Methods classDict :: Proxy (Num -> Constraint) Int -> Proxy Num True -> Proxy Bool b -> TDict Num Int True Source #
HasClass * Num Integer True Source #
Methods classDict :: Proxy (Num -> Constraint) Integer -> Proxy Num True -> Proxy Bool b -> TDict Num Integer True Source #
HasClass * Num Word True Source #
Methods classDict :: Proxy (Num -> Constraint) Word -> Proxy Num True -> Proxy Bool b -> TDict Num Word True Source #
HasClass * Ord Bool True Source #
Methods classDict :: Proxy (Ord -> Constraint) Bool -> Proxy Ord True -> Proxy Bool b -> TDict Ord Bool True Source #
HasClass * Ord Char True Source #
Methods classDict :: Proxy (Ord -> Constraint) Char -> Proxy Ord True -> Proxy Bool b -> TDict Ord Char True Source #
HasClass * Ord Double True Source #
Methods classDict :: Proxy (Ord -> Constraint) Double -> Proxy Ord True -> Proxy Bool b -> TDict Ord Double True Source #
HasClass * Ord Float True Source #
Methods classDict :: Proxy (Ord -> Constraint) Float -> Proxy Ord True -> Proxy Bool b -> TDict Ord Float True Source #
HasClass * Ord Int True Source #
Methods classDict :: Proxy (Ord -> Constraint) Int -> Proxy Ord True -> Proxy Bool b -> TDict Ord Int True Source #
HasClass * Ord Integer True Source #
Methods classDict :: Proxy (Ord -> Constraint) Integer -> Proxy Ord True -> Proxy Bool b -> TDict Ord Integer True Source #
HasClass * Ord Ordering True Source #
Methods classDict :: Proxy (Ord -> Constraint) Ordering -> Proxy Ord True -> Proxy Bool b -> TDict Ord Ordering True Source #
HasClass * Ord Word True Source #
Methods classDict :: Proxy (Ord -> Constraint) Word -> Proxy Ord True -> Proxy Bool b -> TDict Ord Word True Source #
HasClass * Read Bool True Source #
Methods classDict :: Proxy (Read -> Constraint) Bool -> Proxy Read True -> Proxy Bool b -> TDict Read Bool True Source #
HasClass * Read Char True Source #
Methods classDict :: Proxy (Read -> Constraint) Char -> Proxy Read True -> Proxy Bool b -> TDict Read Char True Source #
HasClass * Read Double True Source #
Methods classDict :: Proxy (Read -> Constraint) Double -> Proxy Read True -> Proxy Bool b -> TDict Read Double True Source #
HasClass * Read Float True Source #
Methods classDict :: Proxy (Read -> Constraint) Float -> Proxy Read True -> Proxy Bool b -> TDict Read Float True Source #
HasClass * Read Int True Source #
Methods classDict :: Proxy (Read -> Constraint) Int -> Proxy Read True -> Proxy Bool b -> TDict Read Int True Source #
HasClass * Read Integer True Source #
Methods classDict :: Proxy (Read -> Constraint) Integer -> Proxy Read True -> Proxy Bool b -> TDict Read Integer True Source #
HasClass * Read Ordering True Source #
Methods classDict :: Proxy (Read -> Constraint) Ordering -> Proxy Read True -> Proxy Bool b -> TDict Read Ordering True Source #
HasClass * Read Word True Source #
Methods classDict :: Proxy (Read -> Constraint) Word -> Proxy Read True -> Proxy Bool b -> TDict Read Word True Source #
HasClass * Real Double True Source #
Methods classDict :: Proxy (Real -> Constraint) Double -> Proxy Real True -> Proxy Bool b -> TDict Real Double True Source #
HasClass * Real Float True Source #
Methods classDict :: Proxy (Real -> Constraint) Float -> Proxy Real True -> Proxy Bool b -> TDict Real Float True Source #
HasClass * Real Int True Source #
Methods classDict :: Proxy (Real -> Constraint) Int -> Proxy Real True -> Proxy Bool b -> TDict Real Int True Source #
HasClass * Real Integer True Source #
Methods classDict :: Proxy (Real -> Constraint) Integer -> Proxy Real True -> Proxy Bool b -> TDict Real Integer True Source #
HasClass * Real Word True Source #
Methods classDict :: Proxy (Real -> Constraint) Word -> Proxy Real True -> Proxy Bool b -> TDict Real Word True Source #
HasClass * RealFloat Double True Source #
Methods classDict :: Proxy (RealFloat -> Constraint) Double -> Proxy RealFloat True -> Proxy Bool b -> TDict RealFloat Double True Source #
HasClass * RealFloat Float True Source #
Methods classDict :: Proxy (RealFloat -> Constraint) Float -> Proxy RealFloat True -> Proxy Bool b -> TDict RealFloat Float True Source #
HasClass * RealFrac Double True Source #
Methods classDict :: Proxy (RealFrac -> Constraint) Double -> Proxy RealFrac True -> Proxy Bool b -> TDict RealFrac Double True Source #
HasClass * RealFrac Float True Source #
Methods classDict :: Proxy (RealFrac -> Constraint) Float -> Proxy RealFrac True -> Proxy Bool b -> TDict RealFrac Float True Source #
HasClass * Show Bool True Source #
Methods classDict :: Proxy (Show -> Constraint) Bool -> Proxy Show True -> Proxy Bool b -> TDict Show Bool True Source #
HasClass * Show Char True Source #
Methods classDict :: Proxy (Show -> Constraint) Char -> Proxy Show True -> Proxy Bool b -> TDict Show Char True Source #
HasClass * Show Double True Source #
Methods classDict :: Proxy (Show -> Constraint) Double -> Proxy Show True -> Proxy Bool b -> TDict Show Double True Source #
HasClass * Show Float True Source #
Methods classDict :: Proxy (Show -> Constraint) Float -> Proxy Show True -> Proxy Bool b -> TDict Show Float True Source #
HasClass * Show Int True Source #
Methods classDict :: Proxy (Show -> Constraint) Int -> Proxy Show True -> Proxy Bool b -> TDict Show Int True Source #
HasClass * Show Integer True Source #
Methods classDict :: Proxy (Show -> Constraint) Integer -> Proxy Show True -> Proxy Bool b -> TDict Show Integer True Source #
HasClass * Show Ordering True Source #
Methods classDict :: Proxy (Show -> Constraint) Ordering -> Proxy Show True -> Proxy Bool b -> TDict Show Ordering True Source #
HasClass * Show Word True Source #
Methods classDict :: Proxy (Show -> Constraint) Word -> Proxy Show True -> Proxy Bool b -> TDict Show Word True Source #
HasClass * Monoid Ordering True Source #
Methods classDict :: Proxy (Monoid -> Constraint) Ordering -> Proxy Monoid True -> Proxy Bool b -> TDict Monoid Ordering True Source #
HasClass * Eq a f1 => HasClass * Eq [a] f1 Source #
Methods classDict :: Proxy (Eq -> Constraint) [a] -> Proxy Eq f1 -> Proxy Bool b -> TDict Eq [a] f1 Source #
HasClass * Eq a f1 => HasClass * Eq (Maybe a) f1 Source #
Methods classDict :: Proxy (Eq -> Constraint) (Maybe a) -> Proxy Eq f1 -> Proxy Bool b -> TDict Eq (Maybe a) f1 Source #
HasClass * Ord a f1 => HasClass * Ord [a] f1 Source #
Methods classDict :: Proxy (Ord -> Constraint) [a] -> Proxy Ord f1 -> Proxy Bool b -> TDict Ord [a] f1 Source #
HasClass * Ord a f1 => HasClass * Ord (Maybe a) f1 Source #
Methods classDict :: Proxy (Ord -> Constraint) (Maybe a) -> Proxy Ord f1 -> Proxy Bool b -> TDict Ord (Maybe a) f1 Source #
HasClass * Read a f1 => HasClass * Read [a] f1 Source #
Methods classDict :: Proxy (Read -> Constraint) [a] -> Proxy Read f1 -> Proxy Bool b -> TDict Read [a] f1 Source #
HasClass * Read a f1 => HasClass * Read (Maybe a) f1 Source #
Methods classDict :: Proxy (Read -> Constraint) (Maybe a) -> Proxy Read f1 -> Proxy Bool b -> TDict Read (Maybe a) f1 Source #
HasClass * Show a f1 => HasClass * Show [a] f1 Source #
Methods classDict :: Proxy (Show -> Constraint) [a] -> Proxy Show f1 -> Proxy Bool b -> TDict Show [a] f1 Source #
HasClass * Show a f1 => HasClass * Show (Maybe a) f1 Source #
Methods classDict :: Proxy (Show -> Constraint) (Maybe a) -> Proxy Show f1 -> Proxy Bool b -> TDict Show (Maybe a) f1 Source #
HasClass * Monoid [a] True Source #
Methods classDict :: Proxy (Monoid -> Constraint) [a] -> Proxy Monoid True -> Proxy Bool b -> TDict Monoid [a] True Source #
HasClass * Monoid a f1 => HasClass * Monoid (Maybe a) f1 Source #
Methods classDict :: Proxy (Monoid -> Constraint) (Maybe a) -> Proxy Monoid f1 -> Proxy Bool b -> TDict Monoid (Maybe a) f1 Source #
(HasClass * Eq a f1, HasClass * Eq b f2, And f1 f2 f3) => HasClass * Eq (Either a b) f3 Source #
Methods classDict :: Proxy (Eq -> Constraint) (Either a b) -> Proxy Eq f3 -> Proxy Bool b -> TDict Eq (Either a b) f3 Source #
(HasClass * Ord a f1, HasClass * Ord b f2, And f1 f2 f3) => HasClass * Ord (Either a b) f3 Source #
Methods classDict :: Proxy (Ord -> Constraint) (Either a b) -> Proxy Ord f3 -> Proxy Bool b -> TDict Ord (Either a b) f3 Source #
(HasClass * Read a f1, HasClass * Read b f2, And f1 f2 f3) => HasClass * Read (Either a b) f3 Source #
Methods classDict :: Proxy (Read -> Constraint) (Either a b) -> Proxy Read f3 -> Proxy Bool b -> TDict Read (Either a b) f3 Source #
(HasClass * Show a f1, HasClass * Show b f2, And f1 f2 f3) => HasClass * Show (Either a b) f3 Source #
Methods classDict :: Proxy (Show -> Constraint) (Either a b) -> Proxy Show f3 -> Proxy Bool b -> TDict Show (Either a b) f3 Source #
HasClass * Monoid b f1 => HasClass * Monoid (a -> b) f1 Source #
Methods classDict :: Proxy (Monoid -> Constraint) (a -> b) -> Proxy Monoid f1 -> Proxy Bool b -> TDict Monoid (a -> b) f1 Source #