W3cubDocs

/Haskell 8

Text.Show

Copyright (c) The University of Glasgow 2001
License BSD-style (see the file libraries/base/LICENSE)
Maintainer [email protected]
Stability provisional
Portability portable
Safe Haskell Safe
Language Haskell2010

Description

Converting values to readable strings: the Show class and associated functions.

type ShowS = String -> String Source

The shows functions return a function that prepends the output String to an existing String. This allows constant-time concatenation of results using function composition.

class Show a where Source

Conversion of values to readable Strings.

Derived instances of Show have the following properties, which are compatible with derived instances of Read:

  • The result of show is a syntactically correct Haskell expression containing only constants, given the fixity declarations in force at the point where the type is declared. It contains only the constructor names defined in the data type, parentheses, and spaces. When labelled constructor fields are used, braces, commas, field names, and equal signs are also used.
  • If the constructor is defined to be an infix operator, then showsPrec will produce infix applications of the constructor.
  • the representation will be enclosed in parentheses if the precedence of the top-level constructor in x is less than d (associativity is ignored). Thus, if d is 0 then the result is never surrounded in parentheses; if d is 11 it is always surrounded in parentheses, unless it is an atomic expression.
  • If the constructor is defined using record syntax, then show will produce the record-syntax form, with the fields given in the same order as the original declaration.

For example, given the declarations

infixr 5 :^:
data Tree a =  Leaf a  |  Tree a :^: Tree a

the derived instance of Show is equivalent to

instance (Show a) => Show (Tree a) where

       showsPrec d (Leaf m) = showParen (d > app_prec) $
            showString "Leaf " . showsPrec (app_prec+1) m
         where app_prec = 10

       showsPrec d (u :^: v) = showParen (d > up_prec) $
            showsPrec (up_prec+1) u .
            showString " :^: "      .
            showsPrec (up_prec+1) v
         where up_prec = 5

Note that right-associativity of :^: is ignored. For example,

  • show (Leaf 1 :^: Leaf 2 :^: Leaf 3) produces the string "Leaf 1 :^: (Leaf 2 :^: Leaf 3)".

Minimal complete definition

showsPrec | show

Methods

showsPrec Source

Arguments

:: Int

the operator precedence of the enclosing context (a number from 0 to 11). Function application has precedence 10.

-> a

the value to be converted to a String

-> ShowS

Convert a value to a readable String.

showsPrec should satisfy the law

showsPrec d x r ++ s  ==  showsPrec d x (r ++ s)

Derived instances of Read and Show satisfy the following:

That is, readsPrec parses the string produced by showsPrec, and delivers the value that showsPrec started with.

show :: a -> String Source

A specialised variant of showsPrec, using precedence context zero, and returning an ordinary String.

showList :: [a] -> ShowS Source

The method showList is provided to allow the programmer to give a specialised way of showing lists of values. For example, this is used by the predefined Show instance of the Char type, where values of type String should be shown in double quotes, rather than between square brackets.

Instances

Show Bool
Show Char

Since: 2.1

Show Int

Since: 2.1

Methods

showsPrec :: Int -> Int -> ShowS Source

show :: Int -> String Source

showList :: [Int] -> ShowS Source

Show Int8

Since: 2.1

Show Int16

Since: 2.1

Show Int32

Since: 2.1

Show Int64

Since: 2.1

Show Integer

Since: 2.1

Show Natural

Since: 4.8.0.0

Show Ordering
Show Word

Since: 2.1

Show Word8

Since: 2.1

Show Word16

Since: 2.1

Show Word32

Since: 2.1

Show Word64

Since: 2.1

Show CallStack

Since: 4.9.0.0

Show SomeTypeRep

Since: 4.10.0.0

Show ()

Methods

showsPrec :: Int -> () -> ShowS Source

show :: () -> String Source

showList :: [()] -> ShowS Source

Show TyCon

Since: 2.1

Show Module

Since: 4.9.0.0

Show TrName

Since: 4.9.0.0

Show SrcLoc
Show SomeException

