Z.Data.Text.Builder

Base on UTF8 compatible textual builders from Builder, we provide a newtype wrapper TextBuilder which can be directly used to build Text.

We also provide faster alternative to Show class, i.e. ToText, which also provides Generic based instances deriving.

ToText class

class ToText a where

A class similar to Show, serving the purpose that quickly convert a data type to a Text value.

Minimal complete definition

Nothing

Methods

toTextBuilder :: Int -> a -> TextBuilder ()

default toTextBuilder :: (Generic a, GToText (Rep a)) => Int -> a -> TextBuilder ()

Instances

ToText Bool

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Bool -> TextBuilder ()

ToText Char

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Char -> TextBuilder ()

ToText Double

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Double -> TextBuilder ()

ToText Float

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Float -> TextBuilder ()

ToText Int

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Int -> TextBuilder ()

ToText Int8

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Int8 -> TextBuilder ()

ToText Int16

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Int16 -> TextBuilder ()

ToText Int32

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Int32 -> TextBuilder ()

ToText Int64

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Int64 -> TextBuilder ()

ToText Integer

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Integer -> TextBuilder ()

ToText Natural

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Natural -> TextBuilder ()

ToText Ordering

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Ordering -> TextBuilder ()

ToText Word

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Word -> TextBuilder ()

ToText Word8

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Word8 -> TextBuilder ()

ToText Word16

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Word16 -> TextBuilder ()

ToText Word32

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Word32 -> TextBuilder ()

ToText Word64

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Word64 -> TextBuilder ()

ToText ()

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> () -> TextBuilder ()

ToText Version

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Version -> TextBuilder ()

ToText Text

To keep sync with Show instance's escaping rule, we reuse show here, so it won't be as fast as memcpy.

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Text -> TextBuilder ()

ToText Scientific

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Scientific -> TextBuilder ()

ToText Str

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Str -> TextBuilder ()

ToText FlatIntSet

Defined in Z.Data.Vector.FlatIntSet

Methods

toTextBuilder :: Int -> FlatIntSet -> TextBuilder ()

ToText Value

Defined in Z.Data.JSON.Value

Methods

toTextBuilder :: Int -> Value -> TextBuilder ()

ToText a => ToText [a]

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> [a] -> TextBuilder ()

