generic-deriving-1.11.2: Generic programming library for generalised deriving.

Safe HaskellTrustworthy
LanguageHaskell2010

Generics.Deriving.Show

Contents

Synopsis

Generic show class

class GShow a where Source #

Methods

gshowsPrec :: Int -> a -> ShowS Source #

gshows :: a -> ShowS Source #

gshow :: a -> String Source #

gshowsPrec :: (Generic a, GShow' (Rep a)) => Int -> a -> ShowS Source #

Instances

GShow Bool Source # 
GShow Char Source # 
GShow Double Source # 
GShow Float Source # 
GShow Int Source # 
GShow Int8 Source # 
GShow Int16 Source # 
GShow Int32 Source # 
GShow Int64 Source # 
GShow Integer Source # 
GShow Ordering Source # 
GShow Word Source # 
GShow Word8 Source # 
GShow Word16 Source # 
GShow Word32 Source # 
GShow Word64 Source # 
GShow () Source # 

Methods

gshowsPrec :: Int -> () -> ShowS Source #

gshows :: () -> ShowS Source #

gshow :: () -> String Source #

GShow Handle Source # 
GShow Natural Source # 
GShow Void Source # 
GShow Version Source # 
GShow HandlePosn Source # 
GShow Fd Source # 
GShow ExitCode Source # 
GShow IOErrorType Source # 
GShow BufferMode Source # 
GShow WordPtr Source # 
GShow IntPtr Source # 
GShow CChar Source # 
GShow CSChar Source # 
GShow CUChar Source # 
GShow CShort Source # 
GShow CUShort Source # 
GShow CInt Source # 
GShow CUInt Source # 
GShow CLong Source # 
GShow CULong Source # 
GShow CLLong Source # 
GShow CULLong Source # 
GShow CFloat Source # 
GShow CDouble Source # 
GShow CPtrdiff Source # 
GShow CSize Source # 
GShow CWchar Source # 
GShow CSigAtomic Source # 
GShow CClock Source # 
GShow CTime Source # 
GShow CUSeconds Source # 
GShow CSUSeconds Source # 
GShow CIntPtr Source # 
GShow CUIntPtr Source # 
GShow CIntMax Source # 
GShow CUIntMax Source # 
GShow SeekMode Source # 
GShow All Source # 
GShow Any Source # 
GShow Fixity Source # 
GShow Associativity Source # 
GShow IOError Source # 
GShow IOMode Source # 
GShow GeneralCategory Source # 
GShow String Source # 
GShow a => GShow [a] Source # 

Methods

gshowsPrec :: Int -> [a] -> ShowS Source #

gshows :: [a] -> ShowS Source #

gshow :: [a] -> String Source #

GShow a => GShow (Maybe a) Source # 
GShow (Ptr a) Source # 

Methods

gshowsPrec :: Int -> Ptr a -> ShowS Source #

gshows :: Ptr a -> ShowS Source #

gshow :: Ptr a -> String Source #

GShow (FunPtr a) Source # 
GShow (U1 p) Source # 

Methods

gshowsPrec :: Int -> U1 p -> ShowS Source #

gshows :: U1 p -> ShowS Source #

gshow :: U1 p -> String Source #

GShow p => GShow (Par1 p) Source # 
GShow (UChar p) Source # 
GShow (UDouble p) Source # 
GShow (UFloat p) Source # 
GShow (UInt p) Source # 
GShow (UWord p) Source # 
GShow (ForeignPtr a) Source # 
GShow a => GShow (Identity a) Source # 
GShow a => GShow (Min a) Source # 

Methods

gshowsPrec :: Int -> Min a -> ShowS Source #

gshows :: Min a -> ShowS Source #

gshow :: Min a -> String Source #

GShow a => GShow (Max a) Source # 

Methods

gshowsPrec :: Int -> Max a -> ShowS Source #

gshows :: Max a -> ShowS Source #

gshow :: Max a -> String Source #

GShow a => GShow (First a) Source # 
GShow a => GShow (Last a) Source # 
GShow m => GShow (WrappedMonoid m) Source # 
GShow a => GShow (Option a) Source # 
GShow a => GShow (NonEmpty a) Source # 
GShow a => GShow (Complex a) Source # 
GShow a => GShow (ZipList a) Source # 
GShow a => GShow (Dual a) Source # 
GShow a => GShow (Sum a) Source # 

Methods

gshowsPrec :: Int -> Sum a -> ShowS Source #

gshows :: Sum a -> ShowS Source #

gshow :: Sum a -> String Source #

GShow a => GShow (Product a) Source # 
GShow a => GShow (First a) Source # 
GShow a => GShow (Last a) Source # 
(GShow a, GShow b) => GShow (Either a b) Source # 

Methods

gshowsPrec :: Int -> Either a b -> ShowS Source #

gshows :: Either a b -> ShowS Source #

gshow :: Either a b -> String Source #

GShow (f p) => GShow (Rec1 f p) Source # 

Methods

gshowsPrec :: Int -> Rec1 f p -> ShowS Source #

gshows :: Rec1 f p -> ShowS Source #

gshow :: Rec1 f p -> String Source #

(GShow a, GShow b) => GShow (a, b) Source # 

Methods

gshowsPrec :: Int -> (a, b) -> ShowS Source #

gshows :: (a, b) -> ShowS Source #

gshow :: (a, b) -> String Source #

(GShow a, GShow b) => GShow (Arg a b) Source # 

Methods

gshowsPrec :: Int -> Arg a b -> ShowS Source #

gshows :: Arg a b -> ShowS Source #

gshow :: Arg a b -> String Source #

GShow (Proxy * s) Source # 
GShow c => GShow (K1 i c p) Source # 

Methods

gshowsPrec :: Int -> K1 i c p -> ShowS Source #

gshows :: K1 i c p -> ShowS Source #

gshow :: K1 i c p -> String Source #

(GShow (f p), GShow (g p)) => GShow ((:+:) f g p) Source # 

Methods

gshowsPrec :: Int -> (f :+: g) p -> ShowS Source #

gshows :: (f :+: g) p -> ShowS Source #

gshow :: (f :+: g) p -> String Source #

(GShow (f p), GShow (g p)) => GShow ((:*:) f g p) Source # 

Methods

gshowsPrec :: Int -> (f :*: g) p -> ShowS Source #

gshows :: (f :*: g) p -> ShowS Source #

gshow :: (f :*: g) p -> String Source #

GShow (f (g p)) => GShow ((:.:) f g p) Source # 

Methods

gshowsPrec :: Int -> (f :.: g) p -> ShowS Source #

gshows :: (f :.: g) p -> ShowS Source #

gshow :: (f :.: g) p -> String Source #

(GShow a, GShow b, GShow c) => GShow (a, b, c) Source # 

Methods

gshowsPrec :: Int -> (a, b, c) -> ShowS Source #

gshows :: (a, b, c) -> ShowS Source #

gshow :: (a, b, c) -> String Source #

GShow a => GShow (Const * a b) Source # 

Methods

gshowsPrec :: Int -> Const * a b -> ShowS Source #

gshows :: Const * a b -> ShowS Source #

gshow :: Const * a b -> String Source #

GShow (f a) => GShow (Alt * f a) Source # 

Methods

gshowsPrec :: Int -> Alt * f a -> ShowS Source #

gshows :: Alt * f a -> ShowS Source #

gshow :: Alt * f a -> String Source #

GShow (f p) => GShow (M1 i c f p) Source # 

Methods

gshowsPrec :: Int -> M1 i c f p -> ShowS Source #

gshows :: M1 i c f p -> ShowS Source #

gshow :: M1 i c f p -> String Source #

(GShow a, GShow b, GShow c, GShow d) => GShow (a, b, c, d) Source # 

Methods

gshowsPrec :: Int -> (a, b, c, d) -> ShowS Source #

gshows :: (a, b, c, d) -> ShowS Source #

gshow :: (a, b, c, d) -> String Source #

(GShow a, GShow b, GShow c, GShow d, GShow e) => GShow (a, b, c, d, e) Source # 

Methods

gshowsPrec :: Int -> (a, b, c, d, e) -> ShowS Source #

gshows :: (a, b, c, d, e) -> ShowS Source #

gshow :: (a, b, c, d, e) -> String Source #

(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f) => GShow (a, b, c, d, e, f) Source # 

Methods

gshowsPrec :: Int -> (a, b, c, d, e, f) -> ShowS Source #

gshows :: (a, b, c, d, e, f) -> ShowS Source #

gshow :: (a, b, c, d, e, f) -> String Source #

(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f, GShow g) => GShow (a, b, c, d, e, f, g) Source # 

Methods

gshowsPrec :: Int -> (a, b, c, d, e, f, g) -> ShowS Source #

gshows :: (a, b, c, d, e, f, g) -> ShowS Source #

gshow :: (a, b, c, d, e, f, g) -> String Source #

Default definition

Internal show class

class GShow' f where Source #

Minimal complete definition

gshowsPrec'

Methods

gshowsPrec' :: Type -> Int -> f a -> ShowS Source #

isNullary :: f a -> Bool Source #

Instances

GShow' U1 Source # 

Methods

gshowsPrec' :: Type -> Int -> U1 a -> ShowS Source #

isNullary :: U1 a -> Bool Source #

GShow' UChar Source # 

Methods

gshowsPrec' :: Type -> Int -> UChar a -> ShowS Source #

isNullary :: UChar a -> Bool Source #

GShow' UDouble Source # 

Methods

gshowsPrec' :: Type -> Int -> UDouble a -> ShowS Source #

isNullary :: UDouble a -> Bool Source #

GShow' UFloat Source # 

Methods

gshowsPrec' :: Type -> Int -> UFloat a -> ShowS Source #

isNullary :: UFloat a -> Bool Source #

GShow' UInt Source # 

Methods

gshowsPrec' :: Type -> Int -> UInt a -> ShowS Source #

isNullary :: UInt a -> Bool Source #

GShow' UWord Source # 

Methods

gshowsPrec' :: Type -> Int -> UWord a -> ShowS Source #

isNullary :: UWord a -> Bool Source #

GShow c => GShow' (K1 i c) Source # 

Methods

gshowsPrec' :: Type -> Int -> K1 i c a -> ShowS Source #

isNullary :: K1 i c a -> Bool Source #

(GShow' a, GShow' b) => GShow' ((:+:) a b) Source # 

Methods

gshowsPrec' :: Type -> Int -> (a :+: b) a -> ShowS Source #

isNullary :: (a :+: b) a -> Bool Source #

(GShow' a, GShow' b) => GShow' ((:*:) a b) Source # 

Methods

gshowsPrec' :: Type -> Int -> (a :*: b) a -> ShowS Source #

isNullary :: (a :*: b) a -> Bool Source #

GShow' a => GShow' (M1 D d a) Source # 

Methods

gshowsPrec' :: Type -> Int -> M1 D d a a -> ShowS Source #

isNullary :: M1 D d a a -> Bool Source #

(GShow' a, Constructor Meta c) => GShow' (M1 C c a) Source # 

Methods

gshowsPrec' :: Type -> Int -> M1 C c a a -> ShowS Source #

isNullary :: M1 C c a a -> Bool Source #

(Selector Meta s, GShow' a) => GShow' (M1 S s a) Source # 

Methods

gshowsPrec' :: Type -> Int -> M1 S s a a -> ShowS Source #

isNullary :: M1 S s a a -> Bool Source #