Struct chalk_ir::fold::in_place::VecMappedInPlace

struct VecMappedInPlace<T, U> {
    ptr: *mut T,
    len: usize,
    cap: usize,
    map_in_progress: usize,
    _elem_tys: PhantomData<(T, U)>,
}

Takes ownership of a Vec that is being mapped in place, cleaning up if the map fails.

Fields

ptr: *mut T

len: usize

cap: usize

map_in_progress: usize

_elem_tys: PhantomData<(T, U)>

Implementations

impl<T, U> VecMappedInPlace<T, U>

fn new(vec: Vec<T>) -> Self

unsafe fn finish(self) -> Vec<U>

Converts back into a Vec once the map is complete.

Trait Implementations

impl<T, U> Drop for VecMappedInPlace<T, U>

VecMappedInPlace drops everything but the element that was passed to map when it panicked or returned an error. Everything before that index in the vector has type U (it has been mapped) and everything after it has type T (it has not been mapped).

 mapped
 |      not yet mapped
 |----| |-----|
[UUUU UxTT TTTT]
       ^
   `map_in_progress` (not dropped)

fn drop(&mut self)

Executes the destructor for this type.