-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

-- | Efficient conversion of values into Text
--   
--   text-show offers a replacement for the Show
--   typeclass intended for use with Text instead of
--   Strings. This package was created in the spirit of
--   bytestring-show.
--   
--   At the moment, text-show provides instances for most data
--   types in the array, base,
--   bytestring, and text packages.
--   Therefore, much of the source code for text-show consists of
--   borrowed code from those packages in order to ensure that the
--   behaviors of Show and TextShow coincide.
--   
--   For most uses, simply importing TextShow will suffice:
--   
--   
--   module Main where
--   
--   import TextShow
--   
--   main :: IO ()
--   main = printT (Just "Hello, World!")
--   
--   
--   If you desire it, there are also monomorphic versions of the
--   showb function available in the submodules of
--   TextShow. See the naming conventions page for more
--   information.
--   
--   Support for automatically deriving TextShow instances can be
--   found in the TextShow.TH and TextShow.Generic modules.
--   If you don't know which one to use, use TextShow.TH.
@package text-show
@version 2.1.1

-- | Monomorphic TextShow functions for data types in the
--   OldTypeable module. This module only exports functions if
--   using base-4.7.
--   
--   Since: 2
module TextShow.Data.OldTypeable

-- | Monomorphic TextShow function for ConsoleEvent. This
--   module only exports functions if using Windows, and not using GHCJS.
--   
--   Since: 2
module TextShow.GHC.Conc.Windows

-- | Monomorphic TextShow functions for Exceptions.
--   
--   Since: 2
module TextShow.Control.Exception

-- | Convert a SomeException value to a Builder with the
--   given precedence.
--   
--   Since: 2
showbSomeExceptionPrec :: Int -> SomeException -> Builder

-- | Convert an IOException to a Builder.
--   
--   Since: 2
showbIOException :: IOException -> Builder

-- | Convert an ArithException to a Builder.
--   
--   Since: 2
showbArithException :: ArithException -> Builder

-- | Convert an ArrayException to a Builder.
--   
--   Since: 2
showbArrayException :: ArrayException -> Builder

-- | Convert an AssertionFailed exception to a Builder.
--   
--   Since: 2
showbAssertionFailed :: AssertionFailed -> Builder

-- | Convert a SomeAsyncException value to a Builder. This
--   function is only available with base-4.7.0.0 or later.
--   
--   Since: 2
showbSomeAsyncException :: SomeAsyncException -> Builder

-- | Convert an AsyncException to a Builder.
--   
--   Since: 2
showbAsyncException :: AsyncException -> Builder

-- | Convert a NonTermination exception to a Builder.
--   
--   Since: 2
showbNonTermination :: NonTermination -> Builder

-- | Convert a NestedAtomically exception to a Builder.
--   
--   Since: 2
showbNestedAtomically :: NestedAtomically -> Builder

-- | Convert a BlockedIndefinitelyOnMVar exception to a
--   Builder.
--   
--   Since: 2
showbBlockedIndefinitelyOnMVar :: BlockedIndefinitelyOnMVar -> Builder

-- | Convert a BlockedIndefinitelyOnSTM exception to a
--   Builder.
--   
--   Since: 2
showbBlockedIndefinitelyOnSTM :: BlockedIndefinitelyOnSTM -> Builder

-- | Convert an AllocationLimitExceeded exception to a
--   Builder. This function is only available with
--   base-4.8.0.0 or later.
--   
--   Since: 2
showbAllocationLimitExceeded :: AllocationLimitExceeded -> Builder

-- | Convert a Deadlock exception to a Builder.
--   
--   Since: 2
showbDeadlock :: Deadlock -> Builder

-- | Convert a NoMethodError to a Builder.
--   
--   Since: 2
showbNoMethodError :: NoMethodError -> Builder

-- | Convert a PatternMatchFail to a Builder.
--   
--   Since: 2
showbPatternMatchFail :: PatternMatchFail -> Builder

-- | Convert a RecConError to a Builder.
--   
--   Since: 2
showbRecConError :: RecConError -> Builder

-- | Convert a RecSelError to a Builder.
--   
--   Since: 2
showbRecSelError :: RecSelError -> Builder

-- | Convert a RecUpdError to a Builder.
--   
--   Since: 2
showbRecUpdError :: RecUpdError -> Builder

-- | Convert an ErrorCall to a Builder.
--   
--   Since: 2
showbErrorCall :: ErrorCall -> Builder

-- | Convert a MaskingState to a Builder.
--   
--   Since: 2
showbMaskingState :: MaskingState -> Builder
instance TextShow.Classes.TextShow GHC.IO.MaskingState
instance TextShow.Classes.TextShow GHC.Exception.SomeException
instance TextShow.Classes.TextShow GHC.IO.Exception.IOException
instance TextShow.Classes.TextShow GHC.Exception.ArithException
instance TextShow.Classes.TextShow GHC.IO.Exception.ArrayException
instance TextShow.Classes.TextShow GHC.IO.Exception.AssertionFailed
instance TextShow.Classes.TextShow GHC.IO.Exception.SomeAsyncException
instance TextShow.Classes.TextShow GHC.IO.Exception.AsyncException
instance TextShow.Classes.TextShow Control.Exception.Base.NonTermination
instance TextShow.Classes.TextShow Control.Exception.Base.NestedAtomically
instance TextShow.Classes.TextShow GHC.IO.Exception.BlockedIndefinitelyOnMVar
instance TextShow.Classes.TextShow GHC.IO.Exception.BlockedIndefinitelyOnSTM
instance TextShow.Classes.TextShow GHC.IO.Exception.AllocationLimitExceeded
instance TextShow.Classes.TextShow GHC.IO.Exception.Deadlock
instance TextShow.Classes.TextShow Control.Exception.Base.NoMethodError
instance TextShow.Classes.TextShow Control.Exception.Base.PatternMatchFail
instance TextShow.Classes.TextShow Control.Exception.Base.RecConError
instance TextShow.Classes.TextShow Control.Exception.Base.RecSelError
instance TextShow.Classes.TextShow Control.Exception.Base.RecUpdError
instance TextShow.Classes.TextShow GHC.Exception.ErrorCall

-- | Monomorphic TextShow functions for strict ST values.
--   
--   Since: 2
module TextShow.Control.Monad.ST

-- | Convert a strict ST value to a Builder.
--   
--   Since: 2
showbST :: ST s a -> Builder
instance TextShow.Classes.TextShow (GHC.ST.ST s a)
instance TextShow.Classes.TextShow1 (GHC.ST.ST s)
instance TextShow.Classes.TextShow2 GHC.ST.ST

-- | Monomorphic TextShow functions for tuple types.
--   
--   Since: 2
module TextShow.Data.Tuple

-- | Converts () into a Builder.
--   
--   Since: 2
showbUnit :: () -> Builder

-- | Converts a 2-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb2TupleWith2 :: (a -> Builder) -> (b -> Builder) -> (a, b) -> Builder

-- | Converts a 3-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb3TupleWith2 :: TextShow a => (b -> Builder) -> (c -> Builder) -> (a, b, c) -> Builder

-- | Converts a 4-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb4TupleWith2 :: (TextShow a, TextShow b) => (c -> Builder) -> (d -> Builder) -> (a, b, c, d) -> Builder

-- | Converts a 5-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb5TupleWith2 :: (TextShow a, TextShow b, TextShow c) => (d -> Builder) -> (e -> Builder) -> (a, b, c, d, e) -> Builder

-- | Converts a 6-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb6TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d) => (e -> Builder) -> (f -> Builder) -> (a, b, c, d, e, f) -> Builder

-- | Converts a 7-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb7TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e) => (f -> Builder) -> (g -> Builder) -> (a, b, c, d, e, f, g) -> Builder

-- | Converts an 8-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb8TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f) => (g -> Builder) -> (h -> Builder) -> (a, b, c, d, e, f, g, h) -> Builder

-- | Converts a 9-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb9TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g) => (h -> Builder) -> (i -> Builder) -> (a, b, c, d, e, f, g, h, i) -> Builder

-- | Converts a 10-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb10TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h) => (i -> Builder) -> (j -> Builder) -> (a, b, c, d, e, f, g, h, i, j) -> Builder

-- | Converts an 11-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb11TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i) => (j -> Builder) -> (k -> Builder) -> (a, b, c, d, e, f, g, h, i, j, k) -> Builder

-- | Converts a 12-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb12TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j) => (k -> Builder) -> (l -> Builder) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Builder

-- | Converts a 13-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb13TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k) => (l -> Builder) -> (m -> Builder) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Builder

-- | Converts a 14-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb14TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k, TextShow l) => (m -> Builder) -> (n -> Builder) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Builder