ToText a => ToText (Maybe a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Maybe a -> TextBuilder ()

(ToText a, Integral a) => ToText (Ratio a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Ratio a -> TextBuilder ()

ToText a => ToText (Min a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Min a -> TextBuilder ()

ToText a => ToText (Max a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Max a -> TextBuilder ()

ToText a => ToText (First a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> First a -> TextBuilder ()

ToText a => ToText (Last a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Last a -> TextBuilder ()

ToText a => ToText (WrappedMonoid a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> WrappedMonoid a -> TextBuilder ()

ToText a => ToText (Identity a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Identity a -> TextBuilder ()

ToText a => ToText (First a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> First a -> TextBuilder ()

ToText a => ToText (Last a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Last a -> TextBuilder ()

ToText a => ToText (Dual a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Dual a -> TextBuilder ()

ToText a => ToText (NonEmpty a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> NonEmpty a -> TextBuilder ()

(Prim a, ToText a) => ToText (PrimVector a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> PrimVector a -> TextBuilder ()

ToText a => ToText (Vector a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Vector a -> TextBuilder ()

ToText (TextBuilder a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> TextBuilder a -> TextBuilder ()

ToText v => ToText (FlatSet v)

Defined in Z.Data.Vector.FlatSet

Methods

toTextBuilder :: Int -> FlatSet v -> TextBuilder ()

ToText v => ToText (FlatIntMap v)

Defined in Z.Data.Vector.FlatIntMap

Methods

toTextBuilder :: Int -> FlatIntMap v -> TextBuilder ()

(ToText a, ToText b) => ToText (Either a b)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Either a b -> TextBuilder ()

(ToText a, ToText b) => ToText (a, b)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b) -> TextBuilder ()

HasResolution a => ToText (Fixed a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Fixed a -> TextBuilder ()

ToText (Proxy a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Proxy a -> TextBuilder ()

(ToText k, ToText v) => ToText (FlatMap k v)

Defined in Z.Data.Vector.FlatMap

Methods

toTextBuilder :: Int -> FlatMap k v -> TextBuilder ()

(ToText a, ToText b, ToText c) => ToText (a, b, c)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b, c) -> TextBuilder ()

ToText a => ToText (Const a b)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Const a b -> TextBuilder ()

ToText b => ToText (Tagged a b)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Tagged a b -> TextBuilder ()

(ToText a, ToText b, ToText c, ToText d) => ToText (a, b, c, d)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b, c, d) -> TextBuilder ()

(ToText (f a), ToText (g a)) => ToText (Product f g a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Product f g a -> TextBuilder ()

(ToText (f a), ToText (g a), ToText a) => ToText (Sum f g a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Sum f g a -> TextBuilder ()

(ToText a, ToText b, ToText c, ToText d, ToText e) => ToText (a, b, c, d, e)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b, c, d, e) -> TextBuilder ()

ToText (f (g a)) => ToText (Compose f g a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Compose f g a -> TextBuilder ()

(ToText a, ToText b, ToText c, ToText d, ToText e, ToText f) => ToText (a, b, c, d, e, f)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b, c, d, e, f) -> TextBuilder ()

(ToText a, ToText b, ToText c, ToText d, ToText e, ToText f, ToText g) => ToText (a, b, c, d, e, f, g)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> (a, b, c, d, e, f, g) -> TextBuilder ()

toText :: ToText a => a -> Text

Directly convert data to Text.

toBuilder :: ToText a => a -> Builder ()

Directly convert data to Builder.

toBytes :: ToText a => a -> Bytes

Directly convert data to Bytes.

toString :: ToText a => a -> String

Faster show replacement.

Str newtype

newtype Str

Newtype wrapper for [Char] to provide textual instances.

To encourage using Text as the textual representation, we didn't provide special treatment to differentiate instances between [a] and [Char] in various places. This newtype is therefore to provide instances similar to T.Text, in case you really need to wrap a String.

Constructors

Str

Fields

• chrs :: [Char]

Instances

Eq Str

Defined in Z.Data.Text.Builder

Methods

(==) :: Str -> Str -> Bool

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

Data Str

Defined in Z.Data.Text.Builder

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Str -> c Str

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Str

toConstr :: Str -> Constr

dataTypeOf :: Str -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Str)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Str)

gmapT :: (forall b. Data b => b -> b) -> Str -> Str

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Str -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Str -> r

gmapQ :: (forall d. Data d => d -> u) -> Str -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Str -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Str -> m Str

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Str -> m Str

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Str -> m Str

Ord Str

Defined in Z.Data.Text.Builder

Methods

compare :: Str -> Str -> Ordering

(<) :: Str -> Str -> Bool

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

(>) :: Str -> Str -> Bool

(>=) :: Str -> Str -> Bool

max :: Str -> Str -> Str

min :: Str -> Str -> Str

Read Str

Defined in Z.Data.Text.Builder

Methods

readsPrec :: Int -> ReadS Str

readList :: ReadS [Str]

readPrec :: ReadPrec Str

readListPrec :: ReadPrec [Str]

Show Str

Defined in Z.Data.Text.Builder

Methods

showsPrec :: Int -> Str -> ShowS

show :: Str -> String

showList :: [Str] -> ShowS

Generic Str

Defined in Z.Data.Text.Builder

Associated Types

type Rep Str :: Type -> Type

Methods

from :: Str -> Rep Str x

to :: Rep Str x -> Str

ToText Str

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> Str -> TextBuilder ()

FromValue Str

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Str

EncodeJSON Str

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Str -> Builder ()

ToValue Str

Defined in Z.Data.JSON.Base

Methods

toValue :: Str -> Value

type Rep Str

Defined in Z.Data.Text.Builder

type Rep Str = D1 ('MetaData "Str" "Z.Data.Text.Builder" "Z-Data-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Str" 'PrefixI 'True) (S1 ('MetaSel ('Just "chrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char])))

Textual Builder

data TextBuilder a

Buidlers which guarantee UTF-8 encoding, thus can be used to build text directly.

Notes on IsString instance: It's recommended to use IsString instance, there's a rewrite rule to turn encoding loop into a memcpy, which is much faster (the same rule also apply to stringUTF8). Different from Builder (), TextBuilder ()'s IsString instance will give you desired UTF8 guarantees:

• NUL will be written directly as x00.
• xD800 ~ xDFFF will be replaced by replacement char.

Instances

Monad TextBuilder

Defined in Z.Data.Text.Builder

Methods

(>>=) :: TextBuilder a -> (a -> TextBuilder b) -> TextBuilder b

(>>) :: TextBuilder a -> TextBuilder b -> TextBuilder b

return :: a -> TextBuilder a

Functor TextBuilder

Defined in Z.Data.Text.Builder

Methods

fmap :: (a -> b) -> TextBuilder a -> TextBuilder b

(<$) :: a -> TextBuilder b -> TextBuilder a

Applicative TextBuilder

Defined in Z.Data.Text.Builder

Methods

pure :: a -> TextBuilder a

(<*>) :: TextBuilder (a -> b) -> TextBuilder a -> TextBuilder b

liftA2 :: (a -> b -> c) -> TextBuilder a -> TextBuilder b -> TextBuilder c

(*>) :: TextBuilder a -> TextBuilder b -> TextBuilder b

(<*) :: TextBuilder a -> TextBuilder b -> TextBuilder a

Show (TextBuilder a)

Defined in Z.Data.Text.Builder

Methods

showsPrec :: Int -> TextBuilder a -> ShowS

show :: TextBuilder a -> String

showList :: [TextBuilder a] -> ShowS

a ~ () => IsString (TextBuilder a)

Defined in Z.Data.Text.Builder

Methods

fromString :: String -> TextBuilder a

Semigroup (TextBuilder ())

Defined in Z.Data.Text.Builder

Methods

(<>) :: TextBuilder () -> TextBuilder () -> TextBuilder ()

sconcat :: NonEmpty (TextBuilder ()) -> TextBuilder ()

stimes :: Integral b => b -> TextBuilder () -> TextBuilder ()

Monoid (TextBuilder ())

Defined in Z.Data.Text.Builder

Methods

mempty :: TextBuilder ()

mappend :: TextBuilder () -> TextBuilder () -> TextBuilder ()

mconcat :: [TextBuilder ()] -> TextBuilder ()

Arbitrary (TextBuilder ())

Defined in Z.Data.Text.Builder

Methods

arbitrary :: Gen (TextBuilder ())

shrink :: TextBuilder () -> [TextBuilder ()]

CoArbitrary (TextBuilder ())

Defined in Z.Data.Text.Builder

Methods

coarbitrary :: TextBuilder () -> Gen b -> Gen b

ToText (TextBuilder a)

Defined in Z.Data.Text.Builder

Methods

toTextBuilder :: Int -> TextBuilder a -> TextBuilder ()

getBuilder :: TextBuilder a -> Builder a

unsafeFromBuilder :: Builder a -> TextBuilder a

Unsafely turn a Builder into TextBuilder, thus it's user's responsibility to ensure only UTF-8 complied bytes are written.

buildText :: TextBuilder a -> Text

Build a Text using TextBuilder, which provide UTF-8 encoding guarantee.

Basic UTF8 builders

stringUTF8 :: String -> TextBuilder ()

Turn String into TextBuilder with UTF8 encoding

Illegal codepoints will be written as replacementChars. This function will be rewritten into a memcpy if possible, (running a fast UTF-8 validation at runtime first).

charUTF8 :: Char -> TextBuilder ()

Turn Char into TextBuilder with UTF8 encoding

Illegal codepoints will be written as replacementChars.

string7 :: String -> TextBuilder ()

Turn String into TextBuilder with ASCII7 encoding

Codepoints beyond 'x7F' will be chopped.

char7 :: Char -> TextBuilder ()

Turn Char into TextBuilder with ASCII7 encoding

Codepoints beyond 'x7F' will be chopped.

text :: Text -> TextBuilder ()

Write UTF8 encoded Text using Builder.

Note, if you're trying to write string literals builders, please open OverloadedStrings and use Builders IsString instance, it will be rewritten into a memcpy.

Numeric builders

Integral type formatting

data IFormat

Integral formatting options.

Constructors

IFormat

Fields

• width :: Int

  total width, only effective with padding options

• padding :: Padding

  padding options

• posSign :: Bool

  show + when the number is positive

Instances

Eq IFormat

Defined in Z.Data.Builder.Numeric

Methods

(==) :: IFormat -> IFormat -> Bool

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

Ord IFormat

Defined in Z.Data.Builder.Numeric

Methods

compare :: IFormat -> IFormat -> Ordering

(<) :: IFormat -> IFormat -> Bool

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

(>) :: IFormat -> IFormat -> Bool

(>=) :: IFormat -> IFormat -> Bool

max :: IFormat -> IFormat -> IFormat

min :: IFormat -> IFormat -> IFormat

Show IFormat

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> IFormat -> ShowS

show :: IFormat -> String

showList :: [IFormat] -> ShowS

Arbitrary IFormat

Defined in Z.Data.Builder.Numeric

Methods

arbitrary :: Gen IFormat

shrink :: IFormat -> [IFormat]

CoArbitrary IFormat

Defined in Z.Data.Builder.Numeric

Methods

coarbitrary :: IFormat -> Gen b -> Gen b

defaultIFormat :: IFormat

defaultIFormat = IFormat 0 NoPadding False

data Padding

Constructors

NoPadding

RightSpacePadding

LeftSpacePadding

ZeroPadding

Instances

Enum Padding

Defined in Z.Data.Builder.Numeric

Methods

succ :: Padding -> Padding

pred :: Padding -> Padding

toEnum :: Int -> Padding

fromEnum :: Padding -> Int

enumFrom :: Padding -> [Padding]

enumFromThen :: Padding -> Padding -> [Padding]

enumFromTo :: Padding -> Padding -> [Padding]

enumFromThenTo :: Padding -> Padding -> Padding -> [Padding]

Eq Padding

Defined in Z.Data.Builder.Numeric

Methods

(==) :: Padding -> Padding -> Bool

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

Ord Padding

Defined in Z.Data.Builder.Numeric

Methods

compare :: Padding -> Padding -> Ordering

(<) :: Padding -> Padding -> Bool

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

(>) :: Padding -> Padding -> Bool

(>=) :: Padding -> Padding -> Bool

max :: Padding -> Padding -> Padding

min :: Padding -> Padding -> Padding

Show Padding

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> Padding -> ShowS

show :: Padding -> String

showList :: [Padding] -> ShowS

Arbitrary Padding

Defined in Z.Data.Builder.Numeric

Methods

arbitrary :: Gen Padding

shrink :: Padding -> [Padding]

CoArbitrary Padding

Defined in Z.Data.Builder.Numeric

Methods

coarbitrary :: Padding -> Gen b -> Gen b

int :: (Integral a, Bounded a) => a -> TextBuilder ()

int = intWith defaultIFormat

intWith :: (Integral a, Bounded a) => IFormat -> a -> TextBuilder ()

Format a Bounded Integral type like Int or Word16 into decimal ascii digits.

integer :: Integer -> TextBuilder ()

Format a Integer into decimal ascii digits.

Fixded size hexidecimal formatting

hex :: (FiniteBits a, Integral a) => a -> TextBuilder ()

Format a FiniteBits Integral type into hex nibbles.

heX :: (FiniteBits a, Integral a) => a -> TextBuilder ()

The UPPERCASED version of hex.

IEEE float formating

data FFormat

Control the rendering of floating point numbers.

Constructors

Exponent

Scientific notation (e.g. 2.3e123).

Fixed

Standard decimal notation.

Generic

Use decimal notation for values between 0.1 and 9,999,999, and scientific notation otherwise.

Instances

Enum FFormat

Defined in Z.Data.Builder.Numeric

Methods

succ :: FFormat -> FFormat

pred :: FFormat -> FFormat

toEnum :: Int -> FFormat

fromEnum :: FFormat -> Int

enumFrom :: FFormat -> [FFormat]

enumFromThen :: FFormat -> FFormat -> [FFormat]

enumFromTo :: FFormat -> FFormat -> [FFormat]

enumFromThenTo :: FFormat -> FFormat -> FFormat -> [FFormat]

Read FFormat

Defined in Z.Data.Builder.Numeric

Methods

readsPrec :: Int -> ReadS FFormat

readList :: ReadS [FFormat]

readPrec :: ReadPrec FFormat

readListPrec :: ReadPrec [FFormat]

Show FFormat

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> FFormat -> ShowS

show :: FFormat -> String

showList :: [FFormat] -> ShowS

double :: Double -> TextBuilder ()

Decimal encoding of an IEEE Double.

Using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

doubleWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Double

-> TextBuilder ()

Format double-precision float using drisu3 with dragon4 fallback.

float :: Float -> TextBuilder ()

Decimal encoding of an IEEE Float.

Using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

floatWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Float

-> TextBuilder ()

Format single-precision float using drisu3 with dragon4 fallback.

scientific :: Scientific -> TextBuilder ()

A Builder which renders a scientific number to full precision, using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

scientificWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Scientific

-> TextBuilder ()

Like scientific but provides rendering options.

Builder helpers

paren :: TextBuilder () -> TextBuilder ()

add (...) to original builder.

parenWhen :: Bool -> TextBuilder () -> TextBuilder ()

Add "(..)" around builders when condition is met, otherwise add nothing.

This is useful when defining ToText instances.

curly :: TextBuilder () -> TextBuilder ()

add {...} to original builder.

square :: TextBuilder () -> TextBuilder ()

add [...] to original builder.

angle :: TextBuilder () -> TextBuilder ()

add ... to original builder.

quotes :: TextBuilder () -> TextBuilder ()

add "..." to original builder.

squotes :: TextBuilder () -> TextBuilder ()

add ... to original builder.

colon :: TextBuilder ()

write an ASCII :

comma :: TextBuilder ()

write an ASCII ,

intercalateVec

Arguments

:: Vec v a

=> TextBuilder ()

the seperator

-> (a -> TextBuilder ())

value formatter

-> v a

value list

-> TextBuilder ()

Use separator to connect a vector of builders.

intercalateList

Arguments

:: TextBuilder ()

the seperator

-> (a -> TextBuilder ())

value formatter

-> [a]

value vector

-> TextBuilder ()

Use separator to connect a list of builders.