intid-core 0.3.2

Defines the IntegerId trait without a dependency on intid_derive
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

#![allow(missing_docs)]
use core::num::NonZeroU32;

intid_core::define_newtype_id! {
    /// Docs should work fine.
    pub struct Plain(u32);
}

intid_core::define_newtype_counter! {
    /// So should other derive marcos.
    #[derive(Default)]
    pub struct Counter(u32);
}
intid_core::define_newtype_counter! {
    pub struct CounterNonzero(NonZeroU32);
}

#[test]
fn verify_derive() {
    assert_id::<Plain>();
    assert_counter::<Counter>();
    assert_counter::<CounterNonzero>();
    assert_eq!(
        <CounterNonzero as intid_core::IntegerIdCounter>::START
            .0
            .get(),
        1
    );
}

fn assert_id<T: intid_core::IntegerId>() {}
fn assert_contiguous<T: intid_core::IntegerIdContiguous>() {
    assert_id::<T>();
}
fn assert_counter<T: intid_core::IntegerIdCounter>() {
    assert_contiguous::<T>();
    assert_eq!(T::START.to_int(), T::START_INT);
}