Function in bytes coil-stdlib

concat

fn concat(Vec<byte> a, Vec<byte> b) -> Vec<byte>
Import
use bytes::{concat};
Source: src/bytes.hy

Returns a new buffer holding a followed by b.

Parameters#

NameType
aVec<byte>
bVec<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 when a[ao..ao+n) equals b[bo..bo+n) (caller guarantees bounds).
  • to_hex: Encodes buf as lowercase hexadecimal, two digits per byte.
  • from_hex: Decodes hexadecimal text (either case) into bytes.
  • slice: Returns a copy of src[start..end] (end exclusive), with both offsets clamped to the buffer.
  • eq: Returns true when a and b have the same length and the same bytes.
  • find_from: Returns the offset of the first needle in hay at or after start, or -1.
  • find: Returns the offset of the first needle in hay, or -1.
  • rfind: Returns the offset of the last needle in hay, or -1.
↑ ↓ navigate ↵ open