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


-- | Additional instances for text-show
--   
--   <tt>text-show-instances</tt> is a supplemental library to
--   <tt>text-show</tt> that provides additional <tt>Show</tt> instances
--   for data types in common Haskell libraries and GHC dependencies that
--   are not encompassed by <tt>text-show</tt>. Currently,
--   <tt>text-show-instances</tt> covers these libraries:
--   
--   <ul>
--   <li><pre><a>bifunctors</a></pre></li>
--   <li><pre><a>binary</a></pre></li>
--   <li><pre><a>containers</a></pre></li>
--   <li><pre><a>directory</a></pre></li>
--   <li><pre><a>ghc-boot-th</a></pre></li>
--   <li><pre><a>haskeline</a></pre></li>
--   <li><pre><a>hoopl</a></pre></li>
--   <li><pre><a>hpc</a></pre></li>
--   <li><pre><a>old-locale</a></pre></li>
--   <li><pre><a>old-time</a></pre></li>
--   <li><pre><a>pretty</a></pre></li>
--   <li><pre><a>random</a></pre></li>
--   <li><pre><a>tagged</a></pre></li>
--   <li><pre><a>template-haskell</a></pre></li>
--   <li><pre><a>terminfo</a></pre></li>
--   <li><pre><a>time</a></pre></li>
--   <li><pre><a>transformers</a></pre></li>
--   <li><pre><a>unix</a></pre></li>
--   <li><pre><a>unordered-containers</a></pre></li>
--   <li><pre><a>vector</a></pre></li>
--   <li><pre><a>Win32</a></pre></li>
--   <li><pre><a>xhtml</a></pre></li>
--   </ul>
--   
--   One can use these instances by importing <a>TextShow.Instances</a>.
--   Alternatively, there are monomorphic versions of the <tt>showb</tt>
--   function available in the other submodules of <a>TextShow</a>.
@package text-show-instances
@version 3.6.3


