concat
fn concat(Vec<byte> a, Vec<byte> b) -> Vec<byte> Import
Source: use bytes::{concat}; src/bytes.hy Returns a new buffer holding a followed by b.
Parameters#
| Name | Type |
|---|---|
a | Vec<byte> |
b | Vec<byte> |
Returns#
Vec<byte>
Contracts#
Checked according to --contracts (see Contracts).
ensures result.len() == a.len() + b.len()
ensures starts_with(result, a) && ends_with(result, b)
See also#
region_eq: True whena[ao..ao+n)equalsb[bo..bo+n)(caller guarantees bounds).to_hex: Encodesbufas lowercase hexadecimal, two digits per byte.from_hex: Decodes hexadecimal text (either case) into bytes.slice: Returns a copy ofsrc[start..end](end exclusive), with both offsets clamped to the buffer.eq: Returnstruewhenaandbhave the same length and the same bytes.find_from: Returns the offset of the firstneedleinhayat or afterstart, or-1.find: Returns the offset of the firstneedleinhay, or-1.rfind: Returns the offset of the lastneedleinhay, or-1.