embedded_hal_async/i2c.rs
1//! Async I2C API.
2//!
3//! This API supports 7-bit and 10-bit addresses. Traits feature an `AddressMode`
4//! marker type parameter. Two implementation of the `AddressMode` exist:
5//! `SevenBitAddress` and `TenBitAddress`.
6//!
7//! Through this marker types it is possible to implement each address mode for
8//! the traits independently in `embedded-hal` implementations and device drivers
9//! can depend only on the mode that they support.
10//!
11//! Additionally, the I2C 10-bit address mode has been developed to be fully
12//! backwards compatible with the 7-bit address mode. This allows for a
13//! software-emulated 10-bit addressing implementation if the address mode
14//! is not supported by the hardware.
15//!
16//! Since 7-bit addressing is the mode of the majority of I2C devices,
17//! `SevenBitAddress` has been set as default mode and thus can be omitted if desired.
18
19pub use embedded_hal::i2c::Operation;
20pub use embedded_hal::i2c::{
21 AddressMode, Error, ErrorKind, ErrorType, NoAcknowledgeSource, SevenBitAddress, TenBitAddress,
22};
23
24/// Async I2c.
25pub trait I2c<A: AddressMode = SevenBitAddress>: ErrorType {
26 /// Reads enough bytes from slave with `address` to fill `buffer`.
27 ///
28 /// # I2C Events (contract)
29 ///
30 /// ``` text
31 /// Master: ST SAD+R MAK MAK ... NMAK SP
32 /// Slave: SAK B0 B1 ... BN
33 /// ```
34 ///
35 /// Where
36 ///
37 /// - `ST` = start condition
38 /// - `SAD+R` = slave address followed by bit 1 to indicate reading
39 /// - `SAK` = slave acknowledge
40 /// - `Bi` = ith byte of data
41 /// - `MAK` = master acknowledge
42 /// - `NMAK` = master no acknowledge
43 /// - `SP` = stop condition
44 #[inline]
45 async fn read(&mut self, address: A, read: &mut [u8]) -> Result<(), Self::Error> {
46 self.transaction(address, &mut [Operation::Read(read)])
47 .await
48 }
49
50 /// Writes bytes to slave with address `address`.
51 ///
52 /// # I2C Events (contract)
53 ///
54 /// ``` text
55 /// Master: ST SAD+W B0 B1 ... BN SP
56 /// Slave: SAK SAK SAK ... SAK
57 /// ```
58 ///
59 /// Where
60 ///
61 /// - `ST` = start condition
62 /// - `SAD+W` = slave address followed by bit 0 to indicate writing
63 /// - `SAK` = slave acknowledge
64 /// - `Bi` = ith byte of data
65 /// - `SP` = stop condition
66 #[inline]
67 async fn write(&mut self, address: A, write: &[u8]) -> Result<(), Self::Error> {
68 self.transaction(address, &mut [Operation::Write(write)])
69 .await
70 }
71
72 /// Writes bytes to slave with address `address` and then reads enough bytes to fill `read` *in a
73 /// single transaction*.
74 ///
75 /// # I2C Events (contract)
76 ///
77 /// ``` text
78 /// Master: ST SAD+W O0 O1 ... OM SR SAD+R MAK MAK ... NMAK SP
79 /// Slave: SAK SAK SAK ... SAK SAK I0 I1 ... IN
80 /// ```
81 ///
82 /// Where
83 ///
84 /// - `ST` = start condition
85 /// - `SAD+W` = slave address followed by bit 0 to indicate writing
86 /// - `SAK` = slave acknowledge
87 /// - `Oi` = ith outgoing byte of data
88 /// - `SR` = repeated start condition
89 /// - `SAD+R` = slave address followed by bit 1 to indicate reading
90 /// - `Ii` = ith incoming byte of data
91 /// - `MAK` = master acknowledge
92 /// - `NMAK` = master no acknowledge
93 /// - `SP` = stop condition
94 #[inline]
95 async fn write_read(
96 &mut self,
97 address: A,
98 write: &[u8],
99 read: &mut [u8],
100 ) -> Result<(), Self::Error> {
101 self.transaction(
102 address,
103 &mut [Operation::Write(write), Operation::Read(read)],
104 )
105 .await
106 }
107
108 /// Execute the provided operations on the I2C bus as a single transaction.
109 ///
110 /// Transaction contract:
111 /// - Before executing the first operation an ST is sent automatically. This is followed by SAD+R/W as appropriate.
112 /// - Data from adjacent operations of the same type are sent after each other without an SP or SR.
113 /// - Between adjacent operations of a different type an SR and SAD+R/W is sent.
114 /// - After executing the last operation an SP is sent automatically.
115 /// - If the last operation is a `Read` the master does not send an acknowledge for the last byte.
116 ///
117 /// - `ST` = start condition
118 /// - `SAD+R/W` = slave address followed by bit 1 to indicate reading or 0 to indicate writing
119 /// - `SR` = repeated start condition
120 /// - `SP` = stop condition
121 async fn transaction(
122 &mut self,
123 address: A,
124 operations: &mut [Operation<'_>],
125 ) -> Result<(), Self::Error>;
126}
127
128impl<A: AddressMode, T: I2c<A> + ?Sized> I2c<A> for &mut T {
129 #[inline]
130 async fn read(&mut self, address: A, read: &mut [u8]) -> Result<(), Self::Error> {
131 T::read(self, address, read).await
132 }
133
134 #[inline]
135 async fn write(&mut self, address: A, write: &[u8]) -> Result<(), Self::Error> {
136 T::write(self, address, write).await
137 }
138
139 #[inline]
140 async fn write_read(
141 &mut self,
142 address: A,
143 write: &[u8],
144 read: &mut [u8],
145 ) -> Result<(), Self::Error> {
146 T::write_read(self, address, write, read).await
147 }
148
149 #[inline]
150 async fn transaction(
151 &mut self,
152 address: A,
153 operations: &mut [Operation<'_>],
154 ) -> Result<(), Self::Error> {
155 T::transaction(self, address, operations).await
156 }
157}