haskell / 9 / libraries / base-4.17.0.0 / text-show.html

Text.Show

Copyright (c) The University of Glasgow 2001
License BSD-style (see the file libraries/base/LICENSE)
Maintainer libraries@haskell.org
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
Instances details
Show NestedAtomically Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show NoMethodError Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show NonTermination Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show PatternMatchFail Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show RecConError Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show RecSelError Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show RecUpdError Source

Since: base-4.0

Instance details

Defined in Control.Exception.Base

Show TypeError Source

Since: base-4.9.0.0

Instance details

Defined in Control.Exception.Base

Show ByteArray Source

Since: base-4.17.0.0

Instance details

Defined in Data.Array.Byte

Show Constr Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Show ConstrRep Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Show DataRep Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Show DataType Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Show Fixity Source

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Show Dynamic Source

Since: base-2.1

Instance details

Defined in Data.Dynamic

Show All Source

Since: base-2.1

Instance details

Defined in Data.Semigroup.Internal

Methods

showsPrec :: Int -> All -> ShowS Source

show :: All -> String Source

showList :: [All] -> ShowS Source

Show Any Source

Since: base-2.1

Instance details

Defined in Data.Semigroup.Internal

Methods

showsPrec :: Int -> Any -> ShowS Source

show :: Any -> String Source

showList :: [Any] -> ShowS Source

Show SomeTypeRep Source

Since: base-4.10.0.0

Instance details

Defined in Data.Typeable.Internal

Show Version Source

Since: base-2.1

Instance details

Defined in Data.Version

Show Void Source

Since: base-4.8.0.0

Instance details

Defined in Data.Void

Show CBool Source
Instance details

Defined in Foreign.C.Types

Show CChar Source
Instance details

Defined in Foreign.C.Types

Show CClock Source
Instance details

Defined in Foreign.C.Types

Show CDouble Source
Instance details

Defined in Foreign.C.Types

Show CFloat Source
Instance details

Defined in Foreign.C.Types

Show CInt Source
Instance details

Defined in Foreign.C.Types

Show CIntMax Source
Instance details

Defined in Foreign.C.Types

Show CIntPtr Source
Instance details

Defined in Foreign.C.Types

Show CLLong Source
Instance details

Defined in Foreign.C.Types

Show CLong Source
Instance details

Defined in Foreign.C.Types

Show CPtrdiff Source
Instance details

Defined in Foreign.C.Types

Show CSChar Source
Instance details

Defined in Foreign.C.Types

Show CSUSeconds Source
Instance details

Defined in Foreign.C.Types

Show CShort Source
Instance details

Defined in Foreign.C.Types

Show CSigAtomic Source
Instance details

Defined in Foreign.C.Types

Show CSize Source
Instance details

Defined in Foreign.C.Types

Show CTime Source
Instance details

Defined in Foreign.C.Types

Show CUChar Source
Instance details

Defined in Foreign.C.Types

Show CUInt Source
Instance details

Defined in Foreign.C.Types

Show CUIntMax Source
Instance details

Defined in Foreign.C.Types

Show CUIntPtr Source
Instance details

Defined in Foreign.C.Types

Show CULLong Source
Instance details

Defined in Foreign.C.Types

Show CULong Source
Instance details

Defined in Foreign.C.Types

Show CUSeconds Source
Instance details

Defined in Foreign.C.Types

Show CUShort Source
Instance details

Defined in Foreign.C.Types

Show CWchar Source
Instance details

Defined in Foreign.C.Types

Show IntPtr Source
Instance details

Defined in Foreign.Ptr

Show WordPtr Source
Instance details

Defined in Foreign.Ptr

Show ByteOrder Source

Since: base-4.11.0.0

Instance details

Defined in GHC.ByteOrder

Show BlockReason Source

Since: base-4.3.0.0

Instance details

Defined in GHC.Conc.Sync

Show ThreadId Source