-- | <a>TextShow</a> instances for data types in the <tt>bifunctors</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.Data.Bifunctor
instance TextShow.Classes.TextShow2 p => TextShow.Classes.TextShow2 (Data.Bifunctor.Wrapped.WrappedBifunctor p)
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow2 p) => TextShow.Classes.TextShow2 (Data.Bifunctor.Tannen.Tannen f p)
instance forall k k1 (p :: k -> k1 -> *) (a :: k) (b :: k1). TextShow.Classes.TextShow (p a b) => TextShow.Classes.TextShow (Data.Bifunctor.Wrapped.WrappedBifunctor p a b)
instance (TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Wrapped.WrappedBifunctor p a)
instance (TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow2 q) => TextShow.Classes.TextShow2 (Data.Bifunctor.Sum.Sum p q)
instance forall k1 k2 k (f :: k -> *) (p :: k1 -> k2 -> k) (a :: k1) (b :: k2). TextShow.Classes.TextShow (f (p a b)) => TextShow.Classes.TextShow (Data.Bifunctor.Tannen.Tannen f p a b)
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Tannen.Tannen f p a)
instance (TextShow.Classes.TextShow2 f, TextShow.Classes.TextShow2 g) => TextShow.Classes.TextShow2 (Data.Bifunctor.Product.Product f g)
instance forall k k1 (f :: k -> k1 -> *) (a :: k) (b :: k1) (g :: k -> k1 -> *). (TextShow.Classes.TextShow (f a b), TextShow.Classes.TextShow (g a b)) => TextShow.Classes.TextShow (Data.Bifunctor.Sum.Sum f g a b)
instance (TextShow.Classes.TextShow2 f, TextShow.Classes.TextShow2 g, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Sum.Sum f g a)
instance TextShow.Classes.TextShow1 g => TextShow.Classes.TextShow2 (Data.Bifunctor.Joker.Joker g)
instance forall k k1 (f :: k -> k1 -> *) (a :: k) (b :: k1) (g :: k -> k1 -> *). (TextShow.Classes.TextShow (f a b), TextShow.Classes.TextShow (g a b)) => TextShow.Classes.TextShow (Data.Bifunctor.Product.Product f g a b)
instance (TextShow.Classes.TextShow2 f, TextShow.Classes.TextShow2 g, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Product.Product f g a)
instance TextShow.Classes.TextShow2 p => TextShow.Classes.TextShow2 (Data.Bifunctor.Flip.Flip p)
instance forall k (p :: k -> k -> *) (a :: k). TextShow.Classes.TextShow (p a a) => TextShow.Classes.TextShow (Data.Bifunctor.Join.Join p a)
instance TextShow.Classes.TextShow2 p => TextShow.Classes.TextShow1 (Data.Bifunctor.Join.Join p)
instance forall k k1 (g :: k1 -> *) (b :: k1) (a :: k). TextShow.Classes.TextShow (g b) => TextShow.Classes.TextShow (Data.Bifunctor.Joker.Joker g a b)
instance forall k (g :: * -> *) (a :: k). TextShow.Classes.TextShow1 g => TextShow.Classes.TextShow1 (Data.Bifunctor.Joker.Joker g a)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow2 (Data.Bifunctor.Clown.Clown f)
instance forall k (p :: * -> k -> *) (a :: k). TextShow.Classes.TextShow (p (Data.Bifunctor.Fix.Fix p a) a) => TextShow.Classes.TextShow (Data.Bifunctor.Fix.Fix p a)
instance TextShow.Classes.TextShow2 p => TextShow.Classes.TextShow1 (Data.Bifunctor.Fix.Fix p)
instance forall k1 k (p :: k1 -> k -> *) (b :: k1) (a :: k). TextShow.Classes.TextShow (p b a) => TextShow.Classes.TextShow (Data.Bifunctor.Flip.Flip p a b)
instance (TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Flip.Flip p a)
instance (TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow1 g) => TextShow.Classes.TextShow2 (Data.Bifunctor.Biff.Biff p f g)
instance forall k1 k (f :: k -> *) (a :: k) (b :: k1). TextShow.Classes.TextShow (f a) => TextShow.Classes.TextShow (Data.Bifunctor.Clown.Clown f a b)
instance forall k (f :: k -> *) (a :: k). TextShow.Classes.TextShow (f a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Clown.Clown f a)
instance forall k3 k2 k k1 (p :: k -> k1 -> *) (f :: k2 -> k) (a :: k2) (g :: k3 -> k1) (b :: k3). TextShow.Classes.TextShow (p (f a) (g b)) => TextShow.Classes.TextShow (Data.Bifunctor.Biff.Biff p f g a b)
instance (TextShow.Classes.TextShow2 p, TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow1 g, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow1 (Data.Bifunctor.Biff.Biff p f g a)


-- | <a>TextShow</a> instance for <a>Decoder</a>.
--   
--   <i>Since: 2</i>
module TextShow.Data.Binary
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Binary.Get.Internal.Decoder a)
instance TextShow.Classes.TextShow1 Data.Binary.Get.Internal.Decoder


-- | <a>TextShow</a> instance for <a>Tagged</a>.
--   
--   <i>Since: 2</i>
module TextShow.Data.Tagged

-- | Convert a <a>Tagged</a> value to a <a>Builder</a> with the given show
--   function and precedence.
liftShowbTaggedPrec :: (Int -> b -> Builder) -> Int -> Tagged s b -> Builder
instance forall k b (s :: k). TextShow.Classes.TextShow b => TextShow.Classes.TextShow (Data.Tagged.Tagged s b)
instance forall k (s :: k). TextShow.Classes.TextShow1 (Data.Tagged.Tagged s)
instance TextShow.Classes.TextShow2 Data.Tagged.Tagged