Since: 3.0

Show GeneralCategory
Show Number
Show Lexeme
Show Fingerprint

Since: 4.7.0.0

Show IOMode
Show IntPtr
Show WordPtr
Show CUIntMax
Show CIntMax
Show CUIntPtr
Show CIntPtr
Show CSUSeconds
Show CUSeconds
Show CTime
Show CClock
Show CSigAtomic
Show CWchar
Show CSize
Show CPtrdiff
Show CDouble
Show CFloat
Show CBool
Show CULLong
Show CLLong
Show CULong
Show CLong
Show CUInt
Show CInt
Show CUShort
Show CShort
Show CUChar
Show CSChar
Show CChar
Show SomeNat

Since: 4.7.0.0

Show SomeSymbol

Since: 4.7.0.0

Show DecidedStrictness
Show SourceStrictness
Show SourceUnpackedness
Show Associativity
Show Fixity
Show Any

Methods

showsPrec :: Int -> Any -> ShowS Source

show :: Any -> String Source

showList :: [Any] -> ShowS Source

Show All

Methods

showsPrec :: Int -> All -> ShowS Source

show :: All -> String Source

showList :: [All] -> ShowS Source

Show ArithException

Since: 4.0.0.0

Show ErrorCall

Since: 4.0.0.0

Show IOException

Since: 4.1.0.0

Show MaskingState
Show CodingProgress
Show TextEncoding

Since: 4.3.0.0

Show SeekMode
Show NewlineMode
Show Newline
Show BufferMode
Show Handle

Since: 4.1.0.0

Show IOErrorType

Since: 4.1.0.0

Show ExitCode
Show ArrayException

Since: 4.1.0.0

Show AsyncException

Since: 4.1.0.0

Show SomeAsyncException

Since: 4.7.0.0

Show AssertionFailed

Since: 4.1.0.0

Show CompactionFailed

Since: 4.10.0.0

Show AllocationLimitExceeded

Since: 4.7.1.0

Show Deadlock

Since: 4.1.0.0

Show BlockedIndefinitelyOnSTM

Since: 4.1.0.0

Show BlockedIndefinitelyOnMVar

Since: 4.1.0.0

Show CodingFailureMode
Show Fd

Methods

showsPrec :: Int -> Fd -> ShowS Source

show :: Fd -> String Source

showList :: [Fd] -> ShowS Source

Show CTimer
Show CKey
Show CId

Methods

showsPrec :: Int -> CId -> ShowS Source

show :: CId -> String Source

showList :: [CId] -> ShowS Source

Show CFsFilCnt
Show CFsBlkCnt
Show CClockId
Show CBlkCnt
Show CBlkSize
Show CRLim
Show CTcflag
Show CSpeed
Show CCc

Methods

showsPrec :: Int -> CCc -> ShowS Source

show :: CCc -> String Source

showList :: [CCc] -> ShowS Source

Show CUid
Show CNlink
Show CGid
Show CSsize
Show CPid
Show COff
Show CMode
Show CIno
Show CDev
Show Lifetime
Show Event

Since: 4.3.1.0

Show Dynamic

Since: 2.1

Show ThreadStatus
Show BlockReason
Show ThreadId

Since: 4.2.0.0

Show NestedAtomically

Since: 4.0

Show NonTermination

Since: 4.0

Show TypeError

Since: 4.9.0.0

Show NoMethodError

Since: 4.0

Show RecUpdError

Since: 4.0

Show RecConError

Since: 4.0

Show RecSelError

Since: 4.0

Show PatternMatchFail

Since: 4.0

Show FdKey
Show FileLockingNotSupported
Show HandlePosn

Since: 4.1.0.0

Show Version
Show GCStats
Show GCDetails
Show RTSStats
Show RTSFlags
Show ParFlags
Show TickyFlags
Show TraceFlags
Show DoTrace
Show ProfFlags
Show DoHeapProfile
Show CCFlags
Show DoCostCentres
Show DebugFlags
Show MiscFlags
Show ConcFlags
Show GCFlags
Show GiveGCStats
Show Fixity
Show ConstrRep
Show DataRep
Show Constr

