Data.Text.All

Note that thanks to a restrictive lower bound on text, you can be sure that the following things will be present in the Data.Text reexport:

• The takeWhileEnd function.
• An instance for Semigroup Text.
• An instance for Binary Text.
• An instance for printf (i.e. you can use a Text as one of printf's arguments).

Standard modules from text

module Data.Text

module Data.Text.IO

module Data.Text.Encoding

Lazy Text

type LText = Text

Conversion

These functions can convert from strict/lazy Text, Builder, String, and strict/lazy ByteString (in which case they use lenient UTF-8 decoding).

toStrict :: ToStrict t => t -> Text

toLazy :: ToLazy t => t -> LText

toBuilder :: ToBuilder t => t -> Builder

toString :: ToString t => t -> String

toByteString :: ToByteString t => t -> ByteString

toLByteString :: ToLByteString t => t -> ByteString

Showing

Variants below use show from Prelude. If you want faster showing, either use text-show or some formatting library.

show :: Show a => a -> Text

lshow :: Show a => a -> LText

bshow :: Show a => a -> Builder

Formatting

format is a function similar to printf in spirit. Don't forget to enable OverloadedStrings if you want to use it!

>>> format "{}+{}={}" (2, 2, 4)
"2+2=4"

If you have only one argument, use a list:

>>> format "2+2={}" [4]
"2+2=4"

There are some formatting options available:

>>> format "123 = 0x{}, pi = {}" (hex 123, fixed 5 pi)
"123 = 0x7b, pi = 3.14159"

For more formatters, see Data.Text.Format.

module Data.Text.Format

module Data.Text.Buildable

format :: Params ps => Format -> ps -> Text

lformat :: Params ps => Format -> ps -> LText

bformat :: Params ps => Format -> ps -> Builder

Builder

data 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.

Instances

Eq Builder

Methods

(==) :: Builder -> Builder -> Bool

(/=) :: Builder -> Builder -> Bool

Ord Builder

Methods

compare :: Builder -> Builder -> Ordering

(<) :: Builder -> Builder -> Bool

(<=) :: Builder -> Builder -> Bool

(>) :: Builder -> Builder -> Bool

(>=) :: Builder -> Builder -> Bool

max :: Builder -> Builder -> Builder

min :: Builder -> Builder -> Builder

Show Builder

Methods

showsPrec :: Int -> Builder -> ShowS

show :: Builder -> String

showList :: [Builder] -> ShowS

IsString Builder

Methods

fromString :: String -> Builder

Semigroup Builder

Methods

(<>) :: Builder -> Builder -> Builder

sconcat :: NonEmpty Builder -> Builder

stimes :: Integral b => b -> Builder -> Builder

Monoid Builder

Methods

mempty :: Builder

mappend :: Builder -> Builder -> Builder

mconcat :: [Builder] -> Builder

Buildable Builder

Methods

build :: Builder -> Builder

bsingleton :: Char -> Builder

A Builder producing a single character.

flush :: Builder

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