Bounded package:bytebuild

The functions in this module are explict about the maximum number of bytes they require.

Convert a bounded builder to an unbounded one. If the size is a constant, use Arithmetic.Nat.constant as the first argument to let GHC conjure up this value for you.

Variant of To that can be encoded as a builder. Human-readable encodings are used when possible. For example, numbers are encoded an ascii-encoded decimal characters. UTF-8 is preferred for textual types. For types that represent arbitrary bytes (e.g. Bytes, ByteString), the bytes are preserved. The goal of this typeclass is to reduce the size of builders produced by quasiquotation.