Since: 4.0.0.0

Show DataType
Show StaticPtrInfo
Show Void

Since: 4.8.0.0

Show a => Show [a]

Since: 2.1

Methods

showsPrec :: Int -> [a] -> ShowS Source

show :: [a] -> String Source

showList :: [[a]] -> ShowS Source

Show a => Show (Maybe a)

Methods

showsPrec :: Int -> Maybe a -> ShowS Source

show :: Maybe a -> String Source

showList :: [Maybe a] -> ShowS Source

Show a => Show (Ratio a)

Since: 2.0.1

Methods

showsPrec :: Int -> Ratio a -> ShowS Source

show :: Ratio a -> String Source

showList :: [Ratio a] -> ShowS Source

Show (Ptr a)

Since: 2.1

Methods

showsPrec :: Int -> Ptr a -> ShowS Source

show :: Ptr a -> String Source

showList :: [Ptr a] -> ShowS Source

Show (FunPtr a)

Since: 2.1

Methods

showsPrec :: Int -> FunPtr a -> ShowS Source

show :: FunPtr a -> String Source

showList :: [FunPtr a] -> ShowS Source

Show p => Show (Par1 p)

Methods

showsPrec :: Int -> Par1 p -> ShowS Source

show :: Par1 p -> String Source

showList :: [Par1 p] -> ShowS Source

Show a => Show (Down a)

Methods

showsPrec :: Int -> Down a -> ShowS Source

show :: Down a -> String Source

showList :: [Down a] -> ShowS Source

Show a => Show (Last a)

Methods

showsPrec :: Int -> Last a -> ShowS Source

show :: Last a -> String Source

showList :: [Last a] -> ShowS Source

Show a => Show (First a)

Methods

showsPrec :: Int -> First a -> ShowS Source

show :: First a -> String Source

showList :: [First a] -> ShowS Source

Show a => Show (Product a)
Show a => Show (Sum a)

Methods

showsPrec :: Int -> Sum a -> ShowS Source

show :: Sum a -> String Source

showList :: [Sum a] -> ShowS Source

Show a => Show (Dual a)

Methods

showsPrec :: Int -> Dual a -> ShowS Source

show :: Dual a -> String Source

showList :: [Dual a] -> ShowS Source

Show (ForeignPtr a)

Since: 2.1

Show a => Show (Identity a)

This instance would be equivalent to the derived instances of the Identity newtype if the runIdentity field were removed

Since: 4.8.0.0

Show a => Show (ZipList a)
Show a => Show (NonEmpty a)
Show a => Show (Option a)

Methods

showsPrec :: Int -> Option a -> ShowS Source

show :: Option a -> String Source

showList :: [Option a] -> ShowS Source

Show m => Show (WrappedMonoid m)
Show a => Show (Last a)

Methods

showsPrec :: Int -> Last a -> ShowS Source

show :: Last a -> String Source

showList :: [Last a] -> ShowS Source

Show a => Show (First a)

Methods

showsPrec :: Int -> First a -> ShowS Source

show :: First a -> String Source

showList :: [First a] -> ShowS Source

Show a => Show (Max a)

Methods

showsPrec :: Int -> Max a -> ShowS Source

show :: Max a -> String Source

showList :: [Max a] -> ShowS Source

Show a => Show (Min a)

Methods

showsPrec :: Int -> Min a -> ShowS Source

show :: Min a -> String Source

showList :: [Min a] -> ShowS Source

HasResolution a => Show (Fixed a)

Since: 2.1

Methods

showsPrec :: Int -> Fixed a -> ShowS Source

show :: Fixed a -> String Source

showList :: [Fixed a] -> ShowS Source

Show a => Show (Complex a)
(Show b, Show a) => Show (Either a b)

Methods

showsPrec :: Int -> Either a b -> ShowS Source

show :: Either a b -> String Source

showList :: [Either a b] -> ShowS Source