-- | <a>TextShow</a> instances for data types in the <tt>time</tt> library.
--   
--   <i>Since: 2</i>
module TextShow.Data.Time
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.SystemTime.SystemTime
instance TextShow.Classes.TextShow Data.Time.Format.Locale.TimeLocale
instance TextShow.Classes.TextShow Data.Time.Calendar.Days.Day
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.DiffTime.DiffTime
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.UTCTime.UTCTime
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.NominalDiffTime.NominalDiffTime
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.AbsoluteTime.AbsoluteTime
instance TextShow.Classes.TextShow Data.Time.LocalTime.Internal.TimeZone.TimeZone
instance TextShow.Classes.TextShow Data.Time.LocalTime.Internal.TimeOfDay.TimeOfDay
instance TextShow.Classes.TextShow Data.Time.LocalTime.Internal.LocalTime.LocalTime
instance TextShow.Classes.TextShow Data.Time.LocalTime.Internal.ZonedTime.ZonedTime
instance TextShow.Classes.TextShow Data.Time.Clock.Internal.UniversalTime.UniversalTime


-- | <a>TextShow</a> instances for <tt>Vector</tt> types.
--   
--   <i>Since: 2</i>
module TextShow.Data.Vector

-- | Convert a generic <a>Vector</a> to a <a>Builder</a> with the given
--   precedence. Note that with <tt>vector-0.11</tt> and above, the
--   precedence argument is ignored.
--   
--   <i>Since: 2</i>
showbVectorGenericPrec :: (Vector v a, TextShow a) => Int -> v a -> Builder

-- | Convert a generic <a>Vector</a> to a <a>Builder</a> with the given
--   show function and precedence. Note that with <tt>vector-0.11</tt> and
--   above, the precedence argument is ignored.
--   
--   <i>Since: 3</i>
liftShowbVectorGenericPrec :: Vector v a => ([a] -> Builder) -> Int -> v a -> Builder
instance TextShow.Classes.TextShow Data.Vector.Fusion.Bundle.Size.Size
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Vector.Vector a)
instance TextShow.Classes.TextShow1 Data.Vector.Vector
instance (TextShow.Classes.TextShow a, Data.Primitive.Types.Prim a) => TextShow.Classes.TextShow (Data.Vector.Primitive.Vector a)
instance (TextShow.Classes.TextShow a, Foreign.Storable.Storable a) => TextShow.Classes.TextShow (Data.Vector.Storable.Vector a)
instance (TextShow.Classes.TextShow a, Data.Vector.Unboxed.Base.Unbox a) => TextShow.Classes.TextShow (Data.Vector.Unboxed.Base.Vector a)


-- | <tt>TextShow</tt> instance for the <a>ForeignSrcLang</a> data type.
--   Only provided if using <tt>ghc-boot-th-8.2</tt> or later.
--   
--   <i>Since: 3.3</i>
module TextShow.GHC.ForeignSrcLang.Type
instance TextShow.Classes.TextShow GHC.ForeignSrcLang.Type.ForeignSrcLang


-- | <tt>TextShow</tt> instance for the <a>Extension</a> data type. Only
--   provided if using <tt>ghc-boot-th</tt>.
--   
--   <i>Since: 3.3</i>
module TextShow.GHC.LanguageExtensions.Type
instance TextShow.Classes.TextShow GHC.LanguageExtensions.Type.Extension


-- | <a>TextShow</a> instances for data types in the <tt>terminfo</tt>
--   library. Only provided if using a Unix-like operating system (i.e.,
--   not Windows).
--   
--   <i>Since: 2</i>
module TextShow.System.Console.Terminfo
instance TextShow.Classes.TextShow System.Console.Terminfo.Color.Color
instance TextShow.Classes.TextShow System.Console.Terminfo.Base.SetupTermError


-- | <tt>TextShow</tt> instance for <a>Permissions</a>.
--   
--   <i>Since: 2</i>
module TextShow.System.Directory
instance TextShow.Classes.TextShow System.Directory.XdgDirectory
instance TextShow.Classes.TextShow System.Directory.Permissions


-- | <tt>TextShow</tt> instance for the old <a>TimeLocale</a>.
--   
--   <i>Since: 2</i>
module TextShow.System.Locale
instance TextShow.Classes.TextShow System.Locale.TimeLocale


