gnat 0.1.10

Type-level numbers without extra bounds
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

use crate::array::{Array, ArrayLayout};

// SAFETY: Allowed by definition
unsafe impl<T, const L: usize> ArrayLayout for [T; L] {
    type Item = T;
}
// SAFETY: Allowed by definition
unsafe impl<T, N: crate::Nat, const L: usize> Array for [T; L]
where
    crate::consts::Usize<L>: crate::NatExpr<NatExpr = N>,
{
    type Length = N;
}

// SAFETY: Allowed by definition
unsafe impl<A: ArrayLayout> ArrayLayout for core::mem::ManuallyDrop<A> {
    type Item = core::mem::ManuallyDrop<A::Item>;
}
// SAFETY: Allowed by definition
unsafe impl<A: Array> Array for core::mem::ManuallyDrop<A> {
    type Length = A::Length;
}
// SAFETY: Allowed by definition
unsafe impl<A: Array> Array for core::mem::MaybeUninit<A> {
    type Item = core::mem::MaybeUninit<A::Item>;
    type Length = A::Length;
}
// SAFETY: repr(transparent)
unsafe impl<A: Array> Array for ArrApi<A> {
    type Item = A::Item;
    type Length = A::Length;
}