-- | Converts a 15-tuple into a Builder with the given show
--   functions.
--   
--   Since: 2
showb15TupleWith2 :: (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k, TextShow l, TextShow m) => (n -> Builder) -> (o -> Builder) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Builder
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0) => TextShow.Classes.TextShow2 ((,,,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0) => TextShow.Classes.TextShow2 ((,,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0) => TextShow.Classes.TextShow2 ((,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0) => TextShow.Classes.TextShow2 ((,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0) => TextShow.Classes.TextShow2 ((,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0) => TextShow.Classes.TextShow2 ((,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0) => TextShow.Classes.TextShow2 ((,,,,,,,,) a0 b0 c0 d0 e0 f0 g0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0) => TextShow.Classes.TextShow2 ((,,,,,,,) a0 b0 c0 d0 e0 f0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0) => TextShow.Classes.TextShow2 ((,,,,,,) a0 b0 c0 d0 e0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0) => TextShow.Classes.TextShow2 ((,,,,,) a0 b0 c0 d0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0) => TextShow.Classes.TextShow2 ((,,,,) a0 b0 c0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0) => TextShow.Classes.TextShow2 ((,,,) a0 b0)
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow2 ((,,) a0)
instance TextShow.Classes.TextShow2 (,)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0, TextShow.Classes.TextShow n0) => TextShow.Classes.TextShow1 ((,,,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0) => TextShow.Classes.TextShow1 ((,,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0) => TextShow.Classes.TextShow1 ((,,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0) => TextShow.Classes.TextShow1 ((,,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0) => TextShow.Classes.TextShow1 ((,,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0 j0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0) => TextShow.Classes.TextShow1 ((,,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0 i0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0) => TextShow.Classes.TextShow1 ((,,,,,,,,) a0 b0 c0 d0 e0 f0 g0 h0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0) => TextShow.Classes.TextShow1 ((,,,,,,,) a0 b0 c0 d0 e0 f0 g0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0) => TextShow.Classes.TextShow1 ((,,,,,,) a0 b0 c0 d0 e0 f0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0) => TextShow.Classes.TextShow1 ((,,,,,) a0 b0 c0 d0 e0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0) => TextShow.Classes.TextShow1 ((,,,,) a0 b0 c0 d0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0) => TextShow.Classes.TextShow1 ((,,,) a0 b0 c0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0) => TextShow.Classes.TextShow1 ((,,) a0 b0)
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow1 ((,) a0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0, TextShow.Classes.TextShow n0, TextShow.Classes.TextShow o0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0, TextShow.Classes.TextShow n0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0, TextShow.Classes.TextShow m0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0, TextShow.Classes.TextShow l0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0, TextShow.Classes.TextShow k0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0, TextShow.Classes.TextShow j0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0, TextShow.Classes.TextShow i0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0, i0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0, TextShow.Classes.TextShow h0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0, h0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0, TextShow.Classes.TextShow g0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0, g0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0, TextShow.Classes.TextShow f0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0, f0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0, TextShow.Classes.TextShow e0) => TextShow.Classes.TextShow (a0, b0, c0, d0, e0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0, TextShow.Classes.TextShow d0) => TextShow.Classes.TextShow (a0, b0, c0, d0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0, TextShow.Classes.TextShow c0) => TextShow.Classes.TextShow (a0, b0, c0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0) => TextShow.Classes.TextShow (a0, b0)
instance TextShow.Classes.TextShow ()

-- | Monomorphic TextShow function for Bool values.
--   
--   Since: 2
module TextShow.Data.Bool

-- | Convert a Bool to a Builder.
--   
--   Since: 2
showbBool :: Bool -> Builder
instance TextShow.Classes.TextShow GHC.Types.Bool

-- | Monomorphic TextShow functions for integral types.
--   
--   Since: 2
module TextShow.Data.Integral

-- | Convert an Int to a Builder with the given precedence.
--   
--   Since: 2
showbIntPrec :: Int -> Int -> Builder

-- | Convert an Int8 to a Builder with the given precedence.
--   
--   Since: 2
showbInt8Prec :: Int -> Int8 -> Builder

-- | Convert an Int16 to a Builder with the given precedence.
--   
--   Since: 2
showbInt16Prec :: Int -> Int16 -> Builder

-- | Convert an Int32 to a Builder with the given precedence.
--   
--   Since: 2
showbInt32Prec :: Int -> Int32 -> Builder

-- | Convert an Int64 to a Builder with the given precedence.
--   
--   Since: 2
showbInt64Prec :: Int -> Int64 -> Builder

-- | Convert an Integer to a Builder with the given
--   precedence.
--   
--   Since: 2
showbIntegerPrec :: Int -> Integer -> Builder

-- | Convert an Integral type to a Builder with the given
--   precedence.
--   
--   Since: 2
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.
--   
--   Since: 2
showbIntAtBase :: (Integral a, TextShow a) => a -> (Int -> Char) -> a -> Builder

-- | Show non-negative Integral numbers in base 2.
--   
--   Since: 2
showbBin :: (Integral a, TextShow a) => a -> Builder

-- | Show non-negative Integral numbers in base 16.
--   
--   Since: 2
showbHex :: (Integral a, TextShow a) => a -> Builder

-- | Show non-negative Integral numbers in base 8.
--   
--   Since: 2
showbOct :: (Integral a, TextShow a) => a -> Builder

-- | Convert a Word to a Builder with the given precedence.
--   
--   Since: 2
showbWord :: Word -> Builder

-- | Convert a Word8 to a Builder with the given precedence.
--   
--   Since: 2
showbWord8 :: Word8 -> Builder

-- | Convert a Word16 to a Builder with the given precedence.
--   
--   Since: 2
showbWord16 :: Word16 -> Builder

-- | Convert a Word32 to a Builder with the given precedence.
--   
--   Since: 2
showbWord32 :: Word32 -> Builder

-- | Convert a Word64 to a Builder with the given precedence.
--   
--   Since: 2
showbWord64 :: Word64 -> Builder
instance TextShow.Classes.TextShow GHC.Types.Int
instance TextShow.Classes.TextShow GHC.Int.Int8
instance TextShow.Classes.TextShow GHC.Int.Int16
instance TextShow.Classes.TextShow GHC.Int.Int32
instance TextShow.Classes.TextShow GHC.Int.Int64
instance TextShow.Classes.TextShow GHC.Integer.Type.Integer
instance TextShow.Classes.TextShow GHC.Types.Word
instance TextShow.Classes.TextShow GHC.Word.Word8
instance TextShow.Classes.TextShow GHC.Word.Word16
instance TextShow.Classes.TextShow GHC.Word.Word32
instance TextShow.Classes.TextShow GHC.Word.Word64

-- | Monomorphic TextShow functions for Char and
--   String.
--   
--   Since: 2
module TextShow.Data.Char

-- | Convert a Char to a Builder (surrounded by single
--   quotes).
--   
--   Since: 2
showbChar :: Char -> Builder

-- | Convert a Char to a Builder (without single quotes).
--   
--   Since: 2
showbLitChar :: Char -> Builder

-- | Convert a String to a Builder (surrounded by double
--   quotes).
--   
--   Since: 2
showbString :: String -> Builder

-- | Convert a String to a Builder (without double quotes).
--   
--   Since: 2
showbLitString :: String -> Builder

-- | Convert a GeneralCategory to a Builder.
--   
--   Since: 2
showbGeneralCategory :: GeneralCategory -> Builder

-- | A table of ASCII control characters that needs to be escaped with a
--   backslash.
--   
--   Since: 2
asciiTabB :: Array Int Builder
instance TextShow.Classes.TextShow Data.Char.GeneralCategory
instance TextShow.Classes.TextShow GHC.Types.Char

-- | Exports showbListWith.
module TextShow.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. The function argument controls how each element is shown.
showbListWith :: (a -> Builder) -> [a] -> Builder
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow [a]
instance TextShow.Classes.TextShow1 []

-- | Monomorphic TextShow functions for Const and
--   ZipList.
--   
--   Since: 2
module TextShow.Control.Applicative

-- | Convert a Const value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbConstPrecWith :: (Int -> a -> Builder) -> Int -> Const a b -> Builder

-- | Convert a ZipList to a Builder with the given show
--   function precedence.
--   
--   Since: 2
showbZipListPrecWith :: (Int -> a -> Builder) -> Int -> ZipList a -> Builder
instance TextShow.Classes.TextShow1 Control.Applicative.ZipList
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Control.Applicative.ZipList a0)
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Control.Applicative.Const a b)
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow1 (Control.Applicative.Const a)
instance TextShow.Classes.TextShow2 Control.Applicative.Const

-- | Monomorphic TextShow function for Array values.
--   
--   Since: 2
module TextShow.Data.Array

-- | Convert an Array value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbArrayPrec :: (TextShow i, TextShow e, Ix i) => Int -> Array i e -> Builder

-- | Convert a UArray value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbUArrayPrec :: (IArray UArray e, Ix i, TextShow i, TextShow e) => Int -> UArray i e -> Builder

-- | Convert an IArray instance to a Builder with the given
--   precedence.
--   
--   Since: 2
showbIArrayPrec :: (IArray a e, Ix i, TextShow i, TextShow e) => Int -> a i e -> Builder
instance (TextShow.Classes.TextShow i, TextShow.Classes.TextShow e, GHC.Arr.Ix i) => TextShow.Classes.TextShow (GHC.Arr.Array i e)
instance (Data.Array.Base.IArray Data.Array.Base.UArray e, GHC.Arr.Ix i, TextShow.Classes.TextShow i, TextShow.Classes.TextShow e) => TextShow.Classes.TextShow (Data.Array.Base.UArray i e)

-- | Monomorphic TextShow functions for data types in the
--   bytestring library.
--   
--   Since: 2
module TextShow.Data.ByteString

-- | Convert a strict ByteString to a Builder.
--   
--   Since: 2
showbByteStringStrict :: ByteString -> Builder

-- | Convert a lazy ByteString to a Builder.
--   
--   Since: 2
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.
--   
--   Since: 2
showbByteStringLazyPrec :: Int -> ByteString -> Builder

-- | Convert a ShortByteString to a Builder.
--   
--   Since: 2
showbShortByteString :: ShortByteString -> Builder
instance TextShow.Classes.TextShow Data.ByteString.Internal.ByteString
instance TextShow.Classes.TextShow Data.ByteString.Lazy.Internal.ByteString
instance TextShow.Classes.TextShow Data.ByteString.Short.Internal.ShortByteString

-- | Monomorphic TextShow functions for floating-point types.
--   
--   Since: 2
module TextShow.Data.Floating

-- | Convert a RealFloat value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbRealFloatPrec :: RealFloat a => Int -> a -> Builder

-- | Convert a Float to a Builder with the given precedence.
--   
--   Since: 2
showbFloatPrec :: Int -> Float -> Builder

-- | Convert a Double to a Builder with the given precedence.
--   
--   Since: 2
showbDoublePrec :: Int -> Double -> 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.
--   
--   Since: 2
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.
--   
--   Since: 2
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.
--   
--   Since: 2
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.
--   
--   Since: 2
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.
--   
--   Since: 2
showbGFloatAlt :: RealFloat a => Maybe Int -> a -> Builder

-- | Convert an FPFormat value to a Builder.
--   
--   Since: 2
showbFPFormat :: FPFormat -> Builder

-- | Control the rendering of floating point numbers.
data FPFormat :: *

-- | Scientific notation (e.g. 2.3e123).
Exponent :: FPFormat

-- | Standard decimal notation.
Fixed :: FPFormat

-- | Use decimal notation for values between 0.1 and
--   9,999,999, and scientific notation otherwise.
Generic :: FPFormat

-- | Like formatRealFloatAltB, except that the decimal is only shown
--   for arguments whose absolute value is between 0.1 and
--   9,999,999.
--   
--   Since: 2
formatRealFloatB :: RealFloat a => FPFormat -> Maybe Int -> a -> Builder

-- | Converts a RealFloat value to a Builder, specifying if a
--   decimal point should always be shown.
--   
--   Since: 2
formatRealFloatAltB :: RealFloat a => FPFormat -> Maybe Int -> Bool -> a -> Builder
instance TextShow.Classes.TextShow Data.Text.Lazy.Builder.RealFloat.FPFormat
instance TextShow.Classes.TextShow GHC.Types.Float
instance TextShow.Classes.TextShow GHC.Types.Double

-- | Monomorphic TextShow functions for Haskell newtypes
--   corresponding to C types in the Foreign Function Interface (FFI).
--   
--   Since: 2
module TextShow.Foreign.C.Types

-- | Convert a CChar to a Builder with the given precedence.
--   
--   Since: 2
showbCCharPrec :: Int -> CChar -> Builder

-- | Convert a CSChar to a Builder with the given precedence.
--   
--   Since: 2
showbCSCharPrec :: Int -> CSChar -> Builder

-- | Convert a CUChar to a Builder.
--   
--   Since: 2
showbCUChar :: CUChar -> Builder

-- | Convert a CShort to a Builder with the given precedence.
--   
--   Since: 2
showbCShortPrec :: Int -> CShort -> Builder

-- | Convert a CUShort to a Builder.
--   
--   Since: 2
showbCUShort :: CUShort -> Builder

-- | Convert a CInt to a Builder with the given precedence.
--   
--   Since: 2
showbCIntPrec :: Int -> CInt -> Builder

-- | Convert a CUInt to a Builder.
--   
--   Since: 2
showbCUInt :: CUInt -> Builder

-- | Convert a CLong to a Builder with the given precedence.
--   
--   Since: 2
showbCLongPrec :: Int -> CLong -> Builder

-- | Convert a CULong to a Builder.
--   
--   Since: 2
showbCULong :: CULong -> Builder

-- | Convert a CPtrdiff to a Builder with the given
--   precedence.
--   
--   Since: 2
showbCPtrdiffPrec :: Int -> CPtrdiff -> Builder

-- | Convert a CSize to a Builder.
--   
--   Since: 2
showbCSize :: CSize -> Builder

-- | Convert a CWchar to a Builder with the given precedence.
--   
--   Since: 2
showbCWcharPrec :: Int -> CWchar -> Builder

-- | Convert a CSigAtomic to a Builder with the given
--   precedence.
--   
--   Since: 2
showbCSigAtomicPrec :: Int -> CSigAtomic -> Builder

-- | Convert a CLLong to a Builder with the given precedence.
--   
--   Since: 2
showbCLLongPrec :: Int -> CLLong -> Builder

-- | Convert a CULLong to a Builder.
--   
--   Since: 2
showbCULLong :: CULLong -> Builder

-- | Convert a CIntPtr to a Builder with the given
--   precedence.
--   
--   Since: 2
showbCIntPtrPrec :: Int -> CIntPtr -> Builder

-- | Convert a CUIntPtr to a Builder.
--   
--   Since: 2
showbCUIntPtr :: CUIntPtr -> Builder

-- | Convert a CIntMax to a Builder with the given
--   precedence.
--   
--   Since: 2
showbCIntMaxPrec :: Int -> CIntMax -> Builder

-- | Convert a CUIntMax to a Builder.
--   
--   Since: 2
showbCUIntMax :: CUIntMax -> Builder

-- | Convert a CClock to a Builder with the given precedence.
--   
--   Since: 2
showbCClockPrec :: Int -> CClock -> Builder

-- | Convert a CTime to a Builder with the given precedence.
--   
--   Since: 2
showbCTimePrec :: Int -> CTime -> Builder

-- | Convert a CUSeconds value to a Builder. This function is
--   only available with base-4.4.0.0 or later.
--   
--   Since: 2
showbCUSeconds :: CUSeconds -> Builder

-- | Convert a CSUSeconds value to a Builder with the given
--   precedence. This function is only available with base-4.4.0.0
--   or later.
--   
--   Since: 2
showbCSUSecondsPrec :: Int -> CSUSeconds -> Builder

-- | Convert a CFloat to a Builder with the given precedence.
--   
--   Since: 2
showbCFloatPrec :: Int -> CFloat -> Builder

-- | Convert a CDouble to a Builder with the given
--   precedence.
--   
--   Since: 2
showbCDoublePrec :: Int -> CDouble -> Builder
instance TextShow.Classes.TextShow Foreign.C.Types.CChar
instance TextShow.Classes.TextShow Foreign.C.Types.CSChar
instance TextShow.Classes.TextShow Foreign.C.Types.CUChar
instance TextShow.Classes.TextShow Foreign.C.Types.CShort
instance TextShow.Classes.TextShow Foreign.C.Types.CUShort
instance TextShow.Classes.TextShow Foreign.C.Types.CInt
instance TextShow.Classes.TextShow Foreign.C.Types.CUInt
instance TextShow.Classes.TextShow Foreign.C.Types.CLong
instance TextShow.Classes.TextShow Foreign.C.Types.CULong
instance TextShow.Classes.TextShow Foreign.C.Types.CPtrdiff
instance TextShow.Classes.TextShow Foreign.C.Types.CSize
instance TextShow.Classes.TextShow Foreign.C.Types.CWchar
instance TextShow.Classes.TextShow Foreign.C.Types.CSigAtomic
instance TextShow.Classes.TextShow Foreign.C.Types.CLLong
instance TextShow.Classes.TextShow Foreign.C.Types.CULLong
instance TextShow.Classes.TextShow Foreign.C.Types.CIntPtr
instance TextShow.Classes.TextShow Foreign.C.Types.CUIntPtr
instance TextShow.Classes.TextShow Foreign.C.Types.CIntMax
instance TextShow.Classes.TextShow Foreign.C.Types.CUIntMax
instance TextShow.Classes.TextShow Foreign.C.Types.CClock
instance TextShow.Classes.TextShow Foreign.C.Types.CTime
instance TextShow.Classes.TextShow Foreign.C.Types.CUSeconds
instance TextShow.Classes.TextShow Foreign.C.Types.CSUSeconds
instance TextShow.Classes.TextShow Foreign.C.Types.CFloat
instance TextShow.Classes.TextShow Foreign.C.Types.CDouble

-- | Monomorphic TextShow functions for concurrency-related data
--   types.
--   
--   Since: 2
module TextShow.Control.Concurrent

-- | Convert a ThreadId to a Builder with the given
--   precedence.
--   
--   Since: 2
showbThreadIdPrec :: Int -> ThreadId -> Builder

-- | Convert a ThreadStatus to a Builder with the given
--   precedence.
--   
--   Since: 2
showbThreadStatusPrec :: Int -> ThreadStatus -> Builder

-- | Convert a BlockReason to a Builder.
--   
--   Since: 2
showbBlockReason :: BlockReason -> Builder
instance TextShow.Classes.TextShow GHC.Conc.Sync.BlockReason
instance TextShow.Classes.TextShow GHC.Conc.Sync.ThreadStatus
instance TextShow.Classes.TextShow GHC.Conc.Sync.ThreadId

-- | Monomorphic TextShow function for Ratio values.
--   
--   Due to use of the DatatypeContexts extension, there is no
--   TextShow1 Complex instance on base-4.3.0.0.
--   
--   Since: 2
module TextShow.Data.Complex

-- | Convert a Complex value to a Builder with the given
--   precedence.
--   
--   Note that on base-4.3.0.0, this function must have a
--   (TextShow a, RealFloat a) constraint instead of
--   just a (TextShow a) constraint.
--   
--   Since: 2
showbComplexPrec :: TextShow a => Int -> Complex a -> Builder
instance TextShow.Classes.TextShow1 Data.Complex.Complex
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Complex.Complex a)

-- | Monomorphic TextShow function for Ratio values.
--   
--   Since: 2
module TextShow.Data.Ratio

-- | Convert a Ratio to a Builder with the given precedence.
--   
--   Note that on base-4.3.0.0, this function must have a
--   (Show a, Integral a) constraint instead of just
--   a (Show a) constraint.
--   
--   Since: 2
showbRatioPrec :: TextShow a => Int -> Ratio a -> Builder
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (GHC.Real.Ratio a)
instance TextShow.Classes.TextShow1 GHC.Real.Ratio

-- | Monomorphic TextShow functions for data types in the
--   Data.Data module.
--   
--   Since: 2
module TextShow.Data.Data

-- | Convert a Constr to a Builder.
--   
--   Since: 2
showbConstr :: Constr -> Builder

-- | Convert a ConstrRep to a Builder with the given
--   precedence.
--   
--   Since: 2
showbConstrRepPrec :: Int -> ConstrRep -> Builder

-- | Convert a DataRep to a Builder with the given
--   precedence.
--   
--   Since: 2
showbDataRepPrec :: Int -> DataRep -> Builder

-- | Convert a DataType to a Builder with the given
--   precedence.
--   
--   Since: 2
showbDataTypePrec :: Int -> DataType -> Builder

-- | Convert a Fixity value to a Builder.
--   
--   Since: 2
showbFixity :: Fixity -> Builder
instance TextShow.Classes.TextShow Data.Data.Fixity
instance TextShow.Classes.TextShow Data.Data.Constr
instance TextShow.Classes.TextShow Data.Data.ConstrRep
instance TextShow.Classes.TextShow Data.Data.DataRep
instance TextShow.Classes.TextShow Data.Data.DataType

-- | Monomorphic TextShow function for Either values.
--   
--   Since: 2
module TextShow.Data.Either

-- | Convert a Either value to a Builder with the given show
--   functions and precedence.
--   
--   Since: 2
showbEitherPrecWith2 :: (Int -> a -> Builder) -> (Int -> b -> Builder) -> Int -> Either a b -> Builder
instance TextShow.Classes.TextShow2 Data.Either.Either
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow1 (Data.Either.Either a0)
instance (TextShow.Classes.TextShow a0, TextShow.Classes.TextShow b0) => TextShow.Classes.TextShow (Data.Either.Either a0 b0)

-- | Monomorphic Show function for Fixed values.
--   
--   Since: 2
module TextShow.Data.Fixed

-- | Convert a Fixed value to a Builder, where the first
--   argument indicates whether to chop off trailing zeroes.
--   
--   Since: 2
showbFixed :: HasResolution a => Bool -> Fixed a -> Builder
instance Data.Fixed.HasResolution a => TextShow.Classes.TextShow (Data.Fixed.Fixed a)

-- | Monomorphic TextShow function for Identity values.
--   
--   Since: 2
module TextShow.Data.Functor.Identity

-- | Convert an Identity value to a Builder with the given
--   show function and precedence.
--   
--   Since: 2
showbIdentityPrecWith :: (Int -> a -> Builder) -> Int -> Identity a -> Builder
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Functor.Identity.Identity a)
instance TextShow.Classes.TextShow1 Data.Functor.Identity.Identity

-- | Monomorphic TextShow function for Maybe values.
--   
--   Since: 2
module TextShow.Data.Maybe

-- | Convert a Maybe value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbMaybePrecWith :: (Int -> a -> Builder) -> Int -> Maybe a -> Builder
instance TextShow.Classes.TextShow1 GHC.Base.Maybe
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (GHC.Base.Maybe a0)

-- | Monomorphic Show functions for Monoid-related newtypes.
--   
--   Since: 2
module TextShow.Data.Monoid

-- | Convert an All value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbAllPrec :: Int -> All -> Builder

-- | Convert an Any value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbAnyPrec :: Int -> Any -> Builder

-- | Convert a Dual value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbDualPrecWith :: (Int -> a -> Builder) -> Int -> Dual a -> Builder

-- | Convert a First value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbFirstPrecWith :: (Int -> a -> Builder) -> Int -> First a -> Builder

-- | Convert a Last value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbLastPrecWith :: (Int -> a -> Builder) -> Int -> Last a -> Builder

-- | Convert a Product value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbProductPrecWith :: (Int -> a -> Builder) -> Int -> Product a -> Builder

-- | Convert a Sum value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbSumPrecWith :: (Int -> a -> Builder) -> Int -> Sum a -> Builder

-- | Convert an Alt value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbAltPrec :: TextShow (f a) => Int -> Alt f a -> Builder

-- | Convert an Alt value to a Builder with the given show
--   function and precedence. This function is only available with
--   base-4.8.0.0 or later.
--   
--   Since: 2
showbAltPrecWith :: TextShow1 f => (Int -> a -> Builder) -> Int -> Alt f a -> Builder
instance TextShow.Classes.TextShow1 f0 => TextShow.Classes.TextShow1 (Data.Monoid.Alt f0)
instance TextShow.Classes.TextShow1 Data.Monoid.Sum
instance TextShow.Classes.TextShow (f a) => TextShow.Classes.TextShow (Data.Monoid.Alt f a)
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Monoid.Sum a0)
instance TextShow.Classes.TextShow1 Data.Monoid.Product
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Monoid.Product a0)
instance TextShow.Classes.TextShow1 Data.Monoid.Last
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Monoid.Last a0)
instance TextShow.Classes.TextShow1 Data.Monoid.First
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Monoid.First a0)
instance TextShow.Classes.TextShow1 Data.Monoid.Dual
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Monoid.Dual a0)
instance TextShow.Classes.TextShow Data.Monoid.Any
instance TextShow.Classes.TextShow Data.Monoid.All

-- | Monomorphic TextShow functions for Ordering and
--   Down.
--   
--   Since: 2
module TextShow.Data.Ord

-- | Convert a Ordering to a Builder.
--   
--   Since: 2
showbOrdering :: Ordering -> Builder

-- | Convert a Down value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbDownPrecWith :: (Int -> a -> Builder) -> Int -> Down a -> Builder
instance TextShow.Classes.TextShow1 Data.Ord.Down
instance TextShow.Classes.TextShow a0 => TextShow.Classes.TextShow (Data.Ord.Down a0)
instance TextShow.Classes.TextShow GHC.Types.Ordering

-- | Monomorphic TextShow function for Proxy values.
--   
--   Since: 2
module TextShow.Data.Proxy

-- | Convert a Proxy type to a Builder.
--   
--   Since: 2
showbProxy :: Proxy s -> Builder
instance TextShow.Classes.TextShow1 Data.Proxy.Proxy
instance forall (k :: BOX) (s :: k). TextShow.Classes.TextShow (Data.Proxy.Proxy s)

-- | Monomorphic TextShow functions for Text types.
--   
--   Since: 2
module TextShow.Data.Text

-- | Convert a strict Text to a Builder. showbText
--   should not be confused with fromText, as showbText
--   escapes certain characters (such as double quotes).
--   
--   Since: 2
showbText :: Text -> Builder

-- | Convert a lazy Text to a Builder. showbTextLazy
--   should not be confused with fromTextLazy, as
--   showbTextLazy escapes certain characters (such as double
--   quotes).
--   
--   Since: 2
showbTextLazy :: Text -> Builder

-- | Show a Builder as if it were a String (i.e., escape
--   certain characters, such as double quotes).
--   
--   Since: 2
showbBuilder :: Builder -> Builder

-- | Convert an I16 value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbI16Prec :: Int -> I16 -> Builder

-- | Convert a UnicodeException to a Builder.
--   
--   Since: 2
showbUnicodeException :: UnicodeException -> Builder

-- | Convert a Decoding value to a Builder with the given
--   precedence. This function is only available with text-1.0.0.0
--   or later.
--   
--   Since: 2
showbDecodingPrec :: Int -> Decoding -> Builder

-- | Convert a Size value to a Builder with the given
--   precedence. This function is only available with text-1.1.0.0
--   or later.
--   
--   Since: 2
showbSizePrec :: Int -> Size -> Builder
instance TextShow.Classes.TextShow Data.Text.Internal.Fusion.Size.Size
instance TextShow.Classes.TextShow Data.Text.Foreign.I16
instance TextShow.Classes.TextShow Data.Text.Encoding.Error.UnicodeException
instance TextShow.Classes.TextShow Data.Text.Encoding.Decoding
instance TextShow.Classes.TextShow Data.Text.Internal.Text
instance TextShow.Classes.TextShow Data.Text.Internal.Lazy.Text
instance TextShow.Classes.TextShow Data.Text.Internal.Builder.Builder

-- | Monomorphic TextShow functions for data types in the
--   Typeable module.
--   
--   Since: 2
module TextShow.Data.Typeable

-- | Convert a TyCon to a Builder.
--   
--   Since: 2
showbTyCon :: TyCon -> Builder

-- | Convert a TypeRep to a Builder with the given
--   precedence.
--   
--   Since: 2
showbTypeRepPrec :: Int -> TypeRep -> Builder
instance TextShow.Classes.TextShow Data.Typeable.Internal.TypeRep
instance TextShow.Classes.TextShow Data.Typeable.Internal.TyCon

-- | Monomorphic TextShow function for Dynamic.
--   
--   Since: 2
module TextShow.Data.Dynamic

-- | Convert a Dynamic value to a Builder.
--   
--   Since: 2
showbDynamic :: Dynamic -> Builder
instance TextShow.Classes.TextShow Data.Dynamic.Dynamic

-- | Monomorphic TextShow functions for Version.
--   
--   Since: 2
module TextShow.Data.Version

-- | Convert a Version to a Builder with the given
--   precedence.
--   
--   Since: 2
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.
--   
--   Since: 2
showbVersionConcrete :: Version -> Builder
instance TextShow.Classes.TextShow Data.Version.Version

-- | Monomorphic TextShow function for Void values.
--   
--   Since: 2
module TextShow.Data.Void

-- | Since Void values logically don't exist, attempting to convert
--   one to a Builder will never terminate.
--   
--   Since: 2
showbVoid :: Void -> Builder
instance TextShow.Classes.TextShow Data.Void.Void

-- | Monomorphic TextShow functions for pointer types used in the
--   Haskell Foreign Function Interface (FFI).
--   
--   Since: 2
module TextShow.Foreign.Ptr

-- | Convert a Ptr to a Builder. Note that this does not
--   require the parameterized type to be an instance of Show
--   itself.
--   
--   Since: 2
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.
--   
--   Since: 2
showbFunPtr :: FunPtr a -> Builder

-- | Convert an IntPtr to a Builder with the given
--   precedence.
--   
--   Since: 2
showbIntPtrPrec :: Int -> IntPtr -> Builder

-- | Convert a WordPtr to a Builder.
--   
--   Since: 2
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.
--   
--   Since: 2
showbForeignPtr :: ForeignPtr a -> Builder
instance TextShow.Classes.TextShow (GHC.Ptr.Ptr a)
instance TextShow.Classes.TextShow1 GHC.Ptr.Ptr
instance TextShow.Classes.TextShow (GHC.Ptr.FunPtr a)
instance TextShow.Classes.TextShow1 GHC.Ptr.FunPtr
instance TextShow.Classes.TextShow Foreign.Ptr.IntPtr
instance TextShow.Classes.TextShow Foreign.Ptr.WordPtr
instance TextShow.Classes.TextShow (GHC.ForeignPtr.ForeignPtr a)
instance TextShow.Classes.TextShow1 GHC.ForeignPtr.ForeignPtr

-- | Optional TextShow, TextShow1, and TextShow2
--   instances for functions.
--   
--   Since: 2
module TextShow.Functions

-- | Convert a function to a Builder.
--   
--   Since: 2
showbFunction :: (a -> b) -> Builder
instance TextShow.Classes.TextShow (a -> b)
instance TextShow.Classes.TextShow1 ((->) a)
instance TextShow.Classes.TextShow2 (->)

-- | Monomorphic TextShow functions for generics-related data types.
--   
--   Since: 2
module TextShow.GHC.Generics

-- | Convert a U1 value to a Builder.
--   
--   Since: 2
showbU1 :: U1 p -> Builder

-- | Convert a Par1 value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbPar1PrecWith :: (Int -> p -> Builder) -> Int -> Par1 p -> Builder

-- | Convert a Rec1 value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbRec1Prec :: TextShow (f p) => Int -> Rec1 f p -> Builder

-- | Convert a Rec1 value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbRec1PrecWith :: TextShow1 f => (Int -> p -> Builder) -> Int -> Rec1 f p -> Builder

-- | Convert a K1 value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbK1PrecWith :: (Int -> c -> Builder) -> Int -> K1 i c p -> Builder

-- | Convert an M1 value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbM1Prec :: TextShow (f p) => Int -> M1 i c f p -> Builder

-- | Convert an M1 value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbM1PrecWith :: TextShow1 f => (Int -> p -> Builder) -> Int -> M1 i c f p -> Builder

-- | Convert a '(:+:)' value to a Builder with the given precedence.
--   
--   Since: 2
showbSumTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :+: g) p -> Builder

-- | Convert a '(:+:)' value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbSumTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :+: g) p -> Builder

