-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | Efficient conversion of values into Text
--
@package text-show
@version 0.4
-- | Monomorphic Show functions for concurrency-related data types.
module Text.Show.Text.Control.Concurrent
-- | Convert a ThreadId to a Builder with the given
-- precedence.
showbThreadIdPrec :: Int -> ThreadId -> Builder
-- | Convert a ThreadStatus to a Builder with the given
-- precedence.
showbThreadStatusPrec :: Int -> ThreadStatus -> Builder
-- | Convert a BlockReason to a Builder.
showbBlockReason :: BlockReason -> Builder
instance Show BlockReason
instance Show ThreadStatus
instance Show ThreadId
-- | Monomorphic Show functions for Exceptions.
module Text.Show.Text.Control.Exception
-- | Convert a SomeException value to a Builder with the
-- given precedence.
showbSomeExceptionPrec :: Int -> SomeException -> Builder
-- | Convert an IOException to a Builder.
showbIOException :: IOException -> Builder
-- | Convert an ArithException to a Builder.
showbArithException :: ArithException -> Builder
-- | Convert an ArrayException to a Builder.
showbArrayException :: ArrayException -> Builder
-- | Convert an AssertionFailed exception to a Builder.
showbAssertionFailed :: AssertionFailed -> Builder
-- | Convert a SomeAsyncException value to a Builder.
showbSomeAsyncException :: SomeAsyncException -> Builder
-- | Convert an AsyncException to a Builder.
showbAsyncException :: AsyncException -> Builder
-- | Convert a NonTermination exception to a Builder.
showbNonTermination :: NonTermination -> Builder
-- | Convert a NestedAtomically exception to a Builder.
showbNestedAtomically :: NestedAtomically -> Builder
-- | Convert a BlockedIndefinitelyOnMVar exception to a
-- Builder.
showbBlockedIndefinitelyOnMVar :: BlockedIndefinitelyOnMVar -> Builder
-- | Convert a BlockedIndefinitelyOnSTM exception to a
-- Builder.
showbBlockedIndefinitelyOnSTM :: BlockedIndefinitelyOnSTM -> Builder
-- | Convert a Deadlock exception to a Builder.
showbDeadlock :: Deadlock -> Builder
-- | Convert a NoMethodError to a Builder.
showbNoMethodError :: NoMethodError -> Builder
-- | Convert a PatternMatchFail to a Builder.
showbPatternMatchFail :: PatternMatchFail -> Builder
-- | Convert a RecConError to a Builder.
showbRecConError :: RecConError -> Builder
-- | Convert a RecSelError to a Builder.
showbRecSelError :: RecSelError -> Builder
-- | Convert a RecUpdError to a Builder.
showbRecUpdError :: RecUpdError -> Builder
-- | Convert an ErrorCall to a Builder.
showbErrorCall :: ErrorCall -> Builder
-- | Convert a MaskingState to a Builder.
showbMaskingState :: MaskingState -> Builder
instance Show MaskingState
instance Show ErrorCall
instance Show RecUpdError
instance Show RecSelError
instance Show RecConError
instance Show PatternMatchFail
instance Show NoMethodError
instance Show Deadlock
instance Show BlockedIndefinitelyOnSTM
instance Show BlockedIndefinitelyOnMVar
instance Show NestedAtomically
instance Show NonTermination
instance Show AsyncException
instance Show SomeAsyncException
instance Show AssertionFailed
instance Show ArrayException
instance Show ArithException
instance Show IOException
instance Show SomeException
-- | Monomorphic Show functions for strict ST values.
module Text.Show.Text.Control.Monad.ST
-- | Convert a strict ST value to a Builder.
showbST :: ST s a -> Builder
instance Show (ST s a)
-- | Monomorphic Show functions for tuple types.
module Text.Show.Text.Data.Tuple
-- | Converts () into a Builder.
showbUnit :: () -> Builder
-- | Converts a 2-tuple into a Builder.
showb2Tuple :: (Show a, Show b) => (a, b) -> Builder
-- | Converts a 3-tuple into a Builder.
showb3Tuple :: (Show a, Show b, Show c) => (a, b, c) -> Builder
-- | Converts a 4-tuple into a Builder.
showb4Tuple :: (Show a, Show b, Show c, Show d) => (a, b, c, d) -> Builder
-- | Converts a 5-tuple into a Builder.
showb5Tuple :: (Show a, Show b, Show c, Show d, Show e) => (a, b, c, d, e) -> Builder
-- | Converts a 6-tuple into a Builder.
showb6Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f) => (a, b, c, d, e, f) -> Builder
-- | Converts a 7-tuple into a Builder.
showb7Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => (a, b, c, d, e, f, g) -> Builder
-- | Converts an 8-tuple into a Builder.
showb8Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => (a, b, c, d, e, f, g, h) -> Builder
-- | Converts a 9-tuple into a Builder.
showb9Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => (a, b, c, d, e, f, g, h, i) -> Builder
-- | Converts a 10-tuple into a Builder.
showb10Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => (a, b, c, d, e, f, g, h, i, j) -> Builder
-- | Converts an 11-tuple into a Builder.
showb11Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => (a, b, c, d, e, f, g, h, i, j, k) -> Builder
-- | Converts a 12-tuple into a Builder.
showb12Tuple :: (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => (a, b, c, d, e, f, g, h, i, j, k, l) -> Builder
-- | Converts a 13-tuple into a Builder.
showb13Tuple :: (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) => (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Builder
-- | Converts a 14-tuple into a Builder.
showb14Tuple :: (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) => (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Builder
-- | Converts a 15-tuple into a Builder.
showb15Tuple :: (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) => (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Builder
instance (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)
instance (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)
instance (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)
instance (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)
instance (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)
instance (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)
instance (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)
instance (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)
instance (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (a, b, c, d, e, f, g)
instance (Show a, Show b, Show c, Show d, Show e, Show f) => Show (a, b, c, d, e, f)
instance (Show a, Show b, Show c, Show d, Show e) => Show (a, b, c, d, e)
instance (Show a, Show b, Show c, Show d) => Show (a, b, c, d)
instance (Show a, Show b, Show c) => Show (a, b, c)
instance (Show a, Show b) => Show (a, b)
instance Show ()
-- | Monomorphic Show functions for Bool values.
module Text.Show.Text.Data.Bool
-- | Convert a Bool to a Builder.
showbBool :: Bool -> Builder
instance Show Bool
-- | Monomorphic Show functions for data types in the
-- bytestring library. These are included for convenience (and
-- because bytestring is a dependency of this library).
module Text.Show.Text.Data.ByteString
-- | Convert a strict ByteString to a Builder.
showbByteStringStrict :: ByteString -> Builder
-- | Convert a lazy ByteString to a Builder.
showbByteStringLazy :: ByteString -> Builder
-- | Convert a lazy ByteString to a Builder with the given
-- precedence.
--
-- With bytestring-0.10.0.0 or later, this function ignores the
-- precedence argument, since lazy ByteStrings are printed out
-- identically to Strings. On earlier versions of
-- bytestring, however, lazy ByteStrings can be printed
-- with parentheses (e.g., Chunk "example" Empty vs. (Chunk
-- "example" Empty)) depending on the precedence.
showbByteStringLazyPrec :: Int -> ByteString -> Builder
-- | Convert a ShortByteString to a Builder.
showbShortByteString :: ShortByteString -> Builder
instance Show ShortByteString
instance Show ByteString
instance Show ByteString
-- | Monomorphic Show functions for integral types.
module Text.Show.Text.Data.Integral
-- | Convert an Int to a Builder with the given precedence.
showbIntPrec :: Int -> Int -> Builder
-- | Convert an Int8 to a Builder with the given precedence.
showbInt8Prec :: Int -> Int8 -> Builder
-- | Convert an Int16 to a Builder with the given precedence.
showbInt16Prec :: Int -> Int16 -> Builder
-- | Convert an Int32 to a Builder with the given precedence.
showbInt32Prec :: Int -> Int32 -> Builder
-- | Convert an Int64 to a Builder with the given precedence.
showbInt64Prec :: Int -> Int64 -> Builder
-- | Convert an Integer to a Builder with the given
-- precedence.
showbIntegerPrec :: Int -> Integer -> Builder
-- | Convert an Integral type to a Builder with the given
-- precedence.
showbIntegralPrec :: Integral a => Int -> a -> Builder
-- | Shows a non-negative Integral number using the base
-- specified by the first argument, and the character representation
-- specified by the second.
showbIntAtBase :: (Integral a, Show a) => a -> (Int -> Char) -> a -> Builder
-- | Show non-negative Integral numbers in base 2.
showbBin :: (Integral a, Show a) => a -> Builder
-- | Show non-negative Integral numbers in base 16.
showbHex :: (Integral a, Show a) => a -> Builder
-- | Show non-negative Integral numbers in base 8.
showbOct :: (Integral a, Show a) => a -> Builder
-- | Convert a Ratio to a Builder with the given precedence.
showbRatioPrec :: (Show a, Integral a) => Int -> Ratio a -> Builder
-- | Convert a Word to a Builder with the given precedence.
showbWord :: Word -> Builder
-- | Convert a Word8 to a Builder with the given precedence.
showbWord8 :: Word8 -> Builder
-- | Convert a Word16 to a Builder with the given precedence.
showbWord16 :: Word16 -> Builder
-- | Convert a Word32 to a Builder with the given precedence.
showbWord32 :: Word32 -> Builder
-- | Convert a Word64 to a Builder with the given precedence.
showbWord64 :: Word64 -> Builder
instance Show Word64
instance Show Word32
instance Show Word16
instance Show Word8
instance Show Word
instance (Show a, Integral a) => Show (Ratio a)
instance Show Integer
instance Show Int64
instance Show Int32
instance Show Int16
instance Show Int8
instance Show Int
-- | Monomorphic Show functions for Char and String.
module Text.Show.Text.Data.Char
-- | Convert a Char to a Builder (surrounded by single
-- quotes).
showbChar :: Char -> Builder
-- | Convert a Char to a Builder (without single quotes).
showbLitChar :: Char -> Builder
-- | Convert a String to a Builder (surrounded by double
-- quotes).
showbString :: String -> Builder
-- | Convert a String to a Builder (without double quotes).
showbLitString :: String -> Builder
-- | Convert a GeneralCategory to a Builder.
showbGeneralCategory :: GeneralCategory -> Builder
instance Show GeneralCategory
instance Show Char
-- | Exports showbListDefault.
module Text.Show.Text.Data.List
-- | Converts a list of values into a Builder in which the values
-- are surrounded by square brackets and each value is separated by a
-- comma. This is the default implementation of showbList save for
-- a few special cases (e.g., String).
showbListDefault :: (a -> Builder) -> [a] -> Builder
instance Show a => Show [a]
-- | Monomorphic Show function for ZipList.
module Text.Show.Text.Control.Applicative
-- | Convert a ZipList to a Builder with the given
-- precedence.
showbZipListPrec :: Show a => Int -> ZipList a -> Builder
instance Show a0 => Show (ZipList a0)
-- | Monomorphic Show function for Array values.
module Text.Show.Text.Data.Array
-- | Convert a Array value to a Builder with the given
-- precedence.
showbArrayPrec :: (Show i, Show e, Ix i) => Int -> Array i e -> Builder
instance (Show i, Show e, Ix i) => Show (Array i e)
-- | Monomorphic Show functions for data types in the
-- containers library. These are included for convenience (and
-- because containers is a dependency of this library).
module Text.Show.Text.Data.Containers
-- | Convert an IntMap into a Builder with the given
-- precedence.
showbIntMapPrec :: Show v => Int -> IntMap v -> Builder
-- | Convert an IntSet into a Builder with the given
-- precedence.
showbIntSetPrec :: Int -> IntSet -> Builder
-- | Convert a Map into a Builder with the given precedence.
showbMapPrec :: (Show k, Show v) => Int -> Map k v -> Builder
-- | Convert a Sequence into a Builder with the given
-- precedence.
showbSequencePrec :: Show a => Int -> Seq a -> Builder
-- | Convert a Set into a Builder with the given precedence.
showbSetPrec :: Show a => Int -> Set a -> Builder
-- | Convert a Tree into a Builder with the given precedence.
showbTreePrec :: Show a => Int -> Tree a -> Builder
instance Show a0 => Show (Tree a0)
instance Show a => Show (Set a)
instance Show a => Show (Seq a)
instance (Show k, Show v) => Show (Map k v)
instance Show IntSet
instance Show v => Show (IntMap v)
-- | Monomorphic Show functions for data types in the Data
-- module.
module Text.Show.Text.Data.Data
-- | Convert a Constr to a Builder.
showbConstr :: Constr -> Builder
-- | Convert a ConstrRep to a Builder with the given
-- precedence.
showbConstrRepPrec :: Int -> ConstrRep -> Builder
-- | Convert a DataRep to a Builder with the given
-- precedence.
showbDataRepPrec :: Int -> DataRep -> Builder
-- | Convert a DataType to a Builder with the given
-- precedence.
showbDataTypePrec :: Int -> DataType -> Builder
-- | Convert a Fixity value to a Builder.
showbFixity :: Fixity -> Builder
instance Show Constr
instance Show Fixity
instance Show ConstrRep
instance Show DataRep
instance Show DataType
-- | Monomorphic Show functions for data types in the
-- Typeable module.
module Text.Show.Text.Data.Typeable
-- | Convert a TypeRep to a Builder with the given
-- precedence.
showbTypeRepPrec :: Int -> TypeRep -> Builder
-- | Convert a TyCon to a Builder.
showbTyCon :: TyCon -> Builder
-- | Convert a Fingerprint to a Builder.
showbFingerprint :: Fingerprint -> Builder
-- | Convert a Proxy type to a Builder.
showbProxy :: Proxy s -> Builder
instance Show (Proxy s)
instance Show Fingerprint
instance Show TyCon
instance Show TypeRep
-- | Monomorphic Show function for Dynamic.
module Text.Show.Text.Data.Dynamic
-- | Convert a Dynamic value to a Builder.
showbDynamic :: Dynamic -> Builder
instance Show Dynamic
-- | Monomorphic Show function for Either values.
module Text.Show.Text.Data.Either
-- | Convert a Either value to a Builder with the given
-- precedence.
showbEitherPrec :: (Show a, Show b) => Int -> Either a b -> Builder
instance (Show a0, Show b0) => Show (Either a0 b0)
-- | Monomorphic Show function for Fixed values.
module Text.Show.Text.Data.Fixed
-- | Convert a Fixed value to a Builder, where the first
-- argument indicates whether to chop off trailing zeroes.
showbFixed :: HasResolution a => Bool -> Fixed a -> Builder
instance HasResolution a => Show (Fixed a)
-- | Monomorphic Show functions for floating-point types.
module Text.Show.Text.Data.Floating
-- | Convert a RealFloat value to a Builder with the given
-- precedence.
showbRealFloatPrec :: RealFloat a => Int -> a -> Builder
-- | Convert a Float to a Builder with the given precedence.
showbFloatPrec :: Int -> Float -> Builder
-- | Convert a Double to a Builder with the given precedence.
showbDoublePrec :: Int -> Double -> Builder
-- | Convert a Complex value to a Builder with the given
-- precedence.
showbComplexPrec :: (RealFloat a, Show a) => Int -> Complex a -> Builder
-- | Show a signed RealFloat value using scientific (exponential)
-- notation (e.g. 2.45e2, 1.5e-3).
--
-- In the call showbEFloat digs val, if digs is
-- Nothing, the value is shown to full precision; if digs
-- is Just d, then at most d digits after the
-- decimal point are shown.
showbEFloat :: RealFloat a => Maybe Int -> a -> Builder
-- | Show a signed RealFloat value using standard decimal notation
-- (e.g. 245000, 0.0015).
--
-- In the call showbFFloat digs val, if digs is
-- Nothing, the value is shown to full precision; if digs
-- is Just d, then at most d digits after the
-- decimal point are shown.
showbFFloat :: RealFloat a => Maybe Int -> a -> Builder
-- | Show a signed RealFloat value using standard decimal notation
-- for arguments whose absolute value lies between 0.1 and
-- 9,999,999, and scientific notation otherwise.
--
-- In the call showbGFloat digs val, if digs is
-- Nothing, the value is shown to full precision; if digs
-- is Just d, then at most d digits after the
-- decimal point are shown.
showbGFloat :: RealFloat a => Maybe Int -> a -> Builder
-- | Show a signed RealFloat value using standard decimal notation
-- (e.g. 245000, 0.0015).
--
-- This behaves as showFFloat, except that a decimal point is
-- always guaranteed, even if not needed.
showbFFloatAlt :: RealFloat a => Maybe Int -> a -> Builder
-- | Show a signed RealFloat value using standard decimal notation
-- for arguments whose absolute value lies between 0.1 and
-- 9,999,999, and scientific notation otherwise.
--
-- This behaves as showFFloat, except that a decimal point is
-- always guaranteed, even if not needed.
showbGFloatAlt :: RealFloat a => Maybe Int -> a -> Builder
instance (RealFloat a, Show a) => Show (Complex a)
instance Show Double
instance Show Float
-- | Monomorphic Show function for Maybe values.
module Text.Show.Text.Data.Maybe
-- | Convert a Maybe value to a Builder with the given
-- precedence.
showbMaybePrec :: Show a => Int -> Maybe a -> Builder
instance Show a0 => Show (Maybe a0)
-- | Monomorphic Show functions for Monoid-related
-- newtypes.
module Text.Show.Text.Data.Monoid
-- | Convert an All value to a Builder with the given
-- precedence.
showbAllPrec :: Int -> All -> Builder
-- | Convert an Any value to a Builder with the given
-- precedence.
showbAnyPrec :: Int -> Any -> Builder
-- | Convert a Dual value to a Builder with the given
-- precedence.
showbDualPrec :: Show a => Int -> Dual a -> Builder
-- | Convert a First value to a Builder with the given
-- precedence.
showbFirstPrec :: Show a => Int -> First a -> Builder
-- | Convert a Last value to a Builder with the given
-- precedence.
showbLastPrec :: Show a => Int -> Last a -> Builder
-- | Convert a Product value to a Builder with the given
-- precedence.
showbProductPrec :: Show a => Int -> Product a -> Builder
-- | Convert a Sum value to a Builder with the given
-- precedence.
showbSumPrec :: Show a => Int -> Sum a -> Builder
instance Show a0 => Show (Sum a0)
instance Show a0 => Show (Product a0)
instance Show a0 => Show (Last a0)
instance Show a0 => Show (First a0)
instance Show a0 => Show (Dual a0)
instance Show Any
instance Show All
-- | Monomorphic Show functions for Ordering and Down.
module Text.Show.Text.Data.Ord
-- | Convert a Ordering to a Builder.
showbOrdering :: Ordering -> Builder
-- | Convert a Down value to a Builder with the given
-- precedence.
showbDownPrec :: Show a => Int -> Down a -> Builder
instance Show a0 => Show (Down a0)
instance Show Ordering
-- | Monomorphic Show functions for Text types.
module Text.Show.Text.Data.Text
-- | Convert a strict Text into a Builder.
showbTextStrict :: Text -> Builder
-- | Convert a lazy Text into a Builder.
showbTextLazy :: Text -> Builder
instance Show Text
instance Show Text
instance Show Builder
-- | Monomorphic Show functions for data types in the time
-- library. These are included for convenience (and because time
-- is a dependency of this library).
module Text.Show.Text.Data.Time
-- | Convert a Day into a Builder.
showbDay :: Day -> Builder
-- | Convert a DiffTime into a Builder.
showbDiffTime :: DiffTime -> Builder
-- | Convert a UTCTime into a Builder.
showbUTCTime :: UTCTime -> Builder
-- | Convert a NominalDiffTime into a Builder.
showbNominalDiffTime :: NominalDiffTime -> Builder
-- | Convert a AbsoluteTime into a Builder.
showbAbsoluteTime :: AbsoluteTime -> Builder
-- | Convert a TimeZone into a Builder.
showbTimeZone :: TimeZone -> Builder
-- | Convert a TimeOfDay into a Builder.
showbTimeOfDay :: TimeOfDay -> Builder
-- | Convert a LocalTime into a Builder.
showbLocalTime :: LocalTime -> Builder
-- | Convert a ZonedTime into a Builder.
showbZonedTime :: ZonedTime -> Builder
instance Show ZonedTime
instance Show LocalTime
instance Show TimeOfDay
instance Show TimeZone
instance Show AbsoluteTime
instance Show NominalDiffTime
instance Show UTCTime
instance Show DiffTime
instance Show Day
-- | Monomorphic Show function for Version.
module Text.Show.Text.Data.Version
-- | Convert a Version to a Builder with the given
-- precedence.
showbVersionPrec :: Int -> Version -> Builder
-- | Provides one possible concrete representation for Version. For
-- a version with versionBranch = [1,2,3] and
-- versionTags = ["tag1","tag2"], the output will be
-- 1.2.3-tag1-tag2.
showbVersionConcrete :: Version -> Builder
instance Show Version
-- | Monomorphic Show functions for Haskell newtypes corresponding
-- to C types in the Foreign Function Interface (FFI).
module Text.Show.Text.Foreign.C.Types
-- | Convert a CChar to a Builder with the given precedence.
showbCCharPrec :: Int -> CChar -> Builder
-- | Convert a CSChar to a Builder with the given precedence.
showbCSCharPrec :: Int -> CSChar -> Builder
-- | Convert a CUChar to a Builder.
showbCUChar :: CUChar -> Builder
-- | Convert a CShort to a Builder with the given precedence.
showbCShortPrec :: Int -> CShort -> Builder
-- | Convert a CUShort to a Builder.
showbCUShort :: CUShort -> Builder
-- | Convert a CInt to a Builder with the given precedence.
showbCIntPrec :: Int -> CInt -> Builder
-- | Convert a CUInt to a Builder.
showbCUInt :: CUInt -> Builder
-- | Convert a CLong to a Builder with the given precedence.
showbCLongPrec :: Int -> CLong -> Builder
-- | Convert a CULong to a Builder.
showbCULong :: CULong -> Builder
-- | Convert a CPtrdiff to a Builder with the given
-- precedence.
showbCPtrdiffPrec :: Int -> CPtrdiff -> Builder
-- | Convert a CSize to a Builder.
showbCSize :: CSize -> Builder
-- | Convert a CWchar to a Builder with the given precedence.
showbCWcharPrec :: Int -> CWchar -> Builder
-- | Convert a CSigAtomic to a Builder with the given
-- precedence.
showbCSigAtomicPrec :: Int -> CSigAtomic -> Builder
-- | Convert a CLLong to a Builder with the given precedence.
showbCLLongPrec :: Int -> CLLong -> Builder
-- | Convert a CULLong to a Builder.
showbCULLong :: CULLong -> Builder
-- | Convert a CIntPtr to a Builder with the given
-- precedence.
showbCIntPtrPrec :: Int -> CIntPtr -> Builder
-- | Convert a CUIntPtr to a Builder.
showbCUIntPtr :: CUIntPtr -> Builder
-- | Convert a CIntMax to a Builder with the given
-- precedence.
showbCIntMaxPrec :: Int -> CIntMax -> Builder
-- | Convert a CUIntMax to a Builder.
showbCUIntMax :: CUIntMax -> Builder
-- | Convert a CClock to a Builder with the given precedence.
showbCClockPrec :: Int -> CClock -> Builder
-- | Convert a CTime to a Builder with the given precedence.
showbCTimePrec :: Int -> CTime -> Builder
-- | Convert a CUSeconds value to a Builder.
showbCUSeconds :: CUSeconds -> Builder
-- | Convert a CSUSeconds value to a Builder with the given
-- precedence.
showbCSUSecondsPrec :: Int -> CSUSeconds -> Builder
-- | Convert a CFloat to a Builder with the given precedence.
showbCFloatPrec :: Int -> CFloat -> Builder
-- | Convert a CDouble to a Builder with the given
-- precedence.
showbCDoublePrec :: Int -> CDouble -> Builder
instance Show CDouble
instance Show CFloat
instance Show CSUSeconds
instance Show CUSeconds
instance Show CTime
instance Show CClock
instance Show CUIntMax
instance Show CIntMax
instance Show CUIntPtr
instance Show CIntPtr
instance Show CULLong
instance Show CLLong
instance Show CSigAtomic
instance Show CWchar
instance Show CSize
instance Show CPtrdiff
instance Show CULong
instance Show CLong
instance Show CUInt
instance Show CInt
instance Show CUShort
instance Show CShort
instance Show CUChar
instance Show CSChar
instance Show CChar
-- | Monomorphic Show functions for pointer types used in the
-- Haskell Foreign Function Interface (FFI).
module Text.Show.Text.Foreign.Ptr
-- | Convert a Ptr to a Builder. Note that this does not
-- require the parameterized type to be an instance of Show
-- itself.
showbPtr :: Ptr a -> Builder
-- | Convert a FunPtr to a Builder. Note that this does not
-- require the parameterized type to be an instance of Show
-- itself.
showbFunPtr :: FunPtr a -> Builder
-- | Convert an IntPtr to a Builder with the given
-- precedence.
showbIntPtrPrec :: Int -> IntPtr -> Builder
-- | Convert a WordPtr to a Builder.
showbWordPtr :: WordPtr -> Builder
-- | Convert a ForeignPtr to a Builder. Note that this does
-- not require the parameterized type to be an instance of Show
-- itself.
showbForeignPtr :: ForeignPtr a -> Builder
instance Show (ForeignPtr a)
instance Show WordPtr
instance Show IntPtr
instance Show (FunPtr a)
instance Show (Ptr a)
-- | Optional Show instance for functions.
module Text.Show.Text.Functions
-- | Convert a function to a Builder.
showbFunction :: (a -> b) -> Builder
instance Show (a -> b)
-- | Monomorphic Show function for ExitCode.
module Text.Show.Text.System.Exit
-- | Convert an ExitCode to a Builder with the given
-- precedence.
showbExitCodePrec :: Int -> ExitCode -> Builder
instance Show ExitCode
-- | Monomorphic Show functions for IO-related data types.
module Text.Show.Text.System.IO
-- | Convert a Handle to a Builder.
showbHandle :: Handle -> Builder
-- | Convert an IOMode to a Builder.
showbIOMode :: IOMode -> Builder
-- | Convert a BufferMode to a Builder with the given
-- precedence.
showbBufferModePrec :: Int -> BufferMode -> Builder
-- | Convert a HandlePosn to a Builder.
showbHandlePosn :: HandlePosn -> Builder
-- | Convert a SeekMode to a Builder.
showbSeekMode :: SeekMode -> Builder
-- | Convert a TextEncoding to a Builder.
showbTextEncoding :: TextEncoding -> Builder
-- | Convert a CodingProgress to a Builder.
showbCodingProgress :: CodingProgress -> Builder
-- | Convert a CodingFailureMode value to a Builder.
showbCodingFailureMode :: CodingFailureMode -> Builder
-- | Convert a Newline to a Builder.
showbNewline :: Newline -> Builder
-- | Convert a NewlineMode to a Builder with the given
-- precedence.
showbNewlineModePrec :: Int -> NewlineMode -> Builder
instance Show NewlineMode
instance Show Newline
instance Show CodingFailureMode
instance Show CodingProgress
instance Show TextEncoding
instance Show SeekMode
instance Show HandlePosn
instance Show BufferMode
instance Show IOMode
instance Show Handle
-- | Monomorphic Show functions for Haskell equivalents of POSIX
-- data types.
module Text.Show.Text.System.Posix.Types
-- | Convert a CDev to a Builder.
showbCDev :: CDev -> Builder
-- | Convert a CIno to a Builder.
showbCIno :: CIno -> Builder
-- | Convert a CMode to a Builder.
showbCMode :: CMode -> Builder
-- | Convert a COff to a Builder with the given precedence.
showbCOffPrec :: Int -> COff -> Builder
-- | Convert a CPid to a Builder with the given precedence.
showbCPidPrec :: Int -> CPid -> Builder
-- | Convert a CSsize to a Builder with the given precedence.
showbCSsizePrec :: Int -> CSsize -> Builder
-- | Convert a CGid to a Builder.
showbCGid :: CGid -> Builder
-- | Convert a CNlink to a Builder.
showbCNlink :: CNlink -> Builder
-- | Convert a CUid to a Builder.
showbCUid :: CUid -> Builder
-- | Convert a CCc to a Builder.
showbCCc :: CCc -> Builder
-- | Convert a CSpeed to a Builder.
showbCSpeed :: CSpeed -> Builder
-- | Convert a CTcflag to a Builder.
showbCTcflag :: CTcflag -> Builder
-- | Convert a CRLim to a Builder.
showbCRLim :: CRLim -> Builder
-- | Convert an Fd to a Builder with the given precedence.
showbFdPrec :: Int -> Fd -> Builder
instance Show Fd
instance Show CRLim
instance Show CTcflag
instance Show CSpeed
instance Show CCc
instance Show CUid
instance Show CNlink
instance Show CGid
instance Show CSsize
instance Show CPid
instance Show COff
instance Show CMode
instance Show CIno
instance Show CDev
-- | Monomorphic Show function for Lexeme (and Number,
-- if using a recent-enough version of base).
module Text.Show.Text.Text.Read
-- | Convert a Lexeme to a Builder with the given precedence.
showbLexemePrec :: Int -> Lexeme -> Builder
-- | Convert a Number to a Builder with the given precedence.
showbNumberPrec :: Int -> Number -> Builder
instance Show Number
instance Show Lexeme
-- | Monomorphic Show functions for data types in the Event
-- module.
module Text.Show.Text.GHC.Event
-- | Convert an Event to a Builder.
showbEvent :: Event -> Builder
-- | Convert an FdKey to a Builder with the given precedence.
showbFdKeyPrec :: Int -> FdKey -> Builder
instance Show FdKey
instance Show Event
-- | Monomorphic Show functions for generics-related data types.
module Text.Show.Text.GHC.Generics
-- | Convert a U1 value to a Builder.
showbU1 :: U1 p -> Builder
-- | Convert a Par1 value to a Builder with the given
-- precedence.
showbPar1Prec :: Show p => Int -> Par1 p -> Builder
-- | Convert a Rec1 value to a Builder with the given
-- precedence.
showbRec1Prec :: Show (f p) => Int -> Rec1 f p -> Builder
-- | Convert a K1 value to a Builder with the given
-- precedence.
showbK1Prec :: Show c => Int -> K1 i c p -> Builder
-- | Convert an M1 value to a Builder with the given
-- precedence.
showbM1Prec :: Show (f p) => Int -> M1 i c f p -> Builder
-- | Convert a '(:+:)' value to a Builder with the given precedence.
showbSumTypePrec :: (Show (f p), Show (g p)) => Int -> (f :+: g) p -> Builder
-- | Convert an '(:*:)' value to a Builder with the given
-- precedence.
showbProductTypePrec :: (Show (f p), Show (g p)) => Int -> (f :*: g) p -> Builder
-- | Convert an '(:.:)' value to a Builder with the given
-- precedence.
showbCompFunctorsPrec :: Show (f (g p)) => Int -> (f :.: g) p -> Builder
-- | Convert a Fixity value to a Builder with the given
-- precedence.
showbFixityPrec :: Int -> Fixity -> Builder
-- | Convert an Associativity value to a Builder.
showbAssociativity :: Associativity -> Builder
-- | Convert an Arity value to a Builder with the given
-- precedence.
showbArityPrec :: Int -> Arity -> Builder
instance Show Arity
instance Show Associativity
instance Show Fixity
instance Show (f (g p)) => Show ((:.:) f g p)
instance (Show (f p), Show (g p)) => Show ((:*:) f g p)
instance (Show (f p), Show (g p)) => Show ((:+:) f g p)
instance Show (f p) => Show (M1 i c f p)
instance Show c => Show (K1 i c p)
instance Show (f p) => Show (Rec1 f p)
instance Show p0 => Show (Par1 p0)
instance Show (U1 p)
-- | Monomorphic Show function for GCStats.
module Text.Show.Text.GHC.Stats
-- | Convert a GCStats value to a Builder with the given
-- precedence.
showbGCStatsPrec :: Int -> GCStats -> Builder
instance Show GCStats
-- | Monomorphic Show function for representational equality.
module Text.Show.Text.Data.Type.Coercion
-- | Convert a representational equality value to a Builder.
showbCoercion :: Coercion a b -> Builder
instance Show (Coercion a b)
-- | Monomorphic Show function for propositional equality.
module Text.Show.Text.Data.Type.Equality
-- | Convert a propositional equality value to a Builder.
showbPropEquality :: (a :~: b) -> Builder
instance Show (a :~: b)
-- | Functions to mechanically derive Show instances or splice
-- show-related expressions into Haskell source code. You need to
-- enable the TemplateHaskell language extension in order to use
-- this module.
module Text.Show.Text.TH
-- | Generates a Show instance declaration for the given
-- data type or newtype.
deriveShow :: Name -> Q [Dec]
-- | Generates a lambda expression which converts the given data
-- type or newtype to a strict Text.
mkShow :: Name -> Q Exp
-- | Generates a lambda expression which converts the given data
-- type or newtype to a lazy Text.
mkShowLazy :: Name -> Q Exp
-- | Generates a lambda expression which converts the given data
-- type or newtype to a strict Text with the given
-- precedence.
mkShowPrec :: Name -> Q Exp
-- | Generates a lambda expression which converts the given data
-- type or newtype to a lazy Text with the given
-- precedence.
mkShowPrecLazy :: Name -> Q Exp
-- | Generates a lambda expression which converts the given data
-- type or newtype to a Builder.
mkShowb :: Name -> Q Exp
-- | Generates a lambda expression which converts the given data
-- type or newtype to a Builder with the given
-- precedence.
mkShowbPrec :: Name -> Q Exp
-- | Generates a lambda expression which writes the given data
-- type or newtype argument's strict Text output to the
-- standard output, followed by a newline.
mkPrint :: Name -> Q Exp
-- | Generates a lambda expression which writes the given data
-- type or newtype argument's lazy Text output to the
-- standard output, followed by a newline.
mkPrintLazy :: Name -> Q Exp
-- | Generates a lambda expression which writes the given data
-- type or newtype argument's strict Text output to the
-- given file handle, followed by a newline.
mkHPrint :: Name -> Q Exp
-- | Generates a lambda expression which writes the given data
-- type or newtype argument's lazy Text output to the
-- given file handle, followed by a newline.
mkHPrintLazy :: Name -> Q Exp
-- | Efficiently convert from values to Text via Builders.
module Text.Show.Text
-- | Conversion of values to Text. Because there are both strict
-- and lazy Text variants, the Show class deliberately
-- avoids using Text in its functions. Instead,
-- showbPrec, showb, and showbList all return
-- Builder, an efficient intermediate form that can be converted
-- to either kind of Text.
--
-- Builder is a Monoid, so it is useful to use the
-- mappend (or <>) function to combine
-- Builders when creating Show instances. As an example:
--
--
-- import Text.Show.Text
--
-- data Example = Example Int Int
-- instance Show Example where
-- showb (Example i1 i2) = showb i1 <> singleton ' ' <> showb i2
--
--
-- If you do not want to create Show instances manually, you can
-- alternatively use the Text.Show.Text.TH module to automatically
-- generate default Show instances using Template Haskell.
class Show a where showbPrec _ = showb showb = showbPrec 0 showbList = showbListDefault showb
showbPrec :: Show a => Int -> a -> Builder
showb :: Show a => a -> Builder
showbList :: Show a => [a] -> Builder
-- | Constructs a strict Text from a single value.
show :: Show a => a -> Text
-- | Constructs a lazy Text from a single value.
showLazy :: Show a => a -> Text
-- | Constructs a strict Text from a single value with the given
-- precedence.
showPrec :: Show a => Int -> a -> Text
-- | Constructs a lazy Text from a single value with the given
-- precedence.
showPrecLazy :: Show a => Int -> a -> Text
-- | Construct a strict Text from a list of values.
showList :: Show a => [a] -> Text
-- | Construct a lazy Text from a list of values.
showListLazy :: Show a => [a] -> Text
-- | Surrounds Builder output with parentheses if the Bool
-- parameter is True.
showbParen :: Bool -> Builder -> Builder
-- | Computes the length of a Builder.
lengthB :: Builder -> Int64
-- | replicateB n b yields a Builder containing
-- b repeated n times.
replicateB :: Int64 -> Builder -> Builder
-- | Merges several Builders, separating them by newlines.
unlinesB :: [Builder] -> Builder
-- | Merges several Builders, separating them by spaces.
unwordsB :: [Builder] -> Builder
-- | Writes a value's strict Text representation to the standard
-- output, followed by a newline.
print :: Show a => a -> IO ()
-- | Writes a value's lazy Text representation to the standard
-- output, followed by a newline.
printLazy :: Show a => a -> IO ()
-- | Writes a value's strict Text representation to a file handle,
-- followed by a newline.
hPrint :: Show a => Handle -> a -> IO ()
-- | Writes a value's lazy Text representation to a file handle,
-- followed by a newline.
hPrintLazy :: Show a => Handle -> a -> IO ()