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.

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.

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.

O(1). A Builder taking a single character, satisfying

• toLazyText (singleton c) = singleton c

O(1). A Builder taking a Text, satisfying

• toLazyText (fromText t) = fromChunks [t]

O(1). A Builder taking a lazy Text, satisfying

• toLazyText (fromLazyText t) = t

O(1). A Builder taking a String, satisfying

• toLazyText (fromString s) = fromChunks [S.pack s]

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

Control the rendering of floating point numbers.

Show a signed RealFloat value to full precision, using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.