-- | Convert a '(:*:)' value to a Builder with the given precedence.
--   
--   Since: 2
showbProductTypePrec :: (TextShow (f p), TextShow (g p)) => Int -> (f :*: g) p -> Builder

-- | Convert a '(:*:)' value to a Builder with the given show
--   function and precedence.
--   
--   Since: 2
showbProductTypePrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :*: g) p -> Builder

-- | Convert a '(:.:)' value to a Builder with the given precedence.
--   
--   Since: 2
showbCompFunctorsPrec :: TextShow (f (g p)) => Int -> (f :.: g) p -> Builder

-- | Convert a '(:.:)' value to a Builder with the given show
--   function and precedence. This function is only available with
--   base-4.4.0.0 or later.
--   
--   Since: 2
showbCompFunctorsPrecWith :: (TextShow1 f, TextShow1 g) => (Int -> p -> Builder) -> Int -> (f :.: g) p -> Builder

-- | Convert a Fixity value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbFixityPrec :: Int -> Fixity -> Builder

-- | Convert an Associativity value to a Builder. This
--   function is only available with base-4.4.0.0 or later.
--   
--   Since: 2
showbAssociativity :: Associativity -> Builder

-- | Convert an Arity value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbArityPrec :: Int -> Arity -> Builder
instance TextShow.Classes.TextShow GHC.Generics.Arity
instance TextShow.Classes.TextShow GHC.Generics.Associativity
instance TextShow.Classes.TextShow GHC.Generics.Fixity
instance (TextShow.Classes.TextShow1 f0, TextShow.Classes.TextShow1 g0) => TextShow.Classes.TextShow1 (f0 GHC.Generics.:.: g0)
instance (TextShow.Classes.TextShow1 f0, TextShow.Classes.TextShow1 g0) => TextShow.Classes.TextShow1 (f0 GHC.Generics.:*: g0)
instance TextShow.Classes.TextShow (f (g p)) => TextShow.Classes.TextShow ((GHC.Generics.:.:) f g p)
instance (TextShow.Classes.TextShow1 f0, TextShow.Classes.TextShow1 g0) => TextShow.Classes.TextShow1 (f0 GHC.Generics.:+: g0)
instance (TextShow.Classes.TextShow (f p), TextShow.Classes.TextShow (g p)) => TextShow.Classes.TextShow ((GHC.Generics.:*:) f g p)
instance TextShow.Classes.TextShow1 f0 => TextShow.Classes.TextShow1 (GHC.Generics.Rec1 f0)
instance TextShow.Classes.TextShow c => TextShow.Classes.TextShow (GHC.Generics.K1 i c p)
instance TextShow.Classes.TextShow c => TextShow.Classes.TextShow1 (GHC.Generics.K1 i c)
instance TextShow.Classes.TextShow2 (GHC.Generics.K1 i)
instance TextShow.Classes.TextShow (f p) => TextShow.Classes.TextShow (GHC.Generics.M1 i c f p)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow1 (GHC.Generics.M1 i c f)
instance (TextShow.Classes.TextShow (f p), TextShow.Classes.TextShow (g p)) => TextShow.Classes.TextShow ((GHC.Generics.:+:) f g p)
instance TextShow.Classes.TextShow1 GHC.Generics.Par1
instance TextShow.Classes.TextShow (f p) => TextShow.Classes.TextShow (GHC.Generics.Rec1 f p)
instance TextShow.Classes.TextShow p0 => TextShow.Classes.TextShow (GHC.Generics.Par1 p0)
instance TextShow.Classes.TextShow1 GHC.Generics.U1
instance TextShow.Classes.TextShow (GHC.Generics.U1 p)