-- | <tt>TextShow</tt> instances for data types in the <tt>unix</tt>
--   library. Only provided if using a Unix-like operating system (i.e.,
--   not Windows).
--   
--   <i>Since: 2</i>
module TextShow.System.Posix
instance TextShow.Classes.TextShow System.Posix.User.UserEntry
instance TextShow.Classes.TextShow System.Posix.User.GroupEntry
instance TextShow.Classes.TextShow System.Posix.Process.Internals.ProcessStatus
instance TextShow.Classes.TextShow System.Posix.DynamicLinker.Prim.DL
instance TextShow.Classes.TextShow System.Posix.DynamicLinker.Prim.RTLDFlags


-- | <a>TextShow</a> instances for <a>StdGen</a>.
--   
--   <i>Since: 2</i>
module TextShow.System.Random
instance TextShow.Classes.TextShow System.Random.StdGen


-- | <a>TextShow</a> instances for data types in the <tt>old-time</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.System.Time
instance TextShow.Classes.TextShow System.Time.Day
instance TextShow.Classes.TextShow System.Time.Month
instance TextShow.Classes.TextShow System.Time.CalendarTime
instance TextShow.Classes.TextShow System.Time.TimeDiff
instance TextShow.Classes.TextShow System.Time.ClockTime


-- | <tt>TextShow</tt> instances for data types in the <tt>Win32</tt>
--   library. Only provided if using Windows.
--   
--   <i>Since: 2</i>
module TextShow.System.Win32


-- | Provides <a>TextShow</a> instances for data types in the
--   <tt>pretty</tt> library.
--   
--   <i>Since: 2</i>
module TextShow.Text.PrettyPrint

-- | Renders a <a>Doc</a> to a <a>Builder</a> using the default
--   <a>style</a>.
--   
--   <i>Since: 2</i>
renderB :: Doc -> Builder

-- | Renders a <a>Doc</a> to a <a>Builder</a> using the given <a>Style</a>.
--   
--   <i>Since: 2</i>
renderStyleB :: Style -> Doc -> Builder

-- | Renders an annotated <a>Doc</a> to a <a>Builder</a> using the default
--   <a>style</a>. This function is only available with
--   <tt>pretty-1.1.3</tt> or later.
--   
--   <i>Since: 3</i>
renderAnnotB :: Doc a -> Builder

-- | Renders an annotated <a>Doc</a> to a <a>Builder</a> using the given
--   <a>Style</a>. This function is only available with
--   <tt>pretty-1.1.3</tt> or later.
--   
--   <i>Since: 3</i>
renderStyleAnnotB :: Style -> Doc a -> Builder
instance TextShow.Classes.TextShow1 Text.PrettyPrint.Annotated.HughesPJ.Span
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Text.PrettyPrint.Annotated.HughesPJ.Span a)
instance TextShow.Classes.TextShow Text.PrettyPrint.Annotated.HughesPJClass.PrettyLevel
instance TextShow.Classes.TextShow1 Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails
instance TextShow.Classes.TextShow (Text.PrettyPrint.Annotated.HughesPJ.Doc a)
instance TextShow.Classes.TextShow1 Text.PrettyPrint.Annotated.HughesPJ.Doc
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Text.PrettyPrint.Annotated.HughesPJ.AnnotDetails a)
instance TextShow.Classes.TextShow Text.PrettyPrint.HughesPJClass.PrettyLevel
instance TextShow.Classes.TextShow Text.PrettyPrint.Annotated.HughesPJ.TextDetails
instance TextShow.Classes.TextShow Text.PrettyPrint.Annotated.HughesPJ.Style
instance TextShow.Classes.TextShow Text.PrettyPrint.Annotated.HughesPJ.Mode
instance TextShow.Classes.TextShow Text.PrettyPrint.HughesPJ.Doc


-- | <a>TextShow</a> instances for data types in the
--   <tt>template-haskell</tt> library.
--   
--   <i>Since: 2</i>
module TextShow.Language.Haskell.TH

