+9

src/protobin.gleam

Reviewed

··· 346 346 single_or_raw(of: decode.bit_array, named: "BitArray", default: <<>>) 347 347 } 348 348 349 349 + /// Decode a `bytes` field. The result is guaranteed to be byte-aligned. 350 350 + pub fn decode_bytes() -> Decoder(BitArray) { 351 351 + use bits <- decode.then(single_or_raw_bit_array()) 352 352 + case bits { 353 353 + <<_:bytes>> -> decode.success(bits) 354 354 + _ -> decode.failure(<<>>, "Bytes") 355 355 + } 356 356 + } 357 357 + 349 358 pub fn decode_protobuf( 350 359 // Passed as a function so recursive decoders are easier 351 360 using decoder: fn() -> Decoder(t),

+41

test/protobin_test.gleam

Reviewed

··· 282 282 ) 283 283 } 284 284 285 285 + type BytesFields { 286 286 + BytesFields(data: BitArray, tag: BitArray) 287 287 + } 288 288 + 289 289 + fn bytes_fields_decoder() -> Decoder(BytesFields) { 290 290 + use data <- decode.field(3, protobin.decode_bytes()) 291 291 + use tag <- decode.field(9, protobin.decode_bytes()) 292 292 + BytesFields(data:, tag:) |> decode.success 293 293 + } 294 294 + 295 295 + pub fn bytes_fields_test() { 296 296 + let bits = << 297 297 + // field 3 298 298 + 0x1a, 299 299 + 0x03, 300 300 + 0x01, 301 301 + 0x02, 302 302 + 0x03, 303 303 + // field 9 304 304 + 0x4a, 305 305 + 0x04, 306 306 + 0x0a, 307 307 + 0x0b, 308 308 + 0x0c, 309 309 + 0x0d, 310 310 + >> 311 311 + let assert Ok(parsed) = parse(from: bits, using: bytes_fields_decoder()) 312 312 + 313 313 + assert parsed 314 314 + == Parsed( 315 315 + value: BytesFields(data: <<0x01, 0x02, 0x03>>, tag: << 316 316 + 0x0a, 317 317 + 0x0b, 318 318 + 0x0c, 319 319 + 0x0d, 320 320 + >>), 321 321 + rest: <<>>, 322 322 + pos: 11, 323 323 + ) 324 324 + } 325 325 + 285 326 pub fn does_not_ignore_groups_test() { 286 327 let path = "./test/ignores-groups.pb" 287 328 let assert Ok(bits) = file.read_bits(from: path)