-- | Monomorphic TextShow function for Naturals.
--   
--   Since: 2
module TextShow.Numeric.Natural

-- | Convert a Natural to a Builder with the given
--   precedence.
--   
--   Since: 2
showbNaturalPrec :: Int -> Natural -> Builder
instance TextShow.Classes.TextShow GHC.Natural.Natural

-- | Monomorphic TextShow function for ExitCode.
--   
--   Since: 2
module TextShow.System.Exit

-- | Convert an ExitCode to a Builder with the given
--   precedence.
--   
--   Since: 2
showbExitCodePrec :: Int -> ExitCode -> Builder
instance TextShow.Classes.TextShow GHC.IO.Exception.ExitCode

-- | Monomorphic TextShow function for IO-related data types.
--   
--   Since: 2
module TextShow.System.IO

-- | Convert a Handle to a Builder.
--   
--   Since: 2
showbHandle :: Handle -> Builder

-- | Convert an IOMode to a Builder.
--   
--   Since: 2
showbIOMode :: IOMode -> Builder

-- | Convert a BufferMode to a Builder with the given
--   precedence.
--   
--   Since: 2
showbBufferModePrec :: Int -> BufferMode -> Builder

-- | Convert a HandlePosn to a Builder.
--   
--   Since: 2
showbHandlePosn :: HandlePosn -> Builder