-- | Convert a <a>Name</a> to a <a>Builder</a>.
--   
--   <i>Since: 2</i>
showbName :: Name -> Builder

-- | Convert a <a>Name</a> to a <a>Builder</a> with the given <a>NameIs</a>
--   settings.
--   
--   <i>Since: 2</i>
showbName' :: NameIs -> Name -> Builder
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.PatSynDir
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.PatSynArgs
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.DerivStrategy
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.DerivClause
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.TypeFamilyHead
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.SourceUnpackedness
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.SourceStrictness
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Overlap
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.InjectivityAnn
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.FamilyResultSig
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.DecidedStrictness
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Bang
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.TySynEqn
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Role
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.ModuleInfo
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Module
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.AnnTarget
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.AnnLookup
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.TyLit
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.RuleMatch
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.RuleBndr
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Phases
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Inline
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.TyVarBndr
instance TextShow.Classes.TextShow Language.Haskell.TH.PprLib.Doc
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Type
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Stmt
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Safety
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Range
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Pragma
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.PkgName
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Pat
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.OccName
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.NameSpace
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.NameFlavour
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.ModName
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Name
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Match
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Loc
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Lit
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Info
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Guard
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.FunDep
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Foreign
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.FixityDirection
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Fixity
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.FamFlavour
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Exp
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Dec
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Con
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Clause
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Callconv
instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Body


-- | <a>TextShow</a> instances for data types in the <tt>xhtml</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.Text.XHtml
instance TextShow.Classes.TextShow Text.XHtml.Extras.HotLink
instance TextShow.Classes.TextShow Text.XHtml.Table.HtmlTable
instance TextShow.Classes.TextShow Text.XHtml.Internals.Html
instance TextShow.Classes.TextShow Text.XHtml.Internals.HtmlAttr


-- | <a>TextShow</a> instances for data types in the <tt>hpc</tt> library.
--   
--   <i>Since: 2</i>
module TextShow.Trace.Hpc
instance TextShow.Classes.TextShow Trace.Hpc.Tix.TixModule
instance TextShow.Classes.TextShow Trace.Hpc.Util.HpcPos
instance TextShow.Classes.TextShow Trace.Hpc.Util.Hash
instance TextShow.Classes.TextShow Trace.Hpc.Tix.Tix
instance TextShow.Classes.TextShow Trace.Hpc.Mix.CondBox
instance TextShow.Classes.TextShow Trace.Hpc.Mix.BoxLabel
instance TextShow.Classes.TextShow Trace.Hpc.Mix.Mix


-- | <a>TextShow</a> instances for data types in the <tt>haskeline</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.System.Console.Haskeline
instance TextShow.Classes.TextShow System.Console.Haskeline.Completion.Completion
instance TextShow.Classes.TextShow System.Console.Haskeline.History.History
instance TextShow.Classes.TextShow System.Console.Haskeline.Term.Interrupt
instance TextShow.Classes.TextShow System.Console.Haskeline.Prefs.Prefs


-- | <a>TextShow</a> instances for <a>HashMap</a> and <a>HashSet</a>.
--   
--   <i>Since: 2</i>
module TextShow.Data.UnorderedContainers
instance (TextShow.Classes.TextShow k, TextShow.Classes.TextShow v) => TextShow.Classes.TextShow (Data.HashMap.Base.HashMap k v)
instance TextShow.Classes.TextShow k => TextShow.Classes.TextShow1 (Data.HashMap.Base.HashMap k)
instance TextShow.Classes.TextShow2 Data.HashMap.Base.HashMap
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.HashSet.HashSet a)
instance TextShow.Classes.TextShow1 Data.HashSet.HashSet


