Generics.Deriving.Show

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

Safe Haskell | Trustworthy
Language | Haskell2010

Generics.Deriving.Show

Contents

- Generic show class
- Default definition
- Internal show class

Synopsis

- class GShow a where
- gshowsPrecdefault :: (Generic a, GShow' (Rep a)) => Int -> a -> ShowS
- class GShow' f where

# Generic show class

class GShow a where #

Methods

gshowsPrec :: Int -> a -> ShowS #

gshows :: a -> ShowS #

gshow :: a -> String #

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

Instances

GShow Bool # |
Methods gshowsPrec :: Int -> Bool -> ShowS # gshows :: Bool -> ShowS # gshow :: Bool -> String #
GShow Char # |
Methods gshowsPrec :: Int -> Char -> ShowS # gshows :: Char -> ShowS # gshow :: Char -> String #
GShow Double # |
Methods gshowsPrec :: Int -> Double -> ShowS # gshows :: Double -> ShowS # gshow :: Double -> String #
GShow Float # |
Methods gshowsPrec :: Int -> Float -> ShowS # gshows :: Float -> ShowS # gshow :: Float -> String #
GShow Int # |
Methods gshowsPrec :: Int -> Int -> ShowS # gshows :: Int -> ShowS # gshow :: Int -> String #
GShow Int8 # |
Methods gshowsPrec :: Int -> Int8 -> ShowS # gshows :: Int8 -> ShowS # gshow :: Int8 -> String #
GShow Int16 # |
Methods gshowsPrec :: Int -> Int16 -> ShowS # gshows :: Int16 -> ShowS # gshow :: Int16 -> String #
GShow Int32 # |
Methods gshowsPrec :: Int -> Int32 -> ShowS # gshows :: Int32 -> ShowS # gshow :: Int32 -> String #
GShow Int64 # |
Methods gshowsPrec :: Int -> Int64 -> ShowS # gshows :: Int64 -> ShowS # gshow :: Int64 -> String #
GShow Integer # |
Methods gshowsPrec :: Int -> Integer -> ShowS # gshows :: Integer -> ShowS # gshow :: Integer -> String #
GShow Ordering # |
Methods gshowsPrec :: Int -> Ordering -> ShowS # gshows :: Ordering -> ShowS # gshow :: Ordering -> String #
GShow Word # |
Methods gshowsPrec :: Int -> Word -> ShowS # gshows :: Word -> ShowS # gshow :: Word -> String #
GShow Word8 # |
Methods gshowsPrec :: Int -> Word8 -> ShowS # gshows :: Word8 -> ShowS # gshow :: Word8 -> String #
GShow Word16 # |
Methods gshowsPrec :: Int -> Word16 -> ShowS # gshows :: Word16 -> ShowS # gshow :: Word16 -> String #
GShow Word32 # |
Methods gshowsPrec :: Int -> Word32 -> ShowS # gshows :: Word32 -> ShowS # gshow :: Word32 -> String #
GShow Word64 # |
Methods gshowsPrec :: Int -> Word64 -> ShowS # gshows :: Word64 -> ShowS # gshow :: Word64 -> String #
GShow () # |
Methods gshowsPrec :: Int -> () -> ShowS # gshows :: () -> ShowS # gshow :: () -> String #
GShow Handle # |
Methods gshowsPrec :: Int -> Handle -> ShowS # gshows :: Handle -> ShowS # gshow :: Handle -> String #
GShow Natural # |
Methods gshowsPrec :: Int -> Natural -> ShowS # gshows :: Natural -> ShowS # gshow :: Natural -> String #
GShow Void # |
Methods gshowsPrec :: Int -> Void -> ShowS # gshows :: Void -> ShowS # gshow :: Void -> String #
GShow Version # |
Methods gshowsPrec :: Int -> Version -> ShowS # gshows :: Version -> ShowS # gshow :: Version -> String #
GShow HandlePosn # |
Methods gshowsPrec :: Int -> HandlePosn -> ShowS # gshows :: HandlePosn -> ShowS # gshow :: HandlePosn -> String #
GShow Fd # |
Methods gshowsPrec :: Int -> Fd -> ShowS # gshows :: Fd -> ShowS # gshow :: Fd -> String #
GShow ExitCode # |
Methods gshowsPrec :: Int -> ExitCode -> ShowS # gshows :: ExitCode -> ShowS # gshow :: ExitCode -> String #
GShow IOErrorType # |
Methods gshowsPrec :: Int -> IOErrorType -> ShowS # gshows :: IOErrorType -> ShowS # gshow :: IOErrorType -> String #
GShow BufferMode # |
Methods gshowsPrec :: Int -> BufferMode -> ShowS # gshows :: BufferMode -> ShowS # gshow :: BufferMode -> String #
GShow WordPtr # |
Methods gshowsPrec :: Int -> WordPtr -> ShowS # gshows :: WordPtr -> ShowS # gshow :: WordPtr -> String #
GShow IntPtr # |
Methods gshowsPrec :: Int -> IntPtr -> ShowS # gshows :: IntPtr -> ShowS # gshow :: IntPtr -> String #
GShow CChar # |
Methods gshowsPrec :: Int -> CChar -> ShowS # gshows :: CChar -> ShowS # gshow :: CChar -> String #
GShow CSChar # |
Methods gshowsPrec :: Int -> CSChar -> ShowS # gshows :: CSChar -> ShowS # gshow :: CSChar -> String #
GShow CUChar # |
Methods gshowsPrec :: Int -> CUChar -> ShowS # gshows :: CUChar -> ShowS # gshow :: CUChar -> String #
GShow CShort # |
Methods gshowsPrec :: Int -> CShort -> ShowS # gshows :: CShort -> ShowS # gshow :: CShort -> String #
GShow CUShort # |
Methods gshowsPrec :: Int -> CUShort -> ShowS # gshows :: CUShort -> ShowS # gshow :: CUShort -> String #
GShow CInt # |
Methods gshowsPrec :: Int -> CInt -> ShowS # gshows :: CInt -> ShowS # gshow :: CInt -> String #
GShow CUInt # |
Methods gshowsPrec :: Int -> CUInt -> ShowS # gshows :: CUInt -> ShowS # gshow :: CUInt -> String #
GShow CLong # |
Methods gshowsPrec :: Int -> CLong -> ShowS # gshows :: CLong -> ShowS # gshow :: CLong -> String #
GShow CULong # |
Methods gshowsPrec :: Int -> CULong -> ShowS # gshows :: CULong -> ShowS # gshow :: CULong -> String #
GShow CLLong # |
Methods gshowsPrec :: Int -> CLLong -> ShowS # gshows :: CLLong -> ShowS # gshow :: CLLong -> String #
GShow CULLong # |
Methods gshowsPrec :: Int -> CULLong -> ShowS # gshows :: CULLong -> ShowS # gshow :: CULLong -> String #
GShow CFloat # |
Methods gshowsPrec :: Int -> CFloat -> ShowS # gshows :: CFloat -> ShowS # gshow :: CFloat -> String #
GShow CDouble # |
Methods gshowsPrec :: Int -> CDouble -> ShowS # gshows :: CDouble -> ShowS # gshow :: CDouble -> String #
GShow CPtrdiff # |
Methods gshowsPrec :: Int -> CPtrdiff -> ShowS # gshows :: CPtrdiff -> ShowS # gshow :: CPtrdiff -> String #
GShow CSize # |
Methods gshowsPrec :: Int -> CSize -> ShowS # gshows :: CSize -> ShowS # gshow :: CSize -> String #
GShow CWchar # |
Methods gshowsPrec :: Int -> CWchar -> ShowS # gshows :: CWchar -> ShowS # gshow :: CWchar -> String #
GShow CSigAtomic # |
Methods gshowsPrec :: Int -> CSigAtomic -> ShowS # gshows :: CSigAtomic -> ShowS # gshow :: CSigAtomic -> String #
GShow CClock # |
Methods gshowsPrec :: Int -> CClock -> ShowS # gshows :: CClock -> ShowS # gshow :: CClock -> String #
GShow CTime # |
Methods gshowsPrec :: Int -> CTime -> ShowS # gshows :: CTime -> ShowS # gshow :: CTime -> String #
GShow CUSeconds # |
Methods gshowsPrec :: Int -> CUSeconds -> ShowS # gshows :: CUSeconds -> ShowS # gshow :: CUSeconds -> String #
GShow CSUSeconds # |
Methods gshowsPrec :: Int -> CSUSeconds -> ShowS # gshows :: CSUSeconds -> ShowS # gshow :: CSUSeconds -> String #
GShow CIntPtr # |
Methods gshowsPrec :: Int -> CIntPtr -> ShowS # gshows :: CIntPtr -> ShowS # gshow :: CIntPtr -> String #
GShow CUIntPtr # |
Methods gshowsPrec :: Int -> CUIntPtr -> ShowS # gshows :: CUIntPtr -> ShowS # gshow :: CUIntPtr -> String #
GShow CIntMax # |
Methods gshowsPrec :: Int -> CIntMax -> ShowS # gshows :: CIntMax -> ShowS # gshow :: CIntMax -> String #
GShow CUIntMax # |
Methods gshowsPrec :: Int -> CUIntMax -> ShowS # gshows :: CUIntMax -> ShowS # gshow :: CUIntMax -> String #
GShow SeekMode # |
Methods gshowsPrec :: Int -> SeekMode -> ShowS # gshows :: SeekMode -> ShowS # gshow :: SeekMode -> String #
GShow All # |
Methods gshowsPrec :: Int -> All -> ShowS # gshows :: All -> ShowS # gshow :: All -> String #
GShow Any # |
Methods gshowsPrec :: Int -> Any -> ShowS # gshows :: Any -> ShowS # gshow :: Any -> String #
GShow Fixity # |
Methods gshowsPrec :: Int -> Fixity -> ShowS # gshows :: Fixity -> ShowS # gshow :: Fixity -> String #
GShow Associativity # |
Methods gshowsPrec :: Int -> Associativity -> ShowS # gshows :: Associativity -> ShowS # gshow :: Associativity -> String #
GShow IOError # |
Methods gshowsPrec :: Int -> IOError -> ShowS # gshows :: IOError -> ShowS # gshow :: IOError -> String #
GShow IOMode # |
Methods gshowsPrec :: Int -> IOMode -> ShowS # gshows :: IOMode -> ShowS # gshow :: IOMode -> String #
GShow GeneralCategory # |
Methods gshowsPrec :: Int -> GeneralCategory -> ShowS # gshows :: GeneralCategory -> ShowS # gshow :: GeneralCategory -> String #
GShow String # |
Methods gshowsPrec :: Int -> String -> ShowS # gshows :: String -> ShowS # gshow :: String -> String #
GShow a => GShow [a] # |
Methods gshowsPrec :: Int -> [a] -> ShowS # gshows :: [a] -> ShowS # gshow :: [a] -> String #
GShow a => GShow (Maybe a) # |
Methods gshowsPrec :: Int -> Maybe a -> ShowS # gshows :: Maybe a -> ShowS # gshow :: Maybe a -> String #
GShow (Ptr a) # |
Methods gshowsPrec :: Int -> Ptr a -> ShowS # gshows :: Ptr a -> ShowS # gshow :: Ptr a -> String #
GShow (FunPtr a) # |
Methods gshowsPrec :: Int -> FunPtr a -> ShowS # gshows :: FunPtr a -> ShowS # gshow :: FunPtr a -> String #
GShow (U1 p) # |
Methods gshowsPrec :: Int -> U1 p -> ShowS # gshows :: U1 p -> ShowS # gshow :: U1 p -> String #
GShow p => GShow (Par1 p) # |
Methods gshowsPrec :: Int -> Par1 p -> ShowS # gshows :: Par1 p -> ShowS # gshow :: Par1 p -> String #
GShow (UChar p) # |
Methods gshowsPrec :: Int -> UChar p -> ShowS # gshows :: UChar p -> ShowS # gshow :: UChar p -> String #
GShow (UDouble p) # |
Methods gshowsPrec :: Int -> UDouble p -> ShowS # gshows :: UDouble p -> ShowS # gshow :: UDouble p -> String #
GShow (UFloat p) # |
Methods gshowsPrec :: Int -> UFloat p -> ShowS # gshows :: UFloat p -> ShowS # gshow :: UFloat p -> String #
GShow (UInt p) # |
Methods gshowsPrec :: Int -> UInt p -> ShowS # gshows :: UInt p -> ShowS # gshow :: UInt p -> String #
GShow (UWord p) # |
Methods gshowsPrec :: Int -> UWord p -> ShowS # gshows :: UWord p -> ShowS # gshow :: UWord p -> String #
GShow (ForeignPtr a) # |
Methods gshowsPrec :: Int -> ForeignPtr a -> ShowS # gshows :: ForeignPtr a -> ShowS # gshow :: ForeignPtr a -> String #
GShow a => GShow (Identity a) # |
Methods gshowsPrec :: Int -> Identity a -> ShowS # gshows :: Identity a -> ShowS # gshow :: Identity a -> String #
GShow a => GShow (Min a) # |
Methods gshowsPrec :: Int -> Min a -> ShowS # gshows :: Min a -> ShowS # gshow :: Min a -> String #
GShow a => GShow (Max a) # |
Methods gshowsPrec :: Int -> Max a -> ShowS # gshows :: Max a -> ShowS # gshow :: Max a -> String #
GShow a => GShow (First a) # |
Methods gshowsPrec :: Int -> First a -> ShowS # gshows :: First a -> ShowS # gshow :: First a -> String #
GShow a => GShow (Last a) # |
Methods gshowsPrec :: Int -> Last a -> ShowS # gshows :: Last a -> ShowS # gshow :: Last a -> String #
GShow m => GShow (WrappedMonoid m) # |
Methods gshowsPrec :: Int -> WrappedMonoid m -> ShowS # gshows :: WrappedMonoid m -> ShowS # gshow :: WrappedMonoid m -> String #
GShow a => GShow (Option a) # |
Methods gshowsPrec :: Int -> Option a -> ShowS # gshows :: Option a -> ShowS # gshow :: Option a -> String #
GShow a => GShow (NonEmpty a) # |
Methods gshowsPrec :: Int -> NonEmpty a -> ShowS # gshows :: NonEmpty a -> ShowS # gshow :: NonEmpty a -> String #
GShow a => GShow (Complex a) # |
Methods gshowsPrec :: Int -> Complex a -> ShowS # gshows :: Complex a -> ShowS # gshow :: Complex a -> String #
GShow a => GShow (ZipList a) # |
Methods gshowsPrec :: Int -> ZipList a -> ShowS # gshows :: ZipList a -> ShowS # gshow :: ZipList a -> String #
GShow a => GShow (Dual a) # |
Methods gshowsPrec :: Int -> Dual a -> ShowS # gshows :: Dual a -> ShowS # gshow :: Dual a -> String #
GShow a => GShow (Sum a) # |
Methods gshowsPrec :: Int -> Sum a -> ShowS # gshows :: Sum a -> ShowS # gshow :: Sum a -> String #
GShow a => GShow (Product a) # |
Methods gshowsPrec :: Int -> Product a -> ShowS # gshows :: Product a -> ShowS # gshow :: Product a -> String #
GShow a => GShow (First a) # |
Methods gshowsPrec :: Int -> First a -> ShowS # gshows :: First a -> ShowS # gshow :: First a -> String #
GShow a => GShow (Last a) # |
Methods gshowsPrec :: Int -> Last a -> ShowS # gshows :: Last a -> ShowS # gshow :: Last a -> String #
(GShow a, GShow b) => GShow (Either a b) # |
Methods gshowsPrec :: Int -> Either a b -> ShowS # gshows :: Either a b -> ShowS # gshow :: Either a b -> String #
GShow (f p) => GShow (Rec1 f p) # |
Methods gshowsPrec :: Int -> Rec1 f p -> ShowS # gshows :: Rec1 f p -> ShowS # gshow :: Rec1 f p -> String #
(GShow a, GShow b) => GShow (a, b) # |
Methods gshowsPrec :: Int -> (a, b) -> ShowS # gshows :: (a, b) -> ShowS # gshow :: (a, b) -> String #
(GShow a, GShow b) => GShow (Arg a b) # |
Methods gshowsPrec :: Int -> Arg a b -> ShowS # gshows :: Arg a b -> ShowS # gshow :: Arg a b -> String #
GShow (Proxy * s) # |
Methods gshowsPrec :: Int -> Proxy * s -> ShowS # gshows :: Proxy * s -> ShowS # gshow :: Proxy * s -> String #
GShow c => GShow (K1 i c p) # |
Methods gshowsPrec :: Int -> K1 i c p -> ShowS # gshows :: K1 i c p -> ShowS # gshow :: K1 i c p -> String #
(GShow (f p), GShow (g p)) => GShow ((:+:) f g p) # |
Methods gshowsPrec :: Int -> (f :+: g) p -> ShowS # gshows :: (f :+: g) p -> ShowS # gshow :: (f :+: g) p -> String #
(GShow (f p), GShow (g p)) => GShow ((:*:) f g p) # |
Methods gshowsPrec :: Int -> (f :*: g) p -> ShowS # gshows :: (f :*: g) p -> ShowS # gshow :: (f :*: g) p -> String #
GShow (f (g p)) => GShow ((:.:) f g p) # |
Methods gshowsPrec :: Int -> (f :.: g) p -> ShowS # gshows :: (f :.: g) p -> ShowS # gshow :: (f :.: g) p -> String #
(GShow a, GShow b, GShow c) => GShow (a, b, c) # |
Methods gshowsPrec :: Int -> (a, b, c) -> ShowS # gshows :: (a, b, c) -> ShowS # gshow :: (a, b, c) -> String #
GShow a => GShow (Const * a b) # |
Methods gshowsPrec :: Int -> Const * a b -> ShowS # gshows :: Const * a b -> ShowS # gshow :: Const * a b -> String #
GShow (f a) => GShow (Alt * f a) # |
Methods gshowsPrec :: Int -> Alt * f a -> ShowS # gshows :: Alt * f a -> ShowS # gshow :: Alt * f a -> String #
GShow (f p) => GShow (M1 i c f p) # |
Methods gshowsPrec :: Int -> M1 i c f p -> ShowS # gshows :: M1 i c f p -> ShowS # gshow :: M1 i c f p -> String #
(GShow a, GShow b, GShow c, GShow d) => GShow (a, b, c, d) # |
Methods gshowsPrec :: Int -> (a, b, c, d) -> ShowS # gshows :: (a, b, c, d) -> ShowS # gshow :: (a, b, c, d) -> String #
(GShow a, GShow b, GShow c, GShow d, GShow e) => GShow (a, b, c, d, e) # |
Methods gshowsPrec :: Int -> (a, b, c, d, e) -> ShowS # gshows :: (a, b, c, d, e) -> ShowS # gshow :: (a, b, c, d, e) -> String #
(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f) => GShow (a, b, c, d, e, f) # |
Methods gshowsPrec :: Int -> (a, b, c, d, e, f) -> ShowS # gshows :: (a, b, c, d, e, f) -> ShowS # gshow :: (a, b, c, d, e, f) -> String #
(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f, GShow g) => GShow (a, b, c, d, e, f, g) # |
Methods gshowsPrec :: Int -> (a, b, c, d, e, f, g) -> ShowS # gshows :: (a, b, c, d, e, f, g) -> ShowS # gshow :: (a, b, c, d, e, f, g) -> String #

# Default definition

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

# Internal show class

class GShow' f where #

Minimal complete definition

gshowsPrec'

Methods

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

isNullary :: f a -> Bool #

Instances

GShow' U1 # |
Methods gshowsPrec' :: Type -> Int -> U1 a -> ShowS # isNullary :: U1 a -> Bool #
GShow' UChar # |
Methods gshowsPrec' :: Type -> Int -> UChar a -> ShowS # isNullary :: UChar a -> Bool #
GShow' UDouble # |
Methods gshowsPrec' :: Type -> Int -> UDouble a -> ShowS # isNullary :: UDouble a -> Bool #
GShow' UFloat # |
Methods gshowsPrec' :: Type -> Int -> UFloat a -> ShowS # isNullary :: UFloat a -> Bool #
GShow' UInt # |
Methods gshowsPrec' :: Type -> Int -> UInt a -> ShowS # isNullary :: UInt a -> Bool #
GShow' UWord # |
Methods gshowsPrec' :: Type -> Int -> UWord a -> ShowS # isNullary :: UWord a -> Bool #
GShow c => GShow' (K1 i c) # |
Methods gshowsPrec' :: Type -> Int -> K1 i c a -> ShowS # isNullary :: K1 i c a -> Bool #
(GShow' a, GShow' b) => GShow' ((:+:) a b) # |
Methods gshowsPrec' :: Type -> Int -> (a :+: b) a -> ShowS # isNullary :: (a :+: b) a -> Bool #
(GShow' a, GShow' b) => GShow' ((:*:) a b) # |
Methods gshowsPrec' :: Type -> Int -> (a :*: b) a -> ShowS # isNullary :: (a :*: b) a -> Bool #
GShow' a => GShow' (M1 D d a) # |
Methods gshowsPrec' :: Type -> Int -> M1 D d a a -> ShowS # isNullary :: M1 D d a a -> Bool #
(GShow' a, Constructor Meta c) => GShow' (M1 C c a) # |
Methods gshowsPrec' :: Type -> Int -> M1 C c a a -> ShowS # isNullary :: M1 C c a a -> Bool #
(Selector Meta s, GShow' a) => GShow' (M1 S s a) # |
Methods gshowsPrec' :: Type -> Int -> M1 S s a a -> ShowS # isNullary :: M1 S s a a -> Bool #