typekin 0.4.0

new-type pattern with concept of Friends borrowed from c++, no-std and fully const
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

#![allow(dead_code)]

#[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd, Hash)]
#[repr(u8)]
#[typekin::bitflag(
        friends = [u8(conv = self, level = [Bit])],
        integral = [
            friends = [u8(conv = self, level = [Full])],
            without = [konst]
        ],
    )]
pub enum Permission {
    Empty = 0,
    Read = 0b001,
    Write = 0b010,
    Execute = 0b100,
}

#[test]
fn value_makes_from_borrowed_integral_friend() {
    let raw = 0b011u8;
    let it = PermissionValue::of(&raw);
    assert_eq!(it.raw(), raw);
}

#[test]
fn value_makes_from_mutably_borrowed_integral_friend() {
    let mut raw = 0b011u8;
    let it = PermissionValue::of(&mut raw);
    assert_eq!(it.raw(), raw);
    assert_eq!(raw, 0b011u8);
}

#[test]
fn enum_left_bitwise_accepts_borrowed_generated_value_friend() {
    let rhs = Permission::Write.into_value();
    let it = Permission::Read | &rhs;
    assert_eq!(it.raw(), 0b011);
}

#[test]
fn enum_left_bitwise_accepts_mutably_borrowed_generated_value_friend() {
    let mut rhs = Permission::Write.into_value();
    let it = Permission::Read | &mut rhs;
    assert_eq!(it.raw(), 0b011);
    assert_eq!(rhs.raw(), 0b010);
}

#[test]
fn enum_left_bitwise_accepts_borrowed_configured_friend() {
    let rhs = 0b010u8;
    let it = Permission::Read | &rhs;
    assert_eq!(it.raw(), 0b011);
}

#[test]
fn value_left_bitwise_accepts_borrowed_generated_enum_friend() {
    let value = Permission::Read.into_value();
    let it = value | &Permission::Write;
    assert_eq!(it.raw(), 0b011);
}