-- | <a>TextShow</a> instances for functor transformers.
--   
--   Note that :
--   
--   <ul>
--   <li>An instance for <tt>Identity</tt> is found in <tt>text-show</tt>,
--   since it is a part of <tt>base-4.8.0.0</tt> and later.</li>
--   <li>Instances for <tt>Compose</tt>, <tt>Product</tt>, and <tt>Sum</tt>
--   are found in <tt>text-show</tt>, since they are part of
--   <tt>base-4.9.0.0</tt> and later.</li>
--   </ul>
--   
--   <i>Since: 2</i>
module TextShow.Data.Functor.Trans
instance forall k a (b :: k). TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Functor.Constant.Constant a b)
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow1 (Data.Functor.Constant.Constant a)
instance TextShow.Classes.TextShow2 Data.Functor.Constant.Constant
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Data.Functor.Reverse.Reverse f a)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow1 (Data.Functor.Reverse.Reverse f)


-- | <a>TextShow</a> instances for data types in the <tt>containers</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.Data.Containers
instance TextShow.Classes.TextShow1 Data.Tree.Tree
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Tree.Tree a)
instance TextShow.Classes.TextShow1 Data.Graph.SCC
instance TextShow.Classes.TextShow vertex => TextShow.Classes.TextShow (Data.Graph.SCC vertex)
instance TextShow.Classes.TextShow1 Data.Sequence.Internal.ViewR
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Set.Internal.Set a)
instance TextShow.Classes.TextShow1 Data.Set.Internal.Set
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Sequence.Internal.ViewR a)
instance TextShow.Classes.TextShow1 Data.Sequence.Internal.ViewL
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Sequence.Internal.ViewL a)
instance TextShow.Classes.TextShow v => TextShow.Classes.TextShow (Data.IntMap.Internal.IntMap v)
instance TextShow.Classes.TextShow1 Data.IntMap.Internal.IntMap
instance TextShow.Classes.TextShow Data.IntSet.Internal.IntSet
instance (TextShow.Classes.TextShow k, TextShow.Classes.TextShow v) => TextShow.Classes.TextShow (Data.Map.Internal.Map k v)
instance TextShow.Classes.TextShow k => TextShow.Classes.TextShow1 (Data.Map.Internal.Map k)
instance TextShow.Classes.TextShow2 Data.Map.Internal.Map
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Data.Sequence.Internal.Seq a)
instance TextShow.Classes.TextShow1 Data.Sequence.Internal.Seq


-- | <a>TextShow</a> instances for data types in the <tt>hoopl</tt>
--   library.
--   
--   <i>Since: 2</i>
module TextShow.Compiler.Hoopl
instance TextShow.Classes.TextShow Compiler.Hoopl.Unique.UniqueSet
instance TextShow.Classes.TextShow Compiler.Hoopl.Passes.Dominator.DominatorNode
instance TextShow.Classes.TextShow Compiler.Hoopl.Passes.Dominator.DominatorTree
instance TextShow.Classes.TextShow Compiler.Hoopl.Passes.Dominator.DPath
instance TextShow.Classes.TextShow1 Compiler.Hoopl.Unique.UniqueMap
instance TextShow.Classes.TextShow v => TextShow.Classes.TextShow (Compiler.Hoopl.Unique.UniqueMap v)
instance TextShow.Classes.TextShow Compiler.Hoopl.Label.LabelSet
instance TextShow.Classes.TextShow a => TextShow.Classes.TextShow (Compiler.Hoopl.Pointed.Pointed t b a)
instance TextShow.Classes.TextShow1 (Compiler.Hoopl.Pointed.Pointed t b)
instance TextShow.Classes.TextShow2 (Compiler.Hoopl.Pointed.Pointed t)
instance TextShow.Classes.TextShow1 Compiler.Hoopl.Label.LabelMap
instance TextShow.Classes.TextShow v => TextShow.Classes.TextShow (Compiler.Hoopl.Label.LabelMap v)
instance TextShow.Classes.TextShow Compiler.Hoopl.Label.Label