Since: base-4.2.0.0

Instance details

Defined in GHC.Conc.Sync

Show ThreadStatus Source

Since: base-4.3.0.0

Instance details

Defined in GHC.Conc.Sync

Show Event Source

Since: base-4.4.0.0

Instance details

Defined in GHC.Event.Internal.Types

Show Lifetime Source

Since: base-4.8.1.0

Instance details

Defined in GHC.Event.Internal.Types

Show FdKey Source

Since: base-4.4.0.0

Instance details

Defined in GHC.Event.Manager

Show ErrorCall Source

Since: base-4.0.0.0

Instance details

Defined in GHC.Exception

Show ArithException Source

Since: base-4.0.0.0

Instance details

Defined in GHC.Exception.Type

Show SomeException Source

Since: base-3.0

Instance details

Defined in GHC.Exception.Type

Show Fingerprint Source

Since: base-4.7.0.0

Instance details

Defined in GHC.Fingerprint.Type

Show Associativity Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Show DecidedStrictness Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Show Fixity Source

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Show SourceStrictness Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Show SourceUnpackedness Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Show MaskingState Source

Since: base-4.3.0.0

Instance details

Defined in GHC.IO

Show SeekMode Source

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.Device

Show CodingFailureMode Source

Since: base-4.4.0.0

Instance details

Defined in GHC.IO.Encoding.Failure

Show CodingProgress Source

Since: base-4.4.0.0

Instance details

Defined in GHC.IO.Encoding.Types

Show TextEncoding Source

Since: base-4.3.0.0

Instance details

Defined in GHC.IO.Encoding.Types

Show AllocationLimitExceeded Source

Since: base-4.7.1.0

Instance details

Defined in GHC.IO.Exception

Show ArrayException Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show AssertionFailed Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show AsyncException Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show BlockedIndefinitelyOnMVar Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show BlockedIndefinitelyOnSTM Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show CompactionFailed Source

Since: base-4.10.0.0

Instance details

Defined in GHC.IO.Exception

Show Deadlock Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show ExitCode Source
Instance details

Defined in GHC.IO.Exception

Show FixIOException Source

Since: base-4.11.0.0

Instance details

Defined in GHC.IO.Exception

Show IOErrorType Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show IOException Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Show SomeAsyncException Source

Since: base-4.7.0.0

Instance details

Defined in GHC.IO.Exception

Show FD Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.FD

Methods

showsPrec :: Int -> FD -> ShowS Source

show :: FD -> String Source

showList :: [FD] -> ShowS Source

Show HandlePosn Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Handle

Show FileLockingNotSupported Source

Since: base-4.10.0.0

Instance details

Defined in GHC.IO.Handle.Lock.Common

Show BufferMode Source

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.Handle.Types

Show Handle Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Handle.Types

Show HandleType Source

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Handle.Types

Show Newline Source

Since: base-4.3.0.0

Instance details

Defined in GHC.IO.Handle.Types

Show NewlineMode Source

Since: base-4.3.0.0

Instance details

Defined in GHC.IO.Handle.Types

Show IOMode Source

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Show Int16 Source

Since: base-2.1

Instance details

Defined in GHC.Int

Show Int32 Source

Since: base-2.1

Instance details

Defined in GHC.Int

Show Int64 Source

Since: base-2.1

Instance details

Defined in GHC.Int

Show Int8 Source

Since: base-2.1

Instance details

Defined in GHC.Int

Show CCFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show ConcFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show DebugFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show DoCostCentres Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show DoHeapProfile Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show DoTrace Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show GCFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show GiveGCStats Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show IoSubSystem Source
Instance details

Defined in GHC.RTS.Flags

Show MiscFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show ParFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show ProfFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show RTSFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show TickyFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show TraceFlags Source

Since: base-4.8.0.0

Instance details

Defined in GHC.RTS.Flags

Show FractionalExponentBase Source
Instance details

Defined in GHC.Real

