generic-deriving-1.14.6: 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 :: Type -> Type) where
  - gshowsPrec' :: Type -> Int -> f a -> ShowS
  - isNullary :: f a -> Bool

# Generic show class

class GShow a where #

Minimal complete definition

Nothing

Methods

gshowsPrec :: Int -> a -> ShowS #

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

gshows :: a -> ShowS #

gshow :: a -> String #

gshowList :: [a] -> ShowS #

#### Instances

Instances details

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

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

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

# Default definition

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

# Internal show class

class GShow' (f :: Type -> Type) where #

Minimal complete definition

gshowsPrec'

Methods

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

isNullary :: f a -> Bool #

#### Instances

Instances details

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