-- | <a>TextShow</a> instances for monad transformers.
--   
--   <i>Since: 2</i>
module TextShow.Control.Monad.Trans
instance (TextShow.Classes.TextShow e, TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Error.ErrorT e m a)
instance (TextShow.Classes.TextShow e, TextShow.Classes.TextShow1 m) => TextShow.Classes.TextShow1 (Control.Monad.Trans.Error.ErrorT e m)
instance (TextShow.Classes.TextShow e, TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Except.ExceptT e m a)
instance (TextShow.Classes.TextShow e, TextShow.Classes.TextShow1 m) => TextShow.Classes.TextShow1 (Control.Monad.Trans.Except.ExceptT e m)
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Identity.IdentityT f a)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow1 (Control.Monad.Trans.Identity.IdentityT f)
instance (TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.List.ListT m a)
instance TextShow.Classes.TextShow1 m => TextShow.Classes.TextShow1 (Control.Monad.Trans.List.ListT m)
instance (TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Maybe.MaybeT m a)
instance TextShow.Classes.TextShow1 m => TextShow.Classes.TextShow1 (Control.Monad.Trans.Maybe.MaybeT m)
instance (TextShow.Classes.TextShow w, TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Writer.Lazy.WriterT w m a)
instance (TextShow.Classes.TextShow w, TextShow.Classes.TextShow1 m) => TextShow.Classes.TextShow1 (Control.Monad.Trans.Writer.Lazy.WriterT w m)
instance (TextShow.Classes.TextShow w, TextShow.Classes.TextShow1 m, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Monad.Trans.Writer.Strict.WriterT w m a)
instance (TextShow.Classes.TextShow w, TextShow.Classes.TextShow1 m) => TextShow.Classes.TextShow1 (Control.Monad.Trans.Writer.Strict.WriterT w m)


-- | <a>TextShow</a> instances for applicative functor transformers.
--   
--   <i>Since: 2</i>
module TextShow.Control.Applicative.Trans
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Applicative.Backwards.Backwards f a)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow1 (Control.Applicative.Backwards.Backwards f)
instance (TextShow.Classes.TextShow1 f, TextShow.Classes.TextShow a) => TextShow.Classes.TextShow (Control.Applicative.Lift.Lift f a)
instance TextShow.Classes.TextShow1 f => TextShow.Classes.TextShow1 (Control.Applicative.Lift.Lift f)


-- | Additional <a>TextShow</a>, <a>TextShow1</a>, and <a>TextShow2</a>
--   instances not provided by <tt>text-show</tt>.
--   
--   <i>Since: 2</i>
module TextShow.Instances

-- | Conversion of values to <tt>Text</tt>. Because there are both strict
--   and lazy <tt>Text</tt> variants, the <a>TextShow</a> class
--   deliberately avoids using <tt>Text</tt> in its functions. Instead,
--   <a>showbPrec</a>, <a>showb</a>, and <a>showbList</a> all return
--   <a>Builder</a>, an efficient intermediate form that can be converted
--   to either kind of <tt>Text</tt>.
--   
--   <a>Builder</a> is a <a>Monoid</a>, so it is useful to use the
--   <a>mappend</a> (or <a>&lt;&gt;</a>) function to combine
--   <a>Builder</a>s when creating <a>TextShow</a> instances. As an
--   example:
--   
--   <pre>
--   import Data.Monoid
--   import TextShow
--   
--   data Example = Example Int Int
--   instance TextShow Example where
--       showb (Example i1 i2) = showb i1 &lt;&gt; showbSpace &lt;&gt; showb i2
--   </pre>
--   
--   If you do not want to create <a>TextShow</a> instances manually, you
--   can alternatively use the <a>TextShow.TH</a> module to automatically
--   generate default <a>TextShow</a> instances using Template Haskell, or
--   the <a>TextShow.Generic</a> module to quickly define <a>TextShow</a>
--   instances using <tt>genericShowbPrec</tt>.
--   
--   <i>Since: 2</i>
class TextShow a

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

-- | Converts a value to a strict <a>Text</a>. If you hand-define this, it
--   should satisfy:
--   
--   <pre>
--   <a>showb</a> = <a>showbPrec</a> 0
--   </pre>
--   
--   <i>Since: 2</i>
showb :: TextShow a => a -> Builder

