generic-deriving-1.12.4: 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
  - gshowsPrec :: Int -> a -> ShowS
  - gshows :: a -> ShowS
  - gshow :: a -> String
  - gshowList :: [a] -> ShowS
- gshowsPrecdefault :: (Generic a, GShow' (Rep a)) => Int -> a -> ShowS
- class GShow' f where
  - gshowsPrec' :: Type -> Int -> f a -> ShowS
  - isNullary :: f a -> Bool

# Generic show class

class GShow a where Source #

Minimal complete definition

Nothing

Methods

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

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

gshows :: a -> ShowS Source #

gshow :: a -> String Source #

gshowList :: [a] -> ShowS Source #

Instances

GShow Bool Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Bool -> ShowS Source # gshows :: Bool -> ShowS Source # gshow :: Bool -> String Source # gshowList :: [Bool] -> ShowS Source #
GShow Char Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Char -> ShowS Source # gshows :: Char -> ShowS Source # gshow :: Char -> String Source # gshowList :: [Char] -> ShowS Source #
GShow Double Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Double -> ShowS Source # gshows :: Double -> ShowS Source # gshow :: Double -> String Source # gshowList :: [Double] -> ShowS Source #
GShow Float Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Float -> ShowS Source # gshows :: Float -> ShowS Source # gshow :: Float -> String Source # gshowList :: [Float] -> ShowS Source #
GShow Int Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Int -> ShowS Source # gshows :: Int -> ShowS Source # gshow :: Int -> String Source # gshowList :: [Int] -> ShowS Source #
GShow Int8 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Int8 -> ShowS Source # gshows :: Int8 -> ShowS Source # gshow :: Int8 -> String Source # gshowList :: [Int8] -> ShowS Source #
GShow Int16 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Int16 -> ShowS Source # gshows :: Int16 -> ShowS Source # gshow :: Int16 -> String Source # gshowList :: [Int16] -> ShowS Source #
GShow Int32 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Int32 -> ShowS Source # gshows :: Int32 -> ShowS Source # gshow :: Int32 -> String Source # gshowList :: [Int32] -> ShowS Source #
GShow Int64 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Int64 -> ShowS Source # gshows :: Int64 -> ShowS Source # gshow :: Int64 -> String Source # gshowList :: [Int64] -> ShowS Source #
GShow Integer Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Integer -> ShowS Source # gshows :: Integer -> ShowS Source # gshow :: Integer -> String Source # gshowList :: [Integer] -> ShowS Source #
GShow Natural Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Natural -> ShowS Source # gshows :: Natural -> ShowS Source # gshow :: Natural -> String Source # gshowList :: [Natural] -> ShowS Source #
GShow Ordering Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Ordering -> ShowS Source # gshows :: Ordering -> ShowS Source # gshow :: Ordering -> String Source # gshowList :: [Ordering] -> ShowS Source #
GShow Word Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Word -> ShowS Source # gshows :: Word -> ShowS Source # gshow :: Word -> String Source # gshowList :: [Word] -> ShowS Source #
GShow Word8 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Word8 -> ShowS Source # gshows :: Word8 -> ShowS Source # gshow :: Word8 -> String Source # gshowList :: [Word8] -> ShowS Source #
GShow Word16 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Word16 -> ShowS Source # gshows :: Word16 -> ShowS Source # gshow :: Word16 -> String Source # gshowList :: [Word16] -> ShowS Source #
GShow Word32 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Word32 -> ShowS Source # gshows :: Word32 -> ShowS Source # gshow :: Word32 -> String Source # gshowList :: [Word32] -> ShowS Source #
GShow Word64 Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Word64 -> ShowS Source # gshows :: Word64 -> ShowS Source # gshow :: Word64 -> String Source # gshowList :: [Word64] -> ShowS Source #
GShow () Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> () -> ShowS Source # gshows :: () -> ShowS Source # gshow :: () -> String Source # gshowList :: [()] -> ShowS Source #
GShow Handle Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Handle -> ShowS Source # gshows :: Handle -> ShowS Source # gshow :: Handle -> String Source # gshowList :: [Handle] -> ShowS Source #
GShow Void Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Void -> ShowS Source # gshows :: Void -> ShowS Source # gshow :: Void -> String Source # gshowList :: [Void] -> ShowS Source #
GShow Version Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Version -> ShowS Source # gshows :: Version -> ShowS Source # gshow :: Version -> String Source # gshowList :: [Version] -> ShowS Source #
GShow HandlePosn Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> HandlePosn -> ShowS Source # gshows :: HandlePosn -> ShowS Source # gshow :: HandlePosn -> String Source # gshowList :: [HandlePosn] -> ShowS Source #
GShow Fd Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Fd -> ShowS Source # gshows :: Fd -> ShowS Source # gshow :: Fd -> String Source # gshowList :: [Fd] -> ShowS Source #
GShow ExitCode Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> ExitCode -> ShowS Source # gshows :: ExitCode -> ShowS Source # gshow :: ExitCode -> String Source # gshowList :: [ExitCode] -> ShowS Source #
GShow IOErrorType Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> IOErrorType -> ShowS Source # gshows :: IOErrorType -> ShowS Source # gshow :: IOErrorType -> String Source # gshowList :: [IOErrorType] -> ShowS Source #
GShow BufferMode Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> BufferMode -> ShowS Source # gshows :: BufferMode -> ShowS Source # gshow :: BufferMode -> String Source # gshowList :: [BufferMode] -> ShowS Source #
GShow SeekMode Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> SeekMode -> ShowS Source # gshows :: SeekMode -> ShowS Source # gshow :: SeekMode -> String Source # gshowList :: [SeekMode] -> ShowS Source #
GShow IOError Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> IOError -> ShowS Source # gshows :: IOError -> ShowS Source # gshow :: IOError -> String Source # gshowList :: [IOError] -> ShowS Source #
GShow All Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> All -> ShowS Source # gshows :: All -> ShowS Source # gshow :: All -> String Source # gshowList :: [All] -> ShowS Source #
GShow Any Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Any -> ShowS Source # gshows :: Any -> ShowS Source # gshow :: Any -> String Source # gshowList :: [Any] -> ShowS Source #
GShow Fixity Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Fixity -> ShowS Source # gshows :: Fixity -> ShowS Source # gshow :: Fixity -> String Source # gshowList :: [Fixity] -> ShowS Source #
GShow Associativity Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Associativity -> ShowS Source # gshows :: Associativity -> ShowS Source # gshow :: Associativity -> String Source # gshowList :: [Associativity] -> ShowS Source #
GShow CChar Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CChar -> ShowS Source # gshows :: CChar -> ShowS Source # gshow :: CChar -> String Source # gshowList :: [CChar] -> ShowS Source #
GShow CSChar Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CSChar -> ShowS Source # gshows :: CSChar -> ShowS Source # gshow :: CSChar -> String Source # gshowList :: [CSChar] -> ShowS Source #
GShow CUChar Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUChar -> ShowS Source # gshows :: CUChar -> ShowS Source # gshow :: CUChar -> String Source # gshowList :: [CUChar] -> ShowS Source #
GShow CShort Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CShort -> ShowS Source # gshows :: CShort -> ShowS Source # gshow :: CShort -> String Source # gshowList :: [CShort] -> ShowS Source #
GShow CUShort Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUShort -> ShowS Source # gshows :: CUShort -> ShowS Source # gshow :: CUShort -> String Source # gshowList :: [CUShort] -> ShowS Source #
GShow CInt Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CInt -> ShowS Source # gshows :: CInt -> ShowS Source # gshow :: CInt -> String Source # gshowList :: [CInt] -> ShowS Source #
GShow CUInt Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUInt -> ShowS Source # gshows :: CUInt -> ShowS Source # gshow :: CUInt -> String Source # gshowList :: [CUInt] -> ShowS Source #
GShow CLong Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CLong -> ShowS Source # gshows :: CLong -> ShowS Source # gshow :: CLong -> String Source # gshowList :: [CLong] -> ShowS Source #
GShow CULong Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CULong -> ShowS Source # gshows :: CULong -> ShowS Source # gshow :: CULong -> String Source # gshowList :: [CULong] -> ShowS Source #
GShow CLLong Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CLLong -> ShowS Source # gshows :: CLLong -> ShowS Source # gshow :: CLLong -> String Source # gshowList :: [CLLong] -> ShowS Source #
GShow CULLong Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CULLong -> ShowS Source # gshows :: CULLong -> ShowS Source # gshow :: CULLong -> String Source # gshowList :: [CULLong] -> ShowS Source #
GShow CBool Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CBool -> ShowS Source # gshows :: CBool -> ShowS Source # gshow :: CBool -> String Source # gshowList :: [CBool] -> ShowS Source #
GShow CFloat Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CFloat -> ShowS Source # gshows :: CFloat -> ShowS Source # gshow :: CFloat -> String Source # gshowList :: [CFloat] -> ShowS Source #
GShow CDouble Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CDouble -> ShowS Source # gshows :: CDouble -> ShowS Source # gshow :: CDouble -> String Source # gshowList :: [CDouble] -> ShowS Source #
GShow CPtrdiff Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CPtrdiff -> ShowS Source # gshows :: CPtrdiff -> ShowS Source # gshow :: CPtrdiff -> String Source # gshowList :: [CPtrdiff] -> ShowS Source #
GShow CSize Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CSize -> ShowS Source # gshows :: CSize -> ShowS Source # gshow :: CSize -> String Source # gshowList :: [CSize] -> ShowS Source #
GShow CWchar Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CWchar -> ShowS Source # gshows :: CWchar -> ShowS Source # gshow :: CWchar -> String Source # gshowList :: [CWchar] -> ShowS Source #
GShow CSigAtomic Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CSigAtomic -> ShowS Source # gshows :: CSigAtomic -> ShowS Source # gshow :: CSigAtomic -> String Source # gshowList :: [CSigAtomic] -> ShowS Source #
GShow CClock Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CClock -> ShowS Source # gshows :: CClock -> ShowS Source # gshow :: CClock -> String Source # gshowList :: [CClock] -> ShowS Source #
GShow CTime Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CTime -> ShowS Source # gshows :: CTime -> ShowS Source # gshow :: CTime -> String Source # gshowList :: [CTime] -> ShowS Source #
GShow CUSeconds Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUSeconds -> ShowS Source # gshows :: CUSeconds -> ShowS Source # gshow :: CUSeconds -> String Source # gshowList :: [CUSeconds] -> ShowS Source #
GShow CSUSeconds Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CSUSeconds -> ShowS Source # gshows :: CSUSeconds -> ShowS Source # gshow :: CSUSeconds -> String Source # gshowList :: [CSUSeconds] -> ShowS Source #
GShow CIntPtr Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CIntPtr -> ShowS Source # gshows :: CIntPtr -> ShowS Source # gshow :: CIntPtr -> String Source # gshowList :: [CIntPtr] -> ShowS Source #
GShow CUIntPtr Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUIntPtr -> ShowS Source # gshows :: CUIntPtr -> ShowS Source # gshow :: CUIntPtr -> String Source # gshowList :: [CUIntPtr] -> ShowS Source #
GShow CIntMax Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CIntMax -> ShowS Source # gshows :: CIntMax -> ShowS Source # gshow :: CIntMax -> String Source # gshowList :: [CIntMax] -> ShowS Source #
GShow CUIntMax Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> CUIntMax -> ShowS Source # gshows :: CUIntMax -> ShowS Source # gshow :: CUIntMax -> String Source # gshowList :: [CUIntMax] -> ShowS Source #
GShow WordPtr Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> WordPtr -> ShowS Source # gshows :: WordPtr -> ShowS Source # gshow :: WordPtr -> String Source # gshowList :: [WordPtr] -> ShowS Source #
GShow IntPtr Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> IntPtr -> ShowS Source # gshows :: IntPtr -> ShowS Source # gshow :: IntPtr -> String Source # gshowList :: [IntPtr] -> ShowS Source #
GShow IOMode Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> IOMode -> ShowS Source # gshows :: IOMode -> ShowS Source # gshow :: IOMode -> String Source # gshowList :: [IOMode] -> ShowS Source #
GShow GeneralCategory Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> GeneralCategory -> ShowS Source # gshows :: GeneralCategory -> ShowS Source # gshow :: GeneralCategory -> String Source # gshowList :: [GeneralCategory] -> ShowS Source #
GShow a => GShow [a] Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> [a] -> ShowS Source # gshows :: [a] -> ShowS Source # gshow :: [a] -> String Source # gshowList :: [[a]] -> ShowS Source #
GShow a => GShow (Maybe a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Maybe a -> ShowS Source # gshows :: Maybe a -> ShowS Source # gshow :: Maybe a -> String Source # gshowList :: [Maybe a] -> ShowS Source #
GShow (Ptr a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Ptr a -> ShowS Source # gshows :: Ptr a -> ShowS Source # gshow :: Ptr a -> String Source # gshowList :: [Ptr a] -> ShowS Source #
GShow (FunPtr a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> FunPtr a -> ShowS Source # gshows :: FunPtr a -> ShowS Source # gshow :: FunPtr a -> String Source # gshowList :: [FunPtr a] -> ShowS Source #
GShow p => GShow (Par1 p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Par1 p -> ShowS Source # gshows :: Par1 p -> ShowS Source # gshow :: Par1 p -> String Source # gshowList :: [Par1 p] -> ShowS Source #
GShow (ForeignPtr a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> ForeignPtr a -> ShowS Source # gshows :: ForeignPtr a -> ShowS Source # gshow :: ForeignPtr a -> String Source # gshowList :: [ForeignPtr a] -> ShowS Source #
GShow a => GShow (Complex a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Complex a -> ShowS Source # gshows :: Complex a -> ShowS Source # gshow :: Complex a -> String Source # gshowList :: [Complex a] -> ShowS Source #
GShow a => GShow (Min a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Min a -> ShowS Source # gshows :: Min a -> ShowS Source # gshow :: Min a -> String Source # gshowList :: [Min a] -> ShowS Source #
GShow a => GShow (Max a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Max a -> ShowS Source # gshows :: Max a -> ShowS Source # gshow :: Max a -> String Source # gshowList :: [Max a] -> ShowS Source #
GShow a => GShow (First a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> First a -> ShowS Source # gshows :: First a -> ShowS Source # gshow :: First a -> String Source # gshowList :: [First a] -> ShowS Source #
GShow a => GShow (Last a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Last a -> ShowS Source # gshows :: Last a -> ShowS Source # gshow :: Last a -> String Source # gshowList :: [Last a] -> ShowS Source #
GShow m => GShow (WrappedMonoid m) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> WrappedMonoid m -> ShowS Source # gshows :: WrappedMonoid m -> ShowS Source # gshow :: WrappedMonoid m -> String Source # gshowList :: [WrappedMonoid m] -> ShowS Source #
GShow a => GShow (Option a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Option a -> ShowS Source # gshows :: Option a -> ShowS Source # gshow :: Option a -> String Source # gshowList :: [Option a] -> ShowS Source #
GShow a => GShow (ZipList a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> ZipList a -> ShowS Source # gshows :: ZipList a -> ShowS Source # gshow :: ZipList a -> String Source # gshowList :: [ZipList a] -> ShowS Source #
GShow a => GShow (Identity a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Identity a -> ShowS Source # gshows :: Identity a -> ShowS Source # gshow :: Identity a -> String Source # gshowList :: [Identity a] -> ShowS Source #
GShow a => GShow (First a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> First a -> ShowS Source # gshows :: First a -> ShowS Source # gshow :: First a -> String Source # gshowList :: [First a] -> ShowS Source #
GShow a => GShow (Last a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Last a -> ShowS Source # gshows :: Last a -> ShowS Source # gshow :: Last a -> String Source # gshowList :: [Last a] -> ShowS Source #
GShow a => GShow (Dual a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Dual a -> ShowS Source # gshows :: Dual a -> ShowS Source # gshow :: Dual a -> String Source # gshowList :: [Dual a] -> ShowS Source #
GShow a => GShow (Sum a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Sum a -> ShowS Source # gshows :: Sum a -> ShowS Source # gshow :: Sum a -> String Source # gshowList :: [Sum a] -> ShowS Source #
GShow a => GShow (Product a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Product a -> ShowS Source # gshows :: Product a -> ShowS Source # gshow :: Product a -> String Source # gshowList :: [Product a] -> ShowS Source #
GShow a => GShow (Down a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Down a -> ShowS Source # gshows :: Down a -> ShowS Source # gshow :: Down a -> String Source # gshowList :: [Down a] -> ShowS Source #
GShow a => GShow (NonEmpty a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> NonEmpty a -> ShowS Source # gshows :: NonEmpty a -> ShowS Source # gshow :: NonEmpty a -> String Source # gshowList :: [NonEmpty a] -> ShowS Source #

(Generic a, GShow' (Rep a)) => GShow (Default a) Source #

For example, with this type:

    newtype TestShow = TestShow Bool
      deriving (GShow) via (Default Bool)

`gshow` for `TestShow` would produce the same string as `gshow` for `Bool`.

In this example, `TestShow` requires no `Generic` instance, as the constraint on `gshowsPrec` from ``Default` `Bool`` is ``Generic` `Bool``.

In general, when using a newtype wrapper, the instance can be derived via the wrapped type, as here (via ``Default` `Bool`` rather than ``Default` TestShow`).

Instance details Defined in Generics.Deriving.Default Methods gshowsPrec :: Int -> Default a -> ShowS Source # gshows :: Default a -> ShowS Source # gshow :: Default a -> String Source # gshowList :: [Default a] -> ShowS Source #
(GShow a, GShow b) => GShow (Either a b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Either a b -> ShowS Source # gshows :: Either a b -> ShowS Source # gshow :: Either a b -> String Source # gshowList :: [Either a b] -> ShowS Source #
GShow (U1 p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> U1 p -> ShowS Source # gshows :: U1 p -> ShowS Source # gshow :: U1 p -> String Source # gshowList :: [U1 p] -> ShowS Source #
GShow (UChar p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> UChar p -> ShowS Source # gshows :: UChar p -> ShowS Source # gshow :: UChar p -> String Source # gshowList :: [UChar p] -> ShowS Source #
GShow (UDouble p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> UDouble p -> ShowS Source # gshows :: UDouble p -> ShowS Source # gshow :: UDouble p -> String Source # gshowList :: [UDouble p] -> ShowS Source #
GShow (UFloat p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> UFloat p -> ShowS Source # gshows :: UFloat p -> ShowS Source # gshow :: UFloat p -> String Source # gshowList :: [UFloat p] -> ShowS Source #
GShow (UInt p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> UInt p -> ShowS Source # gshows :: UInt p -> ShowS Source # gshow :: UInt p -> String Source # gshowList :: [UInt p] -> ShowS Source #
GShow (UWord p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> UWord p -> ShowS Source # gshows :: UWord p -> ShowS Source # gshow :: UWord p -> String Source # gshowList :: [UWord p] -> ShowS Source #
(GShow a, GShow b) => GShow (a, b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (a, b) -> ShowS Source # gshows :: (a, b) -> ShowS Source # gshow :: (a, b) -> String Source # gshowList :: [(a, b)] -> ShowS Source #
(GShow a, GShow b) => GShow (Arg a b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Arg a b -> ShowS Source # gshows :: Arg a b -> ShowS Source # gshow :: Arg a b -> String Source # gshowList :: [Arg a b] -> ShowS Source #
GShow (Proxy s) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Proxy s -> ShowS Source # gshows :: Proxy s -> ShowS Source # gshow :: Proxy s -> String Source # gshowList :: [Proxy s] -> ShowS Source #
GShow (f p) => GShow (Rec1 f p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Rec1 f p -> ShowS Source # gshows :: Rec1 f p -> ShowS Source # gshow :: Rec1 f p -> String Source # gshowList :: [Rec1 f p] -> ShowS Source #
(GShow a, GShow b, GShow c) => GShow (a, b, c) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (a, b, c) -> ShowS Source # gshows :: (a, b, c) -> ShowS Source # gshow :: (a, b, c) -> String Source # gshowList :: [(a, b, c)] -> ShowS Source #
GShow a => GShow (Const a b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Const a b -> ShowS Source # gshows :: Const a b -> ShowS Source # gshow :: Const a b -> String Source # gshowList :: [Const a b] -> ShowS Source #
GShow (f a) => GShow (Alt f a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> Alt f a -> ShowS Source # gshows :: Alt f a -> ShowS Source # gshow :: Alt f a -> String Source # gshowList :: [Alt f a] -> ShowS Source #
GShow c => GShow (K1 i c p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> K1 i c p -> ShowS Source # gshows :: K1 i c p -> ShowS Source # gshow :: K1 i c p -> String Source # gshowList :: [K1 i c p] -> ShowS Source #
(GShow (f p), GShow (g p)) => GShow ((f :+: g) p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (f :+: g) p -> ShowS Source # gshows :: (f :+: g) p -> ShowS Source # gshow :: (f :+: g) p -> String Source # gshowList :: [(f :+: g) p] -> ShowS Source #
(GShow (f p), GShow (g p)) => GShow ((f :*: g) p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (f :*: g) p -> ShowS Source # gshows :: (f :*: g) p -> ShowS Source # gshow :: (f :*: g) p -> String Source # gshowList :: [(f :*: g) p] -> ShowS Source #
(GShow a, GShow b, GShow c, GShow d) => GShow (a, b, c, d) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (a, b, c, d) -> ShowS Source # gshows :: (a, b, c, d) -> ShowS Source # gshow :: (a, b, c, d) -> String Source # gshowList :: [(a, b, c, d)] -> ShowS Source #
GShow (f p) => GShow (M1 i c f p) Source # |
Instance details Defined in Generics.Deriving.Show 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 # gshowList :: [M1 i c f p] -> ShowS Source #
GShow (f (g p)) => GShow ((f :.: g) p) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec :: Int -> (f :.: g) p -> ShowS Source # gshows :: (f :.: g) p -> ShowS Source # gshow :: (f :.: g) p -> String Source # gshowList :: [(f :.: g) p] -> ShowS Source #
(GShow a, GShow b, GShow c, GShow d, GShow e) => GShow (a, b, c, d, e) Source # |
Instance details Defined in Generics.Deriving.Show 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 # gshowList :: [(a, b, c, d, e)] -> ShowS Source #
(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f) => GShow (a, b, c, d, e, f) Source # |
Instance details Defined in Generics.Deriving.Show 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 # gshowList :: [(a, b, c, d, e, f)] -> ShowS Source #
(GShow a, GShow b, GShow c, GShow d, GShow e, GShow f, GShow g) => GShow (a, b, c, d, e, f, g) Source # |
Instance details Defined in Generics.Deriving.Show 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 # gshowList :: [(a, b, c, d, e, f, g)] -> ShowS Source #

# Default definition

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

# 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' (V1 :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> V1 a -> ShowS Source # isNullary :: V1 a -> Bool Source #
GShow' (U1 :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> U1 a -> ShowS Source # isNullary :: U1 a -> Bool Source #
GShow' (UChar :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> UChar a -> ShowS Source # isNullary :: UChar a -> Bool Source #
GShow' (UDouble :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> UDouble a -> ShowS Source # isNullary :: UDouble a -> Bool Source #
GShow' (UFloat :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> UFloat a -> ShowS Source # isNullary :: UFloat a -> Bool Source #
GShow' (UInt :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> UInt a -> ShowS Source # isNullary :: UInt a -> Bool Source #
GShow' (UWord :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> UWord a -> ShowS Source # isNullary :: UWord a -> Bool Source #
GShow c => GShow' (K1 i c :: Type -> Type) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type0 -> Int -> K1 i c a -> ShowS Source # isNullary :: K1 i c a -> Bool Source #
(GShow' a, GShow' b) => GShow' (a :+: b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type -> Int -> (a :+: b) a0 -> ShowS Source # isNullary :: (a :+: b) a0 -> Bool Source #
(GShow' a, GShow' b) => GShow' (a :*: b) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type -> Int -> (a :*: b) a0 -> ShowS Source # isNullary :: (a :*: b) a0 -> Bool Source #
GShow' a => GShow' (M1 D d a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type -> Int -> M1 D d a a0 -> ShowS Source # isNullary :: M1 D d a a0 -> Bool Source #
(GShow' a, Constructor c) => GShow' (M1 C c a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type -> Int -> M1 C c a a0 -> ShowS Source # isNullary :: M1 C c a a0 -> Bool Source #
(Selector s, GShow' a) => GShow' (M1 S s a) Source # |
Instance details Defined in Generics.Deriving.Show Methods gshowsPrec' :: Type -> Int -> M1 S s a a0 -> ShowS Source # isNullary :: M1 S s a a0 -> Bool Source #