Specification of how to efficiently construct strict Text. Provides instances of Semigroup and Monoid, which have complexity of O(1).

Execute a builder producing a strict text.

Get the amount of characters.

Check whether the builder is empty.

Put builder, to stdout.

Put builder, to stderr.

Put builder, followed by a line, to stdout.

Put builder, followed by a line, to stderr.

Run the builder and pack the produced text into a new builder.

Useful to have around builders that you reuse, because a forced builder is much faster, since it's virtually a single call memcopy.

Intercalate builders.

Intercalate projecting values to builder.

Pad a builder from the left side to the specified length with the specified character.

Pad a builder from the right side to the specified length with the specified character.

Strict text.

Lazy text.

String.

ASCII byte string.

It's your responsibility to ensure that the bytes are in proper range, otherwise the produced text will be broken.

Hexadecimal readable representation of binary data.

Unicode character.

Unicode code point.

Decimal representation of an integral value.

Decimal representation of an unsigned integral value.

Decimal representation of an integral value with thousands separated by the specified character.

Decimal representation of an unsigned integral value with thousands separated by the specified character.

Data size in decimal notation over amount of bytes.

Unsigned binary number.

Unsigned binary number.

Hexadecimal representation of an integral value.

Unsigned hexadecimal representation of an integral value.

Decimal digit.

Hexadecimal digit.

Double with a fixed number of decimal places.

Double multiplied by 100 with a fixed number of decimal places applied and followed by a percent-sign.

General template for formatting date values according to the ISO8601 standard. The format is the following:

2021-11-24T12:11:02Z

Integrations with various time-libraries can be easily derived from that.

Time interval in seconds. Directly applicable to DiffTime and NominalDiffTime.

Evidence that there exists an unambiguous way to convert a type to and from TextBuilder.

Unlike conversion classes from other libs this class is lawful. The law is:

fromTextBuilder . toTextBuilder = id

This class does not provide implicit rendering, such as from integer to its decimal representation. There are multiple ways of representing an integer as text (e.g., hexadecimal, binary). The non-ambiguity is further enforced by the presence of the inverse conversion. In the integer case there is no way to read it from a textual form without a possibility of failing (e.g., when the input string cannot be parsed as an integer).

If you're looking for such conversion classes, this library is not a place for them, since there can be infinite amount of flavours of conversions. They are context-dependent and as such should be defined as part of the domain.