Encodings

Aggregation module for the machine-independent encoding layer: the shared self-delimiting block framing and its parsers (Complexitylib.Encoding.Delimit), the pairing codec used by machine inputs (Complexitylib.Encoding.Pairing), the exact nested-pair stack encoding (Complexitylib.Encoding.Stack), canonical minimal binary natural-number fields (Complexitylib.Encoding.BinaryNat), binary coefficient lists with checked addition, carryless multiplication, runtime-modulus remainder, bounded modular squaring, blockwise Horner evaluation, trinomial generation, and coefficient-matrix transposition (Complexitylib.Encoding.BitPolynomial and its submodules), and the rose-tree Data type (Complexitylib.Encoding.Data) together with the DataEncode typeclass and its derived bitstring encoding (Complexitylib.Encoding.DataEncode), and a model of the bracket scan that reads one child back out of a serialized list (Complexitylib.Encoding.DataScan).