Trait SliceIndex

pub trait SliceIndex<T>: SliceIndex<T>
where
    T: View + ?Sized,
{
    // Required methods
    fn in_bounds(self, seq: T::ViewTy) -> bool;
    fn has_value(self, seq: T::ViewTy, out: Self::Output) -> bool;
    fn resolve_elswhere(self, old: T::ViewTy, fin: T::ViewTy) -> bool;
}

Required Methods

fn in_bounds(self, seq: T::ViewTy) -> bool

logic

fn has_value(self, seq: T::ViewTy, out: Self::Output) -> bool

logic

fn resolve_elswhere(self, old: T::ViewTy, fin: T::ViewTy) -> bool

logic

Implementations on Foreign Types

impl<T> SliceIndex<[T]> for usize

fn in_bounds(self, seq: Seq<T>) -> bool

logic

pearlite! { self@ < seq.len() }

fn has_value(self, seq: Seq<T>, out: T) -> bool

logic

pearlite! { seq[self@] == out }

fn resolve_elswhere(self, old: Seq<T>, fin: Seq<T>) -> bool

logic

pearlite! { forall<i : Int> 0 <= i && i != self@ && i < old.len() ==> old[i] == fin[i] }

Implementors

impl<T> SliceIndex<[T]> for Range<usize>

impl<T> SliceIndex<[T]> for RangeFrom<usize>

impl<T> SliceIndex<[T]> for RangeFull

impl<T> SliceIndex<[T]> for RangeTo<usize>

impl<T> SliceIndex<[T]> for RangeToInclusive<usize>