-- | Convert a SeekMode to a Builder.
--   
--   Since: 2
showbSeekMode :: SeekMode -> Builder

-- | Convert a TextEncoding to a Builder.
--   
--   Since: 2
showbTextEncoding :: TextEncoding -> Builder

-- | Convert a CodingProgress to a Builder. This function is
--   only available with base-4.4.0.0 or later.
--   
--   Since: 2
showbCodingProgress :: CodingProgress -> Builder

-- | Convert a CodingFailureMode value to a Builder. This
--   function is only available with base-4.4.0.0 or later.
--   
--   Since: 2
showbCodingFailureMode :: CodingFailureMode -> Builder

-- | Convert a Newline to a Builder.
--   
--   Since: 2
showbNewline :: Newline -> Builder

-- | Convert a NewlineMode to a Builder with the given
--   precedence.
--   
--   Since: 2
showbNewlineModePrec :: Int -> NewlineMode -> Builder
instance TextShow.Classes.TextShow GHC.IO.Handle.Types.NewlineMode
instance TextShow.Classes.TextShow GHC.IO.Handle.Types.Newline
instance TextShow.Classes.TextShow GHC.IO.Encoding.Failure.CodingFailureMode
instance TextShow.Classes.TextShow GHC.IO.Encoding.Types.CodingProgress
instance TextShow.Classes.TextShow GHC.IO.Device.SeekMode
instance TextShow.Classes.TextShow GHC.IO.Encoding.Types.TextEncoding
instance TextShow.Classes.TextShow GHC.IO.Handle.Types.BufferMode
instance TextShow.Classes.TextShow GHC.IO.Handle.HandlePosn
instance TextShow.Classes.TextShow GHC.IO.IOMode.IOMode
instance TextShow.Classes.TextShow GHC.IO.Handle.Types.Handle

-- | Monomorphic TextShow functions for Haskell equivalents of POSIX
--   data types. Note that these functions are only available if the
--   operating system supports them, so some OSes (e.g., Windows) will not
--   be able to use all of the functions in this module.
--   
--   Since: 2
module TextShow.System.Posix.Types

-- | Convert an Fd to a Builder with the given precedence.
--   
--   Since: 2
showbFdPrec :: Int -> Fd -> Builder

-- | Convert a CDev to a Builder.
--   
--   Since: 2
showbCDev :: CDev -> Builder

-- | Convert a CIno to a Builder.
--   
--   Since: 2
showbCIno :: CIno -> Builder

-- | Convert a CMode to a Builder.
--   
--   Since: 2
showbCMode :: CMode -> Builder

-- | Convert a COff to a Builder with the given precedence.
--   
--   Since: 2
showbCOffPrec :: Int -> COff -> Builder

-- | Convert a CPid to a Builder with the given precedence.
--   
--   Since: 2
showbCPidPrec :: Int -> CPid -> Builder

-- | Convert a CSsize to a Builder with the given precedence.
--   
--   Since: 2
showbCSsizePrec :: Int -> CSsize -> Builder

-- | Convert a CGid to a Builder.
--   
--   Since: 2
showbCGid :: CGid -> Builder

-- | Convert a CNlink to a Builder.
--   
--   Since: 2
showbCNlink :: CNlink -> Builder

-- | Convert a CUid to a Builder.
--   
--   Since: 2
showbCUid :: CUid -> Builder

-- | Convert a CCc to a Builder.
--   
--   Since: 2
showbCCc :: CCc -> Builder

-- | Convert a CSpeed to a Builder.
--   
--   Since: 2
showbCSpeed :: CSpeed -> Builder

-- | Convert a CTcflag to a Builder.
--   
--   Since: 2
showbCTcflag :: CTcflag -> Builder

-- | Convert a CRLim to a Builder.
--   
--   Since: 2
showbCRLim :: CRLim -> Builder
instance TextShow.Classes.TextShow System.Posix.Types.CDev
instance TextShow.Classes.TextShow System.Posix.Types.CIno
instance TextShow.Classes.TextShow System.Posix.Types.CMode
instance TextShow.Classes.TextShow System.Posix.Types.COff
instance TextShow.Classes.TextShow System.Posix.Types.CPid
instance TextShow.Classes.TextShow System.Posix.Types.CSsize
instance TextShow.Classes.TextShow System.Posix.Types.CGid
instance TextShow.Classes.TextShow System.Posix.Types.CNlink
instance TextShow.Classes.TextShow System.Posix.Types.CUid
instance TextShow.Classes.TextShow System.Posix.Types.CCc
instance TextShow.Classes.TextShow System.Posix.Types.CSpeed
instance TextShow.Classes.TextShow System.Posix.Types.CTcflag
instance TextShow.Classes.TextShow System.Posix.Types.CRLim
instance TextShow.Classes.TextShow System.Posix.Types.Fd

-- | Monomorphic TextShow function for Lexeme (and
--   Number, if using a recent-enough version of base).
--   
--   Since: 2
module TextShow.Text.Read

-- | Convert a Lexeme to a Builder with the given precedence.
--   
--   Since: 2
showbLexemePrec :: Int -> Lexeme -> Builder

-- | Convert a Number to a Builder with the given precedence.
--   This function is only available with base-4.7.0.0 or later.
--   
--   Since: 2
showbNumberPrec :: Int -> Number -> Builder
instance TextShow.Classes.TextShow Text.Read.Lex.Number
instance TextShow.Classes.TextShow Text.Read.Lex.Lexeme

-- | Monomorphic TextShow function for Fingerprint values.
--   This module only exports functions if using base-4.4.0.0 or
--   later.
--   
--   Since: 2
module TextShow.GHC.Fingerprint

-- | Convert a Fingerprint to a Builder. This function is
--   only available with base-4.4.0.0 or later.
--   
--   Since: 2
showbFingerprint :: Fingerprint -> Builder
instance TextShow.Classes.TextShow GHC.Fingerprint.Type.Fingerprint

-- | Monomorphic TextShow functions for data types in the
--   Event module. This module only exports functions if using
--   base-4.4.0.0 on a platform other than Windows or GHCJS.
--   
--   Since: 2
module TextShow.GHC.Event