Show InfoProv Source
Instance details

Defined in GHC.Stack.CCS

Show StackEntry Source
Instance details

Defined in GHC.Stack.CloneStack

Show CallStack Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Show

Show SrcLoc Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Show

Show StaticPtrInfo Source

Since: base-4.8.0.0

Instance details

Defined in GHC.StaticPtr

Show GCDetails Source

Since: base-4.10.0.0

Instance details

Defined in GHC.Stats

Show RTSStats Source

Since: base-4.10.0.0

Instance details

Defined in GHC.Stats

Show SomeChar Source
Instance details

Defined in GHC.TypeLits

Show SomeSymbol Source

Since: base-4.7.0.0

Instance details

Defined in GHC.TypeLits

Show SomeNat Source

Since: base-4.7.0.0

Instance details

Defined in GHC.TypeNats

Show GeneralCategory Source

Since: base-2.1

Instance details

Defined in GHC.Unicode

Show Word16 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word32 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word64 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show Word8 Source

Since: base-2.1

Instance details

Defined in GHC.Word

Show CBlkCnt Source
Instance details

Defined in System.Posix.Types

Show CBlkSize Source
Instance details

Defined in System.Posix.Types

Show CCc Source
Instance details

Defined in System.Posix.Types

Methods

showsPrec :: Int -> CCc -> ShowS Source

show :: CCc -> String Source

showList :: [CCc] -> ShowS Source

Show CClockId Source
Instance details

Defined in System.Posix.Types

Show CDev Source
Instance details

Defined in System.Posix.Types

Show CFsBlkCnt Source
Instance details

Defined in System.Posix.Types

Show CFsFilCnt Source
Instance details

Defined in System.Posix.Types

Show CGid Source
Instance details

Defined in System.Posix.Types

Show CId Source
Instance details

Defined in System.Posix.Types

Methods

showsPrec :: Int -> CId -> ShowS Source

show :: CId -> String Source

showList :: [CId] -> ShowS Source

Show CIno Source
Instance details

Defined in System.Posix.Types

Show CKey Source
Instance details

Defined in System.Posix.Types

Show CMode Source
Instance details

Defined in System.Posix.Types

Show CNfds Source
Instance details

Defined in System.Posix.Types

Show CNlink Source
Instance details

Defined in System.Posix.Types

Show COff Source
Instance details

Defined in System.Posix.Types

Show CPid Source
Instance details

Defined in System.Posix.Types

Show CRLim Source
Instance details

Defined in System.Posix.Types

Show CSocklen Source
Instance details

Defined in System.Posix.Types

Show CSpeed Source
Instance details

Defined in System.Posix.Types

Show CSsize Source
Instance details

Defined in System.Posix.Types

Show CTcflag Source
Instance details

Defined in System.Posix.Types

Show CTimer Source
Instance details

Defined in System.Posix.Types

Show CUid Source
Instance details

Defined in System.Posix.Types

Show Fd Source
Instance details

Defined in System.Posix.Types

Methods

showsPrec :: Int -> Fd -> ShowS Source

show :: Fd -> String Source

showList :: [Fd] -> ShowS Source

Show Timeout Source

Since: base-4.0

Instance details

Defined in System.Timeout

Show Lexeme Source

Since: base-2.1

Instance details

Defined in Text.Read.Lex

Show Number Source

Since: base-4.6.0.0

Instance details

Defined in Text.Read.Lex

Show KindRep Source
Instance details

Defined in GHC.Show

Show Module Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Show

Show Ordering Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show TrName Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Show

Show TyCon Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show TypeLitSort Source

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Show Integer Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show Natural Source

Since: base-4.8.0.0

Instance details

Defined in GHC.Show

Show () Source

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

show :: () -> String Source

showList :: [()] -> ShowS Source

Show Bool Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show Char Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show Double Source

Since: base-2.1

Instance details

Defined in GHC.Float

Show Float Source

Since: base-2.1

