use super::*;
pub trait CheckedIndex<T>:
From<T>
+ Into<Option<T>>
+ Add<Output = Self>
+ Add<T, Output = Self>
+ Sub<Output = Self>
+ Sub<T, Output = Self>
+ Mul<T, Output = Self>
+ Div<T, Output = Self>
+ Rem<T, Output = Self>
{
fn invalid() -> Self;
fn is_valid(&self) -> bool;
fn unwrap(self) -> T;
fn expect(self, msg: &str) -> T;
fn map<F: FnOnce(T) -> T>(self, f: F) -> Self;
fn map_or<U, F: FnOnce(T) -> U>(self, default: U, f: F) -> U;
fn into_inner(self) -> T;
}
impl CheckedIndex<usize> for Index {
#[inline]
fn invalid() -> Self {
Index::INVALID
}
#[inline]
fn is_valid(&self) -> bool {
*self != Self::INVALID
}
#[inline]
fn unwrap(self) -> usize {
self.expect("Unhandled Invalid Index.")
}
#[inline]
fn expect(self, msg: &str) -> usize {
if self.is_valid() {
self.0
} else {
panic!("{}", msg)
}
}
#[inline]
fn map<F: FnOnce(usize) -> usize>(self, f: F) -> Index {
if self.is_valid() {
Index::new(f(self.0 as usize))
} else {
self
}
}
#[inline]
fn map_or<U, F: FnOnce(usize) -> U>(self, default: U, f: F) -> U {
if self.is_valid() {
f(self.0 as usize)
} else {
default
}
}
#[inline]
fn into_inner(self) -> usize {
self.0
}
}