Safe Haskell	None
Language	Haskell2010

Precursor.Text.Show

Synopsis

Documentation

class TextShow a where #

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

Minimal complete definition

showbPrec | showb

Methods

showbPrec :: Int -> a -> Builder #

Convert a value to a Builder with the given predence.

Since: 2

showb :: a -> Builder #

Converts a value to a strict Text. If you hand-define this, it should satisfy:

showb = showbPrec 0

Since: 2

showbList :: [a] -> Builder #

Converts a list of values to a Builder. By default, this is defined as 'showbList = showbListWith showb, but it can be overridden to allow for specialized displaying of lists (e.g., lists of Chars).

Since: 2

showtPrec :: Int -> a -> Text #

Converts a value to a strict Text with the given precedence. This can be overridden for efficiency, but it should satisfy:

showtPrec p = toStrict . showtlPrec p

Since: 3

showt :: a -> Text #

Converts a value to a strict Text. This can be overridden for efficiency, but it should satisfy:

showt = showtPrec 0
showt = toStrict . showtl

The first equation is the default definition of showt.

Since: 3

showtList :: [a] -> Text #

Converts a list of values to a strict Text. This can be overridden for efficiency, but it should satisfy:

showtList = toStrict . showtlList

Since: 3

showtlPrec :: Int -> a -> Text #

Converts a value to a lazy Text with the given precedence. This can be overridden for efficiency, but it should satisfy:

showtlPrec p = toLazyText . showbPrec p

Since: 3

showtl :: a -> Text #

Converts a value to a lazy Text. This can be overridden for efficiency, but it should satisfy:

showtl = showtlPrec 0
showtl = toLazyText . showb

The first equation is the default definition of showtl.

Since: 3

showtlList :: [a] -> Text #

Converts a list of values to a lazy Text. This can be overridden for efficiency, but it should satisfy:

showtlList = toLazyText . showbList

Since: 3

Instances

TextShow ConType
Methods showbPrec :: Int -> ConType -> Builder # showb :: ConType -> Builder # showbList :: [ConType] -> Builder # showtPrec :: Int -> ConType -> Text # showt :: ConType -> Text # showtList :: [ConType] -> Text # showtlPrec :: Int -> ConType -> Text # showtl :: ConType -> Text # showtlList :: [ConType] -> Text #
Show a => TextShow (FromStringShow a)
Methods showbPrec :: Int -> FromStringShow a -> Builder # showb :: FromStringShow a -> Builder # showbList :: [FromStringShow a] -> Builder # showtPrec :: Int -> FromStringShow a -> Text # showt :: FromStringShow a -> Text # showtList :: [FromStringShow a] -> Text # showtlPrec :: Int -> FromStringShow a -> Text # showtl :: FromStringShow a -> Text # showtlList :: [FromStringShow a] -> Text #
TextShow a => TextShow (FromTextShow a)
Methods showbPrec :: Int -> FromTextShow a -> Builder # showb :: FromTextShow a -> Builder # showbList :: [FromTextShow a] -> Builder # showtPrec :: Int -> FromTextShow a -> Text # showt :: FromTextShow a -> Text # showtList :: [FromTextShow a] -> Text # showtlPrec :: Int -> FromTextShow a -> Text # showtl :: FromTextShow a -> Text # showtlList :: [FromTextShow a] -> Text #
TextShow a => TextShow (Product a) #
Methods showbPrec :: Int -> Product a -> Builder # showb :: Product a -> Builder # showbList :: [Product a] -> Builder # showtPrec :: Int -> Product a -> Text # showt :: Product a -> Text # showtList :: [Product a] -> Text # showtlPrec :: Int -> Product a -> Text # showtl :: Product a -> Text # showtlList :: [Product a] -> Text #
TextShow a => TextShow (Sum a) #
Methods showbPrec :: Int -> Sum a -> Builder # showb :: Sum a -> Builder # showbList :: [Sum a] -> Builder # showtPrec :: Int -> Sum a -> Text # showt :: Sum a -> Text # showtList :: [Sum a] -> Text # showtlPrec :: Int -> Sum a -> Text # showtl :: Sum a -> Text # showtlList :: [Sum a] -> Text #
(Show1 f, Show a) => TextShow (FromStringShow1 * f a)	Not available if using `transformers-0.4`
Methods showbPrec :: Int -> FromStringShow1 * f a -> Builder # showb :: FromStringShow1 * f a -> Builder # showbList :: [FromStringShow1 * f a] -> Builder # showtPrec :: Int -> FromStringShow1 * f a -> Text # showt :: FromStringShow1 * f a -> Text # showtList :: [FromStringShow1 * f a] -> Text # showtlPrec :: Int -> FromStringShow1 * f a -> Text # showtl :: FromStringShow1 * f a -> Text # showtlList :: [FromStringShow1 * f a] -> Text #
(TextShow1 f, TextShow a) => TextShow (FromTextShow1 * f a)
Methods showbPrec :: Int -> FromTextShow1 * f a -> Builder # showb :: FromTextShow1 * f a -> Builder # showbList :: [FromTextShow1 * f a] -> Builder # showtPrec :: Int -> FromTextShow1 * f a -> Text # showt :: FromTextShow1 * f a -> Text # showtList :: [FromTextShow1 * f a] -> Text # showtlPrec :: Int -> FromTextShow1 * f a -> Text # showtl :: FromTextShow1 * f a -> Text # showtlList :: [FromTextShow1 * f a] -> Text #
(Show2 f, Show a, Show b) => TextShow (FromStringShow2 * * f a b)	Not available if using `transformers-0.4`
Methods showbPrec :: Int -> FromStringShow2 * * f a b -> Builder # showb :: FromStringShow2 * * f a b -> Builder # showbList :: [FromStringShow2 * * f a b] -> Builder # showtPrec :: Int -> FromStringShow2 * * f a b -> Text # showt :: FromStringShow2 * * f a b -> Text # showtList :: [FromStringShow2 * * f a b] -> Text # showtlPrec :: Int -> FromStringShow2 * * f a b -> Text # showtl :: FromStringShow2 * * f a b -> Text # showtlList :: [FromStringShow2 * * f a b] -> Text #
(TextShow2 f, TextShow a, TextShow b) => TextShow (FromTextShow2 * * f a b)
Methods showbPrec :: Int -> FromTextShow2 * * f a b -> Builder # showb :: FromTextShow2 * * f a b -> Builder # showbList :: [FromTextShow2 * * f a b] -> Builder # showtPrec :: Int -> FromTextShow2 * * f a b -> Text # showt :: FromTextShow2 * * f a b -> Text # showtList :: [FromTextShow2 * * f a b] -> Text # showtlPrec :: Int -> FromTextShow2 * * f a b -> Text # showtl :: FromTextShow2 * * f a b -> Text # showtlList :: [FromTextShow2 * * f a b] -> Text #

show :: TextShow a => a -> Text Source #

gShowPrec :: (Generic a, GTextShowB Zero (Rep a)) => Int -> a -> Builder Source #

print :: (TextShow a, MonadIO m) => a -> m () Source #