Instance details

Defined in GHC.Float

Show Int Source

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

showsPrec :: Int -> Int -> ShowS Source

show :: Int -> String Source

showList :: [Int] -> ShowS Source

Show Levity Source

Since: base-4.15.0.0

Instance details

Defined in GHC.Show

Show RuntimeRep Source

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Show VecCount Source

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Show VecElem Source

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Show Word Source

Since: base-2.1

Instance details

Defined in GHC.Show

Show a => Show (ZipList a) Source

Since: base-4.7.0.0

Instance details

Defined in Control.Applicative

Show a => Show (And a) Source

Since: base-4.16

Instance details

Defined in Data.Bits

Methods

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

show :: And a -> String Source

showList :: [And a] -> ShowS Source

Show a => Show (Iff a) Source

Since: base-4.16

Instance details

Defined in Data.Bits

Methods

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

show :: Iff a -> String Source

showList :: [Iff a] -> ShowS Source

Show a => Show (Ior a) Source

Since: base-4.16

Instance details

Defined in Data.Bits

Methods

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

show :: Ior a -> String Source

showList :: [Ior a] -> ShowS Source

Show a => Show (Xor a) Source

Since: base-4.16

Instance details

Defined in Data.Bits

Methods

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

show :: Xor a -> String Source

showList :: [Xor a] -> ShowS Source

Show a => Show (Complex a) Source

Since: base-2.1

Instance details

Defined in Data.Complex

Show a => Show (Identity a) Source

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

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Show a => Show (First a) Source

Since: base-2.1

Instance details

Defined in Data.Monoid

Methods

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

show :: First a -> String Source

showList :: [First a] -> ShowS Source

Show a => Show (Last a) Source

Since: base-2.1

Instance details

Defined in Data.Monoid

Methods

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

show :: Last a -> String Source

showList :: [Last a] -> ShowS Source

Show a => Show (Down a) Source

This instance would be equivalent to the derived instances of the Down newtype if the getDown field were removed

Since: base-4.7.0.0

Instance details

Defined in Data.Ord

Methods

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

show :: Down a -> String Source

showList :: [Down a] -> ShowS Source

Show a => Show (First a) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

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

show :: First a -> String Source

showList :: [First a] -> ShowS Source

Show a => Show (Last a) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

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

show :: Last a -> String Source

showList :: [Last a] -> ShowS Source

Show a => Show (Max a) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

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

show :: Max a -> String Source

showList :: [Max a] -> ShowS Source

Show a => Show (Min a) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

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

show :: Min a -> String Source

showList :: [Min a] -> ShowS Source

Show m => Show (WrappedMonoid m) Source

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Show a => Show (Dual a) Source

Since: base-2.1

Instance details

Defined in Data.Semigroup.Internal

Methods

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

show :: Dual a -> String Source

showList :: [Dual a] -> ShowS Source

Show a => Show (Product a) Source

Since: base-2.1

Instance details

Defined in Data.Semigroup.Internal

Show a => Show (Sum a) Source

Since: base-2.1

Instance details

Defined in Data.Semigroup.Internal

Methods

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

show :: Sum a -> String Source

showList :: [Sum a] -> ShowS Source

Show (ForeignPtr a) Source

Since: base-2.1

Instance details

Defined in GHC.ForeignPtr

Show p => Show (Par1 p) Source

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: Par1 p -> String Source

showList :: [Par1 p] -> ShowS Source

Show (FunPtr a) Source

Since: base-2.1

Instance details

Defined in GHC.Ptr

Methods

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

show :: FunPtr a -> String Source

showList :: [FunPtr a] -> ShowS Source

Show (Ptr a) Source

Since: base-2.1

Instance details

Defined in GHC.Ptr

Methods

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

show :: Ptr a -> String Source

showList :: [Ptr a] -> ShowS Source

Show a => Show (Ratio a) Source

