Calculate the length of a Builder without executing it

In the ELF format, there are absolute offsets pointing to positions after the offset.
Thus, calculating this offset requires knowing the length of several Builders, including the length of the Builder that will contain the offset itself.

With the current API and a naive approach that would force the Builders into lazy ByteStrings, you'd end up with <>.

One simple solution, suggested by Joe Hendrix, is to wrap the Builder in a type that contains the Builder and it's length.

data SizedBuilder = SB Int64 Builder

length (SB l _) = l
… + additional methods exported by Data.Binary.Builder

This API could be exposed from Data.Binary.Builder.Sized.

まず Data.Binary.Builder と、提案されている Data.Binary.Builder.Sized モジュールを読んでください。SizedBuilder API が長さを保持し、その長さと追加の Builder メソッドを公開し、説明されている再帰ループがない状態になれば完了です。

索引モデルが issue の本文から書いたものです。