find_from

fn find_from(Vec<byte> hay, Vec<byte> needle, int start) -> int

use bytes::{find_from};

Returns the offset of the first needle in hay at or after start, or -1.

Parameters#

Returns#

int

Contracts#

Checked according to --contracts (see Contracts).

ensures result >= -1 && result <= hay.len()
ensures result < 0 || result >= start || (start > hay.len() && result == hay.len())
ensures result < 0 || (result + needle.len() <= hay.len() && region_eq(hay, result, needle, 0, needle.len()))

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.
• concat: Returns a new buffer holding a followed by b.
• eq: Returns true when a and b have the same length and the same bytes.
• find: Returns the offset of the first needle in hay, or -1.
• rfind: Returns the offset of the last needle in hay, or -1.