Since: base-2.0.1

Instance details

Defined in GHC.Real

Methods

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

show :: Ratio a -> String Source

showList :: [Ratio a] -> ShowS Source

Show a => Show (NonEmpty a) Source

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Show a => Show (Maybe a) Source

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

show :: Maybe a -> String Source

showList :: [Maybe a] -> ShowS Source

Show a => Show (a) Source

Since: base-4.15

Instance details

Defined in GHC.Show

Methods

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

show :: (a) -> String Source

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

Show a => Show [a] Source

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

show :: [a] -> String Source

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

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

Since: base-3.0

Instance details

Defined in Data.Either

Methods

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

show :: Either a b -> String Source

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

HasResolution a => Show (Fixed a) Source

Since: base-2.1

Instance details

Defined in Data.Fixed

Methods

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

show :: Fixed a -> String Source

showList :: [Fixed a] -> ShowS Source

Show (Proxy s) Source

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

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

show :: Proxy s -> String Source

showList :: [Proxy s] -> ShowS Source

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

Since: base-4.9.0.0

Instance details

Defined in Data.Semigroup

Methods

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

show :: Arg a b -> String Source

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

Show (TypeRep a) Source
Instance details

Defined in Data.Typeable.Internal

(Ix a, Show a, Show b) => Show (Array a b) Source

Since: base-2.1

Instance details

Defined in GHC.Arr

Methods

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

show :: Array a b -> String Source

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

Show (U1 p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: U1 p -> String Source

showList :: [U1 p] -> ShowS Source

Show (V1 p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: V1 p -> String Source

showList :: [V1 p] -> ShowS Source

Show (ST s a) Source

Since: base-2.1

Instance details

Defined in GHC.ST

Methods

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

show :: ST s a -> String Source

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

Show (a -> b) Source

Since: base-2.1

Instance details

Defined in Text.Show.Functions

Methods

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

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

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

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

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

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

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

Show a => Show (Const a b) Source

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

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Const

Methods

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

show :: Const a b -> String Source

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

Show (f a) => Show (Ap f a) Source

Since: base-4.12.0.0

Instance details

Defined in Data.Monoid

Methods

showsPrec :: Int -> Ap f a -> ShowS Source

show :: Ap f a -> String Source

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

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

Since: base-4.8.0.0

Instance details

Defined in Data.Semigroup.Internal

Methods

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

show :: Alt f a -> String Source

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

Show (Coercion a b) Source

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Coercion

Methods

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

show :: Coercion a b -> String Source

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

Show (a :~: b) Source

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

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

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

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

Show (OrderingI a b) Source
Instance details

Defined in Data.Type.Ord

Methods

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

show :: OrderingI a b -> String Source

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

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

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: Rec1 f p -> String Source

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

Show (URec Char p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Show (URec Double p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Show (URec Float p) Source
Instance details

Defined in GHC.Generics

Show (URec Int p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: URec Int p -> String Source

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

Show (URec Word p) Source

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

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

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

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

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

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

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Product

Methods

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

show :: Product f g a -> String Source

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

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

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Sum

Methods

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

show :: Sum f g a -> String Source

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

Show (a :~~: b) Source

Since: base-4.10.0.0

Instance details

Defined in Data.Type.Equality

Methods

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

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

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

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

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

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

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

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

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

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

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

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

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

show :: K1 i c p -> String Source

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

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

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

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

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

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

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

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Compose

Methods

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

show :: Compose f g a -> String Source

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

Show (f (g p)) => Show ((f :.: g) p) Source

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

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

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

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

Since: base-4.7.0.0

Instance details

Defined in GHC.Generics

Methods

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

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

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

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

Since: base-2.1

Instance details

Defined in GHC.Show

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

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

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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) Source

Since: base-2.1

Instance details

Defined in GHC.Show

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/9.4.2/docs/libraries/base-4.17.0.0/Text-Show.html