-- | Convert an Event to a Builder. This function is only
--   available with base-4.4.0.0 or later and is not available on
--   Windows.
--   
--   Since: 2
showbEvent :: Event -> Builder

-- | Convert an FdKey to a Builder with the given precedence.
--   This function is only available with base-4.4.0.0 or later
--   and is not available on Windows.
--   
--   Since: 2
showbFdKeyPrec :: Int -> FdKey -> Builder

-- | Convert a Lifetime to a Builder. This function is only
--   available with base-4.8.1.0 or later and is not available on
--   Windows.
--   
--   Since: 2
showbLifetime :: Lifetime -> Builder
instance TextShow.Classes.TextShow GHC.Event.Internal.Lifetime
instance TextShow.Classes.TextShow GHC.Event.Manager.FdKey
instance TextShow.Classes.TextShow GHC.Event.Unique.Unique
instance TextShow.Classes.TextShow GHC.Event.Internal.Event

-- | Monomorphic TextShow function for GCStats. This module
--   only exports functions if using base-4.5.0.0 or later.
--   
--   Since: 2
module TextShow.GHC.Stats

-- | Convert a GCStats value to a Builder with the given
--   precedence. This function is only available with base-4.5.0.0
--   or later.
--   
--   Since: 2
showbGCStatsPrec :: Int -> GCStats -> Builder
instance TextShow.Classes.TextShow GHC.Stats.GCStats

-- | Monomorphic TextShow functions for data types in the
--   GHC.TypeLits module. This module only exports functions if
--   using base-4.6.0.0 or later.
--   
--   Since: 2
module TextShow.GHC.TypeLits

-- | Convert a SomeNat value to a Builder with the given
--   precedence. This function is only available with base-4.7.0.0
--   or later.
--   
--   Since: 2
showbSomeNatPrec :: Int -> SomeNat -> Builder

-- | Convert a SomeSymbol value to a Builder with the given
--   precedence. This function is only available with base-4.7.0.0
--   or later.
--   
--   Since: 2
showbSomeSymbol :: SomeSymbol -> Builder
instance TextShow.Classes.TextShow GHC.TypeLits.SomeNat
instance TextShow.Classes.TextShow GHC.TypeLits.SomeSymbol

-- | Monomorphic TextShow function for representational equality.
--   This module only exports functions if using base-4.7.0.0 or
--   later.
--   
--   Since: 2
module TextShow.Data.Type.Coercion

-- | Convert a representational equality value to a Builder. This
--   function is only available with base-4.7.0.0 or later.
--   
--   Since: 2
showbCoercion :: Coercion a b -> Builder
instance TextShow.Classes.TextShow2 Data.Type.Coercion.Coercion
instance forall (k :: BOX) (a :: k) (b :: k). TextShow.Classes.TextShow (Data.Type.Coercion.Coercion a b)
instance TextShow.Classes.TextShow1 (Data.Type.Coercion.Coercion a)

-- | Monomorphic TextShow function for propositional equality. This
--   module only exports functions if using base-4.7.0.0 or later.
--   
--   Since: 2
module TextShow.Data.Type.Equality

-- | Convert a propositional equality value to a Builder. This
--   function is only available with base-4.7.0.0 or later.
--   
--   Since: 2
showbPropEquality :: (a :~: b) -> Builder
instance TextShow.Classes.TextShow2 (Data.Type.Equality.:~:)
instance forall (k :: BOX) (a :: k) (b :: k). TextShow.Classes.TextShow (a Data.Type.Equality.:~: b)
instance TextShow.Classes.TextShow1 ((Data.Type.Equality.:~:) a)

-- | Monomorphic TextShow functions for data types in the
--   Flags module. This module only exports functions if using
--   base-4.8.0.0 or later.
--   
--   Since: 2
module TextShow.GHC.RTS.Flags

-- | Convert an RTSFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbRTSFlagsPrec :: Int -> RTSFlags -> Builder

-- | Convert a GCFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbGCFlagsPrec :: Int -> GCFlags -> Builder

-- | Convert a ConcFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbConcFlagsPrec :: Int -> ConcFlags -> Builder

-- | Convert a MiscFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbMiscFlagsPrec :: Int -> MiscFlags -> Builder

-- | Convert a DebugFlags value to a Builder with the given
--   precedence.
--   
--   Since: 2
showbDebugFlagsPrec :: Int -> DebugFlags -> Builder

-- | Convert a CCFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbCCFlagsPrec :: Int -> CCFlags -> Builder

-- | Convert a ProfFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbProfFlagsPrec :: Int -> ProfFlags -> Builder

-- | Convert a TraceFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbTraceFlagsPrec :: Int -> TraceFlags -> Builder

-- | Convert a TickyFlags value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbTickyFlagsPrec :: Int -> TickyFlags -> Builder

-- | Convert a GiveGCStats value to a Builder. This function
--   is only available with base-4.8.2.0 or later.
--   
--   Since: 2.1
showbGiveGCStats :: GiveGCStats -> Builder

-- | Convert a DoCostCentres value to a Builder. This
--   function is only available with base-4.8.2.0 or later.
--   
--   Since: 2.1
showbDoCostCentres :: DoCostCentres -> Builder

-- | Convert a DoHeapProfile value to a Builder. This
--   function is only available with base-4.8.2.0 or later.
--   
--   Since: 2.1
showbDoHeapProfile :: DoHeapProfile -> Builder

-- | Convert a DoTrace value to a Builder. This function is
--   only available with base-4.8.2.0 or later.
--   
--   Since: 2.1
showbDoTrace :: DoTrace -> Builder
instance TextShow.Classes.TextShow GHC.RTS.Flags.DoTrace
instance TextShow.Classes.TextShow GHC.RTS.Flags.DoHeapProfile
instance TextShow.Classes.TextShow GHC.RTS.Flags.DoCostCentres
instance TextShow.Classes.TextShow GHC.RTS.Flags.GiveGCStats
instance TextShow.Classes.TextShow GHC.RTS.Flags.TickyFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.TraceFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.ProfFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.CCFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.DebugFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.MiscFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.ConcFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.GCFlags
instance TextShow.Classes.TextShow GHC.RTS.Flags.RTSFlags

-- | Monomorphic TextShow function for StaticPtrInfo
--   values. This module only exports functions if using
--   base-4.8.0.0 or later.
--   
--   Since: 2
module TextShow.GHC.StaticPtr

-- | Conver a StaticPtrInfo value to a Builder with the given
--   precedence. This function is only available with base-4.8.0.0
--   or later.
--   
--   Since: 2
showbStaticPtrInfoPrec :: Int -> StaticPtrInfo -> Builder
instance TextShow.Classes.TextShow GHC.StaticPtr.StaticPtrInfo

-- | Functions to mechanically derive TextShow,
--   TextShow1, or TextShow2 instances, or to splice
--   show-related expressions into Haskell source code. You need
--   to enable the TemplateHaskell language extension in order to
--   use this module.
--   
--   Since: 2
module TextShow.TH

-- | Generates a TextShow instance declaration for the given data
--   type or data family instance.
--   
--   Since: 2
deriveTextShow :: Name -> Q [Dec]

-- | Generates a TextShow1 instance declaration for the given data
--   type or data family instance.
--   
--   Since: 2
deriveTextShow1 :: Name -> Q [Dec]

-- | Generates a TextShow2 instance declaration for the given data
--   type or data family instance.
--   
--   Since: 2
deriveTextShow2 :: Name -> Q [Dec]

-- | Generates a lambda expression which behaves like showt
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowt :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showtl
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowtl :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showtPrec
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowtPrec :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showtlPrec
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowtlPrec :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showtList
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowtList :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showtlList
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowtlList :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showb (without
--   requiring a TextShow instance).
--   
--   Since: 2
makeShowb :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbPrec
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowbPrec :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbList
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeShowbList :: Name -> Q Exp

-- | Generates a lambda expression which behaves like printT
--   (without requiring a TextShow instance).
--   
--   Since: 2
makePrintT :: Name -> Q Exp

-- | Generates a lambda expression which behaves like printTL
--   (without requiring a TextShow instance).
--   
--   Since: 2
makePrintTL :: Name -> Q Exp

-- | Generates a lambda expression which behaves like hPrintT
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeHPrintT :: Name -> Q Exp

-- | Generates a lambda expression which behaves like hPrintTL
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeHPrintTL :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbPrecWith
--   (without requiring a TextShow1 instance).
--   
--   Since: 2
makeShowbPrecWith :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbPrec1
--   (without requiring a TextShow1 instance).
--   
--   Since: 2
makeShowbPrec1 :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbPrecWith2
--   (without requiring a TextShow2 instance).
--   
--   Since: 2
makeShowbPrecWith2 :: Name -> Q Exp

-- | Generates a lambda expression which behaves like showbPrecWith2
--   (without requiring a TextShow2 instance).
--   
--   Since: 2
makeShowbPrec2 :: Name -> Q Exp

-- | Functions for tracing and monitoring execution.
--   
--   These can be useful for investigating bugs or performance problems.
--   They should not be used in production code.
--   
--   If you do not wish to require TextShow instances for your
--   trace functions, the TextShow.Debug.Trace.TH and
--   Text.Show.Text.Debug.Trace.Generic modules exist to convert the
--   input to a debug message using Template Haskell or generics,
--   respectively.
--   
--   Since: 2
module TextShow.Debug.Trace

-- | The tracet function outputs the trace message given as its
--   first argument, before returning the second argument as its result.
--   
--   For example, this returns the value of f x but first outputs
--   the message.
--   
--   
--   tracet ("calling f with x = " <> showt x) (f x)
--   
--   
--   The tracet function should only be used for debugging,
--   or for monitoring execution. The function is not referentially
--   transparent: its type indicates that it is a pure function but it has
--   the side effect of outputting the trace message.
--   
--   Since: 2
tracet :: Text -> a -> a

-- | Like tracet but accepts a lazy Text argument.
--   
--   Since: 2
tracetl :: Text -> a -> a

-- | Like tracet but returns the message instead of a third value.
--   
--   Since: 2
tracetId :: Text -> Text

-- | Like tracetId but accepts a lazy Text argument.
--   
--   Since: 2
tracetlId :: Text -> Text

-- | Like tracet, but uses showt on the argument to convert
--   it to a Text.
--   
--   This makes it convenient for printing the values of interesting
--   variables or expressions inside a function. For example here we print
--   the value of the variables x and z:
--   
--   
--   f x y =
--       traceTextShow (x, z) $ result
--     where
--       z = ...
--       ...
--   
--   
--   Since: 2
traceTextShow :: TextShow a => a -> b -> b

