rumio 0.2.0

Control your MMIO and CPU registers without pain.
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

//! Marker trait and structs for providing type-safe permissions.

use crate::sealed::Sealed;

/// Sealed trait for marking a permission.
pub trait Permission: Sealed {}

/// Sealed trait for marking a permission that can read.
pub trait Readable: Permission {}

/// Sealed trait for marking a permission that can write.
pub trait Writable: Permission {}

/// Represents a read-only permission.
pub enum ReadOnly {}
impl Permission for ReadOnly {}
impl Readable for ReadOnly {}
impl Sealed for ReadOnly {}

impl<P: Readable> Compatible<ReadOnly, P> for ReadOnly {
    type Output = ReadOnly;
}

/// Represents a write-only permission.
pub enum WriteOnly {}
impl Permission for WriteOnly {}
impl Writable for WriteOnly {}
impl Sealed for WriteOnly {}

impl<P: Writable> Compatible<WriteOnly, P> for WriteOnly {
    type Output = WriteOnly;
}

/// Represents a read-write permission.
pub enum ReadWrite {}
impl Permission for ReadWrite {}
impl Readable for ReadWrite {}
impl Writable for ReadWrite {}
impl Sealed for ReadWrite {}

impl<P: Permission> Compatible<ReadWrite, P> for ReadWrite {
    type Output = P;
}

/// Marker trait that makes two permission types compatible.
pub trait Compatible<P1, P2>: Sealed {
    /// The resulting permission when `P1` and `P2` are combined.
    type Output: Permission;
}