mitsein 0.9.0

Strongly typed APIs for non-empty collections, slices, and iterators.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

use core::hint;
use core::num::NonZeroUsize;
use core::slice::SliceIndex;

use crate::safety;

#[cfg(feature = "arrayvec")]
impl<T, const N: usize> safety::ArrayVecExt<T> for arrayvec::ArrayVec<T, N> {
    #[inline(always)]
    unsafe fn push_maybe_unchecked(&mut self, item: T) {
        unsafe { self.push_unchecked(item) }
    }
}

impl safety::NonZeroExt<usize> for NonZeroUsize {
    #[inline(always)]
    unsafe fn new_maybe_unchecked(n: usize) -> Self {
        unsafe { NonZeroUsize::new_unchecked(n) }
    }
}

impl<T> safety::OptionExt<T> for Option<T> {
    #[inline(always)]
    unsafe fn unwrap_maybe_unchecked(self) -> T {
        unsafe { self.unwrap_unchecked() }
    }
}

impl<T, E> safety::ResultExt<T, E> for Result<T, E> {
    #[inline(always)]
    unsafe fn unwrap_maybe_unchecked(self) -> T {
        unsafe { self.unwrap_unchecked() }
    }
}

impl<T> safety::SliceExt<T> for [T] {
    #[inline(always)]
    unsafe fn get_maybe_unchecked<I>(&self, index: I) -> &<I as SliceIndex<[T]>>::Output
    where
        I: SliceIndex<[T]>,
    {
        unsafe { self.get_unchecked(index) }
    }

    #[inline(always)]
    unsafe fn get_maybe_unchecked_mut<I>(&mut self, index: I) -> &mut <I as SliceIndex<[T]>>::Output
    where
        I: SliceIndex<[T]>,
    {
        unsafe { self.get_unchecked_mut(index) }
    }
}

/// # Safety
///
/// `n` must be non-zero.
#[inline(always)]
pub const unsafe fn non_zero_from_usize_maybe_unchecked(n: usize) -> NonZeroUsize {
    unsafe { NonZeroUsize::new_unchecked(n) }
}

/// # Safety
///
/// Reaching this function is undefined behavior.
#[inline(always)]
pub const unsafe fn unreachable_maybe_unchecked() -> ! {
    unsafe { hint::unreachable_unchecked() }
}

/// # Safety
///
/// `option` must be [`Some`].
#[inline(always)]
pub const unsafe fn unwrap_option_maybe_unchecked<T>(option: Option<T>) -> T {
    unsafe { option.unwrap_unchecked() }
}