-- | Like traceTextShow but returns the shown value instead of a
--   third value.
--   
--   Since: 2
traceTextShowId :: TextShow a => a -> a

-- | Like tracet but additionally prints a call stack if one is
--   available.
--   
--   In the current GHC implementation, the call stack is only availble if
--   the program was compiled with -prof; otherwise
--   tracetStack behaves exactly like tracet. Entries in the
--   call stack correspond to SCC annotations, so it is a good
--   idea to use -fprof-auto or -fprof-auto-calls to add
--   SCC annotations automatically.
--   
--   Since: 2
tracetStack :: Text -> a -> a

-- | Like tracetStack but accepts a lazy Text argument.
--   
--   Since: 2
tracetlStack :: Text -> a -> a

-- | The tracetIO function outputs the trace message from the IO
--   monad. This sequences the output with respect to other IO actions.
--   
--   Since: 2
tracetIO :: Text -> IO ()

-- | Like tracetIO but accepts a lazy Text argument.
--   
--   Since: 2
tracetlIO :: Text -> IO ()

-- | Like tracet but returning unit in an arbitrary
--   Applicative context. Allows for convenient use in do-notation.
--   Note that the application of tracet is not an action in the
--   Applicative context, as tracetIO is in the IO
--   type.
--   
--   
--   ... = do
--     x <- ...
--     tracetM $ "x: " <> showt x
--     y <- ...
--     tracetM $ "y: " <> showt y
--   
--   
--   Since: 2
tracetM :: Applicative f => Text -> f ()

-- | Like tracetM but accepts a lazy Text argument.
tracetlM :: Applicative f => Text -> f ()

-- | Like tracetM, but uses showt on the argument to convert
--   it to a Text.
--   
--   
--   ... = do
--     x <- ...
--     traceTextShowM x
--     y <- ...
--     traceTextShowM $ x + y
--   
--   
--   Since: 2
traceTextShowM :: (TextShow a, Applicative f) => a -> f ()

-- | The tracetEvent function behaves like tracet with the
--   difference that the message is emitted to the eventlog, if eventlog
--   profiling is available and enabled at runtime.
--   
--   It is suitable for use in pure code. In an IO context use
--   tracetEventIO instead.
--   
--   Note that when using GHC's SMP runtime, it is possible (but rare) to
--   get duplicate events emitted if two CPUs simultaneously evaluate the
--   same thunk that uses traceEvent.
--   
--   Since: 2
tracetEvent :: Text -> a -> a

-- | Like tracetEvent but accepts a lazy Text argument.
--   
--   Since: 2
tracetlEvent :: Text -> a -> a

-- | The tracetEventIO function emits a message to the eventlog, if
--   eventlog profiling is available and enabled at runtime.
--   
--   Compared to tracetEvent, tracetEventIO sequences the
--   event with respect to other IO actions.
--   
--   Since: 2
tracetEventIO :: Text -> IO ()

-- | Like tracetEventIO but accepts a lazy Text argument.
--   
--   Since: 2
tracetlEventIO :: Text -> IO ()

-- | The tracetMarker function emits a marker to the eventlog, if
--   eventlog profiling is available and enabled at runtime. The
--   Text is the name of the marker. The name is just used in the
--   profiling tools to help you keep clear which marker is which.
--   
--   This function is suitable for use in pure code. In an IO context use
--   tracetMarkerIO instead.
--   
--   Note that when using GHC's SMP runtime, it is possible (but rare) to
--   get duplicate events emitted if two CPUs simultaneously evaluate the
--   same thunk that uses traceMarker.
--   
--   Since: 2
tracetMarker :: Text -> a -> a

-- | Like tracetMarker but accepts a lazy Text argument.
--   
--   Since: 2
tracetlMarker :: Text -> a -> a

-- | The tracetMarkerIO function emits a marker to the eventlog, if
--   eventlog profiling is available and enabled at runtime.
--   
--   Compared to tracetMarker, tracetMarkerIO sequences the
--   event with respect to other IO actions.
--   
--   Since: 2
tracetMarkerIO :: Text -> IO ()

-- | Like tracetMarkerIO but accepts a lazy Text argument.
--   
--   Since: 2
tracetlMarkerIO :: Text -> IO ()

-- | Functions that splice traces into source code which take an arbitrary
--   data type or data family instance as an argument (even if it is not an
--   instance of TextShow). You need to enable the
--   TemplateHaskell language extension in order to use this
--   module.
--   
--   Since: 2
module TextShow.Debug.Trace.TH

-- | Generates a lambda expression which behaves like traceTextShow
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeTraceTextShow :: Name -> Q Exp

-- | Generates a lambda expression which behaves like
--   traceTextShowId (without requiring a TextShow
--   instance).
--   
--   Since: 2
makeTraceTextShowId :: Name -> Q Exp

-- | Generates a lambda expression which behaves like traceTextShowM
--   (without requiring a TextShow instance).
--   
--   Since: 2
makeTraceTextShowM :: Name -> Q Exp

-- | Generic versions of TextShow and TextShow1 class
--   functions, as an alternative to TextShow.TH, which uses
--   Template Haskell. Because there is no Generic2 class,
--   TextShow2 cannot be implemented generically.
--   
--   This implementation is based off of the
--   Generics.Deriving.Show module from the
--   generic-deriving library.
--   
--   Since: 2
module TextShow.Generic

-- | A Generic implementation of showt.
--   
--   Since: 2
genericShowt :: (Generic a, GTextShow (Rep a)) => a -> Text

-- | A Generic implementation of showtl.
--   
--   Since: 2
genericShowtl :: (Generic a, GTextShow (Rep a)) => a -> Text

-- | A Generic implementation of showPrect.
--   
--   Since: 2
genericShowtPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Text

-- | A Generic implementation of showtlPrec.
--   
--   Since: 2
genericShowtlPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Text

-- | A Generic implementation of showtList.
--   
--   Since: 2
genericShowtList :: (Generic a, GTextShow (Rep a)) => [a] -> Text

-- | A Generic implementation of showtlList.
--   
--   Since: 2
genericShowtlList :: (Generic a, GTextShow (Rep a)) => [a] -> Text

-- | A Generic implementation of showb.
--   
--   Since: 2
genericShowb :: (Generic a, GTextShow (Rep a)) => a -> Builder

-- | A Generic implementation of showbPrec.
--   
--   Since: 2
genericShowbPrec :: (Generic a, GTextShow (Rep a)) => Int -> a -> Builder

-- | A Generic implementation of showbList.
--   
--   Since: 2
genericShowbList :: (Generic a, GTextShow (Rep a)) => [a] -> Builder

-- | A Generic implementation of printT.
--   
--   Since: 2
genericPrintT :: (Generic a, GTextShow (Rep a)) => a -> IO ()

-- | A Generic implementation of printTL.
--   
--   Since: 2
genericPrintTL :: (Generic a, GTextShow (Rep a)) => a -> IO ()

-- | A Generic implementation of hPrintT.
--   
--   Since: 2
genericHPrintT :: (Generic a, GTextShow (Rep a)) => Handle -> a -> IO ()

-- | A Generic implementation of hPrintTL.
--   
--   Since: 2
genericHPrintTL :: (Generic a, GTextShow (Rep a)) => Handle -> a -> IO ()

-- | A Generic1 implementation of showbPrecWith.
--   
--   Since: 2
genericShowbPrecWith :: (Generic1 f, GTextShow1 (Rep1 f)) => (Int -> a -> Builder) -> Int -> f a -> Builder

-- | A 'Generic'/'Generic1' implementation of showbPrec1.
--   
--   Since: 2
genericShowbPrec1 :: (Generic a, Generic1 f, GTextShow (Rep a), GTextShow1 (Rep1 f)) => Int -> f a -> Builder

-- | Class of generic representation types (Rep) that can be
--   converted to a Builder.
--   
--   Since: 2
class GTextShow f where isNullary = error "generic showbPrec (isNullary): unnecessary case"

-- | This is used as the default generic implementation of
--   showbPrec.
gShowbPrec :: GTextShow f => ConType -> Int -> f a -> Builder

-- | Whether a representation type has any constructors.
isNullary :: GTextShow f => f a -> Bool

-- | Class of generic representation types (Rep1) that can be
--   converted to a Builder by lifting through a unary type
--   constructor.
--   
--   Since: 2
class GTextShow1 f where isNullary1 = error "generic showbPrecWith (isNullary1): unnecessary case"

-- | This is used as the default generic implementation of
--   showbPrecWith.
gShowbPrecWith :: GTextShow1 f => ConType -> (Int -> a -> Builder) -> Int -> f a -> Builder

-- | Whether a representation type has any constructors.
isNullary1 :: GTextShow1 f => f a -> Bool