Show (V1 k p)

Methods

showsPrec :: Int -> V1 k p -> ShowS Source

show :: V1 k p -> String Source

showList :: [V1 k p] -> ShowS Source

Show (U1 k p)

Since: 4.9.0.0

Methods

showsPrec :: Int -> U1 k p -> ShowS Source

show :: U1 k p -> String Source

showList :: [U1 k p] -> ShowS Source

Show (TypeRep k a)

Methods

showsPrec :: Int -> TypeRep k a -> ShowS Source

show :: TypeRep k a -> String Source

showList :: [TypeRep k a] -> ShowS Source

(Show a, Show b) => Show (a, b)

Since: 2.1

Methods

showsPrec :: Int -> (a, b) -> ShowS Source

show :: (a, b) -> String Source

showList :: [(a, b)] -> ShowS Source

Show (ST s a)

Since: 2.1

Methods

showsPrec :: Int -> ST s a -> ShowS Source

show :: ST s a -> String Source

showList :: [ST s a] -> ShowS Source

Show (Proxy k s)

Since: 4.7.0.0

Methods

showsPrec :: Int -> Proxy k s -> ShowS Source

show :: Proxy k s -> String Source

showList :: [Proxy k s] -> ShowS Source

(Show b, Show a) => Show (Arg a b)

Methods

showsPrec :: Int -> Arg a b -> ShowS Source

show :: Arg a b -> String Source

showList :: [Arg a b] -> ShowS Source

Show (f p) => Show (Rec1 k f p)

Methods

showsPrec :: Int -> Rec1 k f p -> ShowS Source

show :: Rec1 k f p -> String Source

showList :: [Rec1 k f p] -> ShowS Source

Show (URec k Word p)

Methods

showsPrec :: Int -> URec k Word p -> ShowS Source

show :: URec k Word p -> String Source

showList :: [URec k Word p] -> ShowS Source

Show (URec k Int p)

Methods

showsPrec :: Int -> URec k Int p -> ShowS Source

show :: URec k Int p -> String Source

showList :: [URec k Int p] -> ShowS Source

Show (URec k Float p)

Methods

showsPrec :: Int -> URec k Float p -> ShowS Source

show :: URec k Float p -> String Source

showList :: [URec k Float p] -> ShowS Source

Show (URec k Double p)

Methods

showsPrec :: Int -> URec k Double p -> ShowS Source

show :: URec k Double p -> String Source

showList :: [URec k Double p] -> ShowS Source

Show (URec k Char p)

Methods

showsPrec :: Int -> URec k Char p -> ShowS Source

show :: URec k Char p -> String Source

showList :: [URec k Char p] -> ShowS Source

(Show a, Show b, Show c) => Show (a, b, c)

Since: 2.1

Methods

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

show :: (a, b, c) -> String Source

showList :: [(a, b, c)] -> ShowS Source

Show ((:~:) k a b)

Methods

showsPrec :: Int -> (k :~: a) b -> ShowS Source

show :: (k :~: a) b -> String Source

showList :: [(k :~: a) b] -> ShowS Source

Show (Coercion k a b)

Methods

showsPrec :: Int -> Coercion k a b -> ShowS Source

show :: Coercion k a b -> String Source

showList :: [Coercion k a b] -> ShowS Source

Show (f a) => Show (Alt k f a)

Methods

showsPrec :: Int -> Alt k f a -> ShowS Source

show :: Alt k f a -> String Source

showList :: [Alt k f a] -> ShowS Source

Show a => Show (Const k a b)

This instance would be equivalent to the derived instances of the Const newtype if the runConst field were removed

Since: 4.8.0.0

Methods

showsPrec :: Int -> Const k a b -> ShowS Source

show :: Const k a b -> String Source

showList :: [Const k a b] -> ShowS Source

Show c => Show (K1 k i c p)

Methods

showsPrec :: Int -> K1 k i c p -> ShowS Source

show :: K1 k i c p -> String Source

showList :: [K1 k i c p] -> ShowS Source

