pad_right
fn pad_right(Vec<byte> src, int width, byte fill) -> Vec<byte> Import
Source: use bytes::{pad_right}; src/bytes.hy Returns src with fill bytes added at the end until it is width long; a longer src is returned unchanged.
Parameters#
| Name | Type |
|---|---|
src | Vec<byte> |
width | int |
fill | byte |
Returns#
Vec<byte>
Contracts#
Checked according to --contracts (see Contracts).
ensures result.len() >= src.len() && result.len() >= width
ensures result.len() == src.len() || result.len() == width
ensures starts_with(result, src)
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.concat: Returns a new buffer holdingafollowed byb.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.