id_sys 0.1.0

Provides data structures which can be marked such that they only work with similarly marked integer data types.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use crate::{internal::Sealed, IdArray};

pub trait ArrayExt<TValue, const N: usize>: Sealed {
    fn as_id_array<TMarker: ?Sized>(&self) -> &IdArray<TMarker, TValue, N>;

    fn as_mut_id_array<TMarker: ?Sized>(&mut self) -> &mut IdArray<TMarker, TValue, N>;

    fn into_id_array<TMarker: ?Sized>(self) -> IdArray<TMarker, TValue, N>;
}

impl<TValue, const N: usize> ArrayExt<TValue, N> for [TValue; N] {
    fn as_id_array<TMarker: ?Sized>(&self) -> &IdArray<TMarker, TValue, N> {
        IdArray::from_array_ref(self)
    }

    fn as_mut_id_array<TMarker: ?Sized>(&mut self) -> &mut IdArray<TMarker, TValue, N> {
        IdArray::from_mut_array(self)
    }

    fn into_id_array<TMarker: ?Sized>(self) -> IdArray<TMarker, TValue, N> {
        IdArray::from_array(self)
    }
}