(Show (g p), Show (f p)) => Show ((:+:) k f g p)

Methods

showsPrec :: Int -> (k :+: f) g p -> ShowS Source

show :: (k :+: f) g p -> String Source

showList :: [(k :+: f) g p] -> ShowS Source

(Show (g p), Show (f p)) => Show ((:*:) k f g p)

Methods

showsPrec :: Int -> (k :*: f) g p -> ShowS Source

show :: (k :*: f) g p -> String Source

showList :: [(k :*: f) g p] -> ShowS Source

(Show a, Show b, Show c, Show d) => Show (a, b, c, d)

Since: 2.1

Methods

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

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

showList :: [(a, b, c, d)] -> ShowS Source

Show ((:~~:) k1 k2 a b)

Since: 4.10.0.0

Methods

showsPrec :: Int -> (k1 :~~: k2) a b -> ShowS Source

show :: (k1 :~~: k2) a b -> String Source

showList :: [(k1 :~~: k2) a b] -> ShowS Source

(Show1 f, Show1 g, Show a) => Show (Sum * f g a)

Since: 4.9.0.0

Methods

showsPrec :: Int -> Sum * f g a -> ShowS Source

show :: Sum * f g a -> String Source

showList :: [Sum * f g a] -> ShowS Source

(Show1 f, Show1 g, Show a) => Show (Product * f g a)

Since: 4.9.0.0

Methods

showsPrec :: Int -> Product * f g a -> ShowS Source

show :: Product * f g a -> String Source

showList :: [Product * f g a] -> ShowS Source

Show (f p) => Show (M1 k i c f p)

Methods

showsPrec :: Int -> M1 k i c f p -> ShowS Source

show :: M1 k i c f p -> String Source

showList :: [M1 k i c f p] -> ShowS Source

Show (f (g p)) => Show ((:.:) k2 k1 f g p)

Methods

showsPrec :: Int -> (k2 :.: k1) f g p -> ShowS Source

show :: (k2 :.: k1) f g p -> String Source

showList :: [(k2 :.: k1) f g p] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e) => Show (a, b, c, d, e)

Since: 2.1

Methods

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

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

showList :: [(a, b, c, d, e)] -> ShowS Source

(Show1 f, Show1 g, Show a) => Show (Compose * * f g a)

Since: 4.9.0.0

Methods

showsPrec :: Int -> Compose * * f g a -> ShowS Source

show :: Compose * * f g a -> String Source

showList :: [Compose * * f g a] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f) => Show (a, b, c, d, e, f)

Since: 2.1

Methods

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

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

showList :: [(a, b, c, d, e, f)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (a, b, c, d, e, f, g)

Since: 2.1

Methods

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

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

showList :: [(a, b, c, d, e, f, g)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (a, b, c, d, e, f, g, h)

Since: 2.1

Methods

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

show :: (a, b, c, d, e, f, g, h) -> String Source

showList :: [(a, b, c, d, e, f, g, h)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (a, b, c, d, e, f, g, h, i)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (a, b, c, d, e, f, g, h, i, j)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (a, b, c, d, e, f, g, h, i, j, k)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j, k) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j, k) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (a, b, c, d, e, f, g, h, i, j, k, l)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j, k, l) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j, k, l) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> ShowS Source

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Since: 2.1

Methods

showsPrec :: Int -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> ShowS Source

show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> String Source

showList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> ShowS Source

shows :: Show a => a -> ShowS Source

equivalent to showsPrec with a precedence of 0.

showChar :: Char -> ShowS Source

utility function converting a Char to a show function that simply prepends the character unchanged.

showString :: String -> ShowS Source

utility function converting a String to a show function that simply prepends the string unchanged.

showParen :: Bool -> ShowS -> ShowS Source

utility function that surrounds the inner show function with parentheses when the Bool parameter is True.

showListWith :: (a -> ShowS) -> [a] -> ShowS Source

Show a list (using square brackets and commas), given a function for showing elements.

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.2.1/docs/html/libraries/base-4.10.0.0/Text-Show.html