-- | Converts a list of values to a <a>Builder</a>. By default, this is
--   defined as <tt>'showbList = <a>showbListWith</a> <a>showb</a></tt>,
--   but it can be overridden to allow for specialized displaying of lists
--   (e.g., lists of <a>Char</a>s).
--   
--   <i>Since: 2</i>
showbList :: TextShow a => [a] -> Builder

-- | Converts a value to a strict <a>Text</a> with the given precedence.
--   This can be overridden for efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showtPrec</a> p = <a>toStrict</a> . <a>showtlPrec</a> p
--   </pre>
--   
--   <i>Since: 3</i>
showtPrec :: TextShow a => Int -> a -> Text

-- | Converts a value to a strict <a>Text</a>. This can be overridden for
--   efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showt</a> = <a>showtPrec</a> 0
--   <a>showt</a> = <a>toStrict</a> . <a>showtl</a>
--   </pre>
--   
--   The first equation is the default definition of <a>showt</a>.
--   
--   <i>Since: 3</i>
showt :: TextShow a => a -> Text

-- | Converts a list of values to a strict <a>Text</a>. This can be
--   overridden for efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showtList</a> = <a>toStrict</a> . <a>showtlList</a>
--   </pre>
--   
--   <i>Since: 3</i>
showtList :: TextShow a => [a] -> Text

-- | Converts a value to a lazy <a>Text</a> with the given precedence. This
--   can be overridden for efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showtlPrec</a> p = <a>toLazyText</a> . <a>showbPrec</a> p
--   </pre>
--   
--   <i>Since: 3</i>
showtlPrec :: TextShow a => Int -> a -> Text

-- | Converts a value to a lazy <a>Text</a>. This can be overridden for
--   efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showtl</a> = <a>showtlPrec</a> 0
--   <a>showtl</a> = <a>toLazyText</a> . <a>showb</a>
--   </pre>
--   
--   The first equation is the default definition of <a>showtl</a>.
--   
--   <i>Since: 3</i>
showtl :: TextShow a => a -> Text

-- | Converts a list of values to a lazy <a>Text</a>. This can be
--   overridden for efficiency, but it should satisfy:
--   
--   <pre>
--   <a>showtlList</a> = <a>toLazyText</a> . <a>showbList</a>
--   </pre>
--   
--   <i>Since: 3</i>
showtlList :: TextShow a => [a] -> Text

-- | Lifting of the <a>TextShow</a> class to unary type constructors.
--   
--   <i>Since: 2</i>
class TextShow1 (f :: * -> *)

-- | <a>showbPrec</a> function for an application of the type constructor
--   based on <a>showbPrec</a> and <a>showbList</a> functions for the
--   argument type.
--   
--   <i>Since: 3</i>
liftShowbPrec :: TextShow1 f => (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> f a -> Builder

-- | <a>showbList</a> function for an application of the type constructor
--   based on <a>showbPrec</a> and <a>showbList</a> functions for the
--   argument type. The default implementation using standard list syntax
--   is correct for most types.
--   
--   <i>Since: 3</i>
liftShowbList :: TextShow1 f => (Int -> a -> Builder) -> ([a] -> Builder) -> [f a] -> Builder

-- | Lifting of the <a>TextShow</a> class to binary type constructors.
--   
--   <i>Since: 2</i>
class TextShow2 (f :: * -> * -> *)

-- | <a>showbPrec</a> function for an application of the type constructor
--   based on <a>showbPrec</a> and <a>showbList</a> functions for the
--   argument types.
--   
--   <i>Since: 3</i>
liftShowbPrec2 :: TextShow2 f => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> f a b -> Builder

-- | <a>showbList</a> function for an application of the type constructor
--   based on <a>showbPrec</a> and <a>showbList</a> functions for the
--   argument types. The default implementation using standard list syntax
--   is correct for most types.
--   
--   <i>Since: 3</i>
liftShowbList2 :: TextShow2 f => (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [f a b] -> Builder