-- | Whether a constructor is a record (Rec), a tuple (Tup),
--   is prefix (Pref), or infix (Inf).
--   
--   Since: 2
data ConType
Rec :: ConType
Tup :: ConType
Pref :: ConType
Inf :: String -> ConType
instance GHC.Generics.Constructor TextShow.Generic.C1_3ConType
instance GHC.Generics.Constructor TextShow.Generic.C1_2ConType
instance GHC.Generics.Constructor TextShow.Generic.C1_1ConType
instance GHC.Generics.Constructor TextShow.Generic.C1_0ConType
instance GHC.Generics.Datatype TextShow.Generic.D1ConType
instance GHC.Generics.Generic TextShow.Generic.ConType
instance GHC.Show.Show TextShow.Generic.ConType
instance GHC.Read.Read TextShow.Generic.ConType
instance GHC.Classes.Ord TextShow.Generic.ConType
instance GHC.Classes.Eq TextShow.Generic.ConType
instance TextShow.Classes.TextShow TextShow.Generic.ConType
instance TextShow.Generic.GTextShow GHC.Generics.U1
instance TextShow.Classes.TextShow c => TextShow.Generic.GTextShow (GHC.Generics.K1 i c)
instance (GHC.Generics.Constructor c, TextShow.Generic.GTextShow f) => TextShow.Generic.GTextShow (GHC.Generics.C1 c f)
instance (GHC.Generics.Selector s, TextShow.Generic.GTextShow f) => TextShow.Generic.GTextShow (GHC.Generics.S1 s f)
instance TextShow.Generic.GTextShow f => TextShow.Generic.GTextShow (GHC.Generics.D1 d f)
instance (TextShow.Generic.GTextShow f, TextShow.Generic.GTextShow g) => TextShow.Generic.GTextShow (f GHC.Generics.:+: g)
instance (TextShow.Generic.GTextShow f, TextShow.Generic.GTextShow g) => TextShow.Generic.GTextShow (f GHC.Generics.:*: g)
instance TextShow.Generic.GTextShow1 GHC.Generics.U1
instance TextShow.Generic.GTextShow1 GHC.Generics.Par1
instance TextShow.Classes.TextShow c => TextShow.Generic.GTextShow1 (GHC.Generics.K1 i c)
instance TextShow.Classes.TextShow1 f => TextShow.Generic.GTextShow1 (GHC.Generics.Rec1 f)
instance (GHC.Generics.Constructor c, TextShow.Generic.GTextShow1 f) => TextShow.Generic.GTextShow1 (GHC.Generics.C1 c f)
instance (GHC.Generics.Selector s, TextShow.Generic.GTextShow1 f) => TextShow.Generic.GTextShow1 (GHC.Generics.S1 s f)
instance TextShow.Generic.GTextShow1 f => TextShow.Generic.GTextShow1 (GHC.Generics.D1 d f)
instance (TextShow.Generic.GTextShow1 f, TextShow.Generic.GTextShow1 g) => TextShow.Generic.GTextShow1 (f GHC.Generics.:+: g)
instance (TextShow.Generic.GTextShow1 f, TextShow.Generic.GTextShow1 g) => TextShow.Generic.GTextShow1 (f GHC.Generics.:*: g)
instance (TextShow.Classes.TextShow1 f, TextShow.Generic.GTextShow1 g) => TextShow.Generic.GTextShow1 (f GHC.Generics.:.: g)

-- | Functions that trace the values of Generic instances (even if
--   they are not instances of TextShow).
--   
--   Since: 2
module TextShow.Debug.Trace.Generic

-- | A Generic implementation of traceTextShow.
--   
--   Since: 2
genericTraceTextShow :: (Generic a, GTextShow (Rep a)) => a -> b -> b

-- | A Generic implementation of traceTextShowId.
--   
--   Since: 2
genericTraceTextShowId :: (Generic a, GTextShow (Rep a)) => a -> a

-- | A Generic implementation of traceShowM.
--   
--   Since: 2
genericTraceTextShowM :: (Generic a, GTextShow (Rep a), Applicative f) => a -> f ()

-- | Efficiently convert from values to Text via Builders.
--   
--   Since: 2
module TextShow

-- | Conversion of values to Text. Because there are both strict
--   and lazy Text variants, the TextShow 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 TextShow instances. As an
--   example:
--   
--   
--   import Data.Monoid
--   import TextShow
--   
--   data Example = Example Int Int
--   instance TextShow Example where
--       showb (Example i1 i2) = showb i1 <> showbSpace <> showb i2
--   
--   
--   If you do not want to create TextShow instances manually, you
--   can alternatively use the TextShow.TH module to automatically
--   generate default TextShow instances using Template Haskell, or
--   the TextShow.Generic module to quickly define TextShow
--   instances using genericShowbPrec.
--   
--   Since: 2
class TextShow a where showbPrec _ = showb showb = showbPrec 0 showbList = showbListWith showb

-- | Convert a value to a Builder with the given predence.
--   
--   Since: 2
showbPrec :: TextShow a => Int -> a -> Builder

-- | A specialized variant of showbPrec using precedence context
--   zero.
--   
--   Since: 2
showb :: TextShow a => a -> Builder

-- | Allows for specialized display of lists. This is used, for example,
--   when showing lists of Chars.
--   
--   Since: 2
showbList :: TextShow a => [a] -> Builder

-- | Constructs a strict Text from a single value.
--   
--   Since: 2
showt :: TextShow a => a -> Text

-- | Constructs a lazy Text from a single value.
--   
--   Since: 2
showtl :: TextShow a => a -> Text

-- | Constructs a strict Text from a single value with the given
--   precedence.
--   
--   Since: 2
showtPrec :: TextShow a => Int -> a -> Text

-- | Constructs a lazy Text from a single value with the given
--   precedence.
--   
--   Since: 2
showtlPrec :: TextShow a => Int -> a -> Text

-- | Construct a strict Text from a list of values.
--   
--   Since: 2
showtList :: TextShow a => [a] -> Text

-- | Construct a lazy Text from a list of values.
--   
--   Since: 2
showtlList :: TextShow a => [a] -> Text

-- | Surrounds Builder output with parentheses if the Bool
--   parameter is True.
--   
--   Since: 2
showbParen :: Bool -> Builder -> Builder

-- | Construct a Builder containing a single space character.
--   
--   Since: 2
showbSpace :: Builder

-- | Lifting of the TextShow class to unary type constructors.
--   
--   Since: 2
class TextShow1 f

-- | Lifts a showbPrec function through the type constructor.
--   
--   Since: 2
showbPrecWith :: TextShow1 f => (Int -> a -> Builder) -> Int -> f a -> Builder

-- | Lift the standard showbPrec function through the type
--   constructor.
--   
--   Since: 2
showbPrec1 :: (TextShow1 f, TextShow a) => Int -> f a -> Builder

-- | showbUnaryWith sp n p x produces the Builder
--   representation of a unary data constructor with name n and
--   argument x, in precedence context p, using the
--   function sp to show occurrences of the type argument.
--   
--   Since: 2
showbUnaryWith :: (Int -> a -> Builder) -> Builder -> Int -> a -> Builder

-- | Lifting of the TextShow class to binary type constructors.
--   
--   Since: 2
class TextShow2 f

-- | Lifts showbPrec functions through the type constructor.
--   
--   Since: 2
showbPrecWith2 :: TextShow2 f => (Int -> a -> Builder) -> (Int -> b -> Builder) -> Int -> f a b -> Builder

-- | Lift two showbPrec functions through the type constructor.
--   
--   Since: 2
showbPrec2 :: (TextShow2 f, TextShow a, TextShow b) => Int -> f a b -> Builder

-- | showbBinaryWith sp n p x y produces the Builder
--   representation of a binary data constructor with name n and
--   arguments x and y, in precedence context p,
--   using the functions sp1 and sp2 to show occurrences
--   of the type arguments.
--   
--   Since: 2
showbBinaryWith :: (Int -> a -> Builder) -> (Int -> b -> Builder) -> Builder -> Int -> a -> b -> Builder

-- | A Builder is an efficient way to build lazy Text
--   values. There are several functions for constructing builders, but
--   only one to inspect them: to extract any data, you have to turn them
--   into lazy Text values using toLazyText.
--   
--   Internally, a builder constructs a lazy Text by filling
--   arrays piece by piece. As each buffer is filled, it is 'popped' off,
--   to become a new chunk of the resulting lazy Text. All this is
--   hidden from the user of the Builder.
data Builder :: *

-- | Convert a Builder to a strict Text.
--   
--   Since: 2
toText :: Builder -> Text

-- | O(n). Extract a lazy Text from a Builder with
--   a default buffer size. The construction work takes place if and when
--   the relevant part of the lazy Text is demanded.
toLazyText :: Builder -> Text

-- | O(n). Extract a lazy Text from a Builder,
--   using the given size for the initial buffer. The construction work
--   takes place if and when the relevant part of the lazy Text is
--   demanded.
--   
--   If the initial buffer is too small to hold all data, subsequent
--   buffers will be the default buffer size.
toLazyTextWith :: Int -> Builder -> Text

-- | Convert a Builder to a String (without surrounding it
--   with double quotes, as show would).
--   
--   Since: 2
toString :: Builder -> String

-- | O(1). A Builder taking a single character, satisfying
--   
--   
--   
- 
toLazyText (singleton c) = singleton
--   c

--   
singleton :: Char -> Builder

-- | O(1). A Builder taking a Text, satisfying
--   
--   
--   
- 
toLazyText (fromText t) = fromChunks
--   [t]

--   
fromText :: Text -> Builder

-- | O(1). A Builder taking a lazy Text,
--   satisfying
--   
--   
--   
- 
toLazyText (fromLazyText t) = t

--   
fromLazyText :: Text -> Builder

-- | O(1). A Builder taking a String, satisfying
--   
--   
--   
- 
toLazyText (fromString s) = fromChunks
--   [S.pack s]

--   
fromString :: String -> Builder

-- | O(1). Pop the strict Text we have constructed so far,
--   if any, yielding a new chunk in the result lazy Text.
flush :: Builder

-- | Computes the length of a Builder.
--   
--   Since: 2
lengthB :: Builder -> Int64

-- | Merges several Builders, separating them by newlines.
--   
--   Since: 2
unlinesB :: [Builder] -> Builder

-- | Merges several Builders, separating them by spaces.
--   
--   Since: 2
unwordsB :: [Builder] -> Builder

-- | Writes a value's strict Text representation to the standard
--   output, followed by a newline.
--   
--   Since: 2
printT :: TextShow a => a -> IO ()

-- | Writes a value's lazy Text representation to the standard
--   output, followed by a newline.
--   
--   Since: 2
printTL :: TextShow a => a -> IO ()

-- | Writes a value's strict Text representation to a file handle,
--   followed by a newline.
--   
--   Since: 2
hPrintT :: TextShow a => Handle -> a -> IO ()

-- | Writes a value's lazy Text representation to a file handle,
--   followed by a newline.
--   
--   Since: 2
hPrintTL :: TextShow a => Handle -> a -> IO ()

-- | The TextShow instance for FromStringShow is based on its
--   String Show instance. That is,
--   
--   
--   showbPrec p (FromStringShow x) = showsToShowb showsPrec p x
--   
--   
--   Since: 2
newtype FromStringShow a
FromStringShow :: a -> FromStringShow a
[fromStringShow] :: FromStringShow a -> a

-- | The String Show instance for FromTextShow is
--   based on its TextShow instance. That is,
--   
--   
--   showsPrec p (FromTextShow x) = showbToShows showbPrec p x
--   
--   
--   Since: 2
newtype FromTextShow a
FromTextShow :: a -> FromTextShow a
[fromTextShow] :: FromTextShow a -> a

-- | Convert a ShowS-based show function to a
--   Builder-based one.
--   
--   Since: 2.1
showsToShowb :: (Int -> a -> ShowS) -> Int -> a -> Builder

-- | Convert a Builder-based show function to a
--   ShowS-based one.
--   
--   Since: 2.1
showbToShows :: (Int -> a -> Builder) -> Int -> a -> ShowS
