digital: enforce all traits have the same Error type.

Author: Dirbaio

CHANGELOG.md

@@ -13,6 +13,9 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 ### Fixed
 - Fixed blanket impl of `DelayUs` not covering the `delay_ms` method.
 
+### Changed
+- `digital`: traits now enforce all impls on the same struct have the same `Error` type.
+
 ## [v1.0.0-alpha.6] - 2021-11-19
 
 *** This is (also) an alpha release with breaking changes (sorry) ***

src/digital.rs

@@ -2,6 +2,21 @@
 
 use core::{convert::From, ops::Not};
 
+/// GPIO error type trait
+///
+/// This just defines the error type, to be used by the other traits.
+pub trait ErrorType {
+    /// Error type
+    type Error: core::fmt::Debug;
+}
+
+impl<T: ErrorType> ErrorType for &T {
+    type Error = T::Error;
+}
+impl<T: ErrorType> ErrorType for &mut T {
+    type Error = T::Error;
+}
+
 /// Digital output pin state
 ///
 /// Conversion from `bool` and logical negation are also implemented
@@ -45,10 +60,7 @@ pub mod blocking {
     use super::PinState;
 
     /// Single digital push-pull output pin
-    pub trait OutputPin {
-        /// Error type
-        type Error: core::fmt::Debug;
-
+    pub trait OutputPin: super::ErrorType {
         /// Drives the pin low
         ///
         /// *NOTE* the actual electrical state of the pin may not actually be low, e.g. due to external
@@ -74,8 +86,6 @@ pub mod blocking {
     }
 
     impl<T: OutputPin> OutputPin for &mut T {
-        type Error = T::Error;
-
         fn set_low(&mut self) -> Result<(), Self::Error> {
             T::set_low(self)
         }
@@ -94,46 +104,38 @@ pub mod blocking {
         /// Is the pin in drive high mode?
         ///
         /// *NOTE* this does *not* read the electrical state of the pin
-        fn is_set_high(&self) -> Result<bool, Self::Error>;
+        fn is_set_high(&mut self) -> Result<bool, Self::Error>;
 
         /// Is the pin in drive low mode?
         ///
         /// *NOTE* this does *not* read the electrical state of the pin
-        fn is_set_low(&self) -> Result<bool, Self::Error>;
+        fn is_set_low(&mut self) -> Result<bool, Self::Error>;
     }
 
     impl<T: StatefulOutputPin> StatefulOutputPin for &mut T {
-        fn is_set_high(&self) -> Result<bool, Self::Error> {
+        fn is_set_high(&mut self) -> Result<bool, Self::Error> {
             T::is_set_high(self)
         }
 
-        fn is_set_low(&self) -> Result<bool, Self::Error> {
+        fn is_set_low(&mut self) -> Result<bool, Self::Error> {
             T::is_set_low(self)
         }
     }
 
     /// Output pin that can be toggled
-    pub trait ToggleableOutputPin {
-        /// Error type
-        type Error: core::fmt::Debug;
-
+    pub trait ToggleableOutputPin: super::ErrorType {
         /// Toggle pin output.
         fn toggle(&mut self) -> Result<(), Self::Error>;
     }
 
     impl<T: ToggleableOutputPin> ToggleableOutputPin for &mut T {
-        type Error = T::Error;
-
         fn toggle(&mut self) -> Result<(), Self::Error> {
             T::toggle(self)
         }
     }
 
     /// Single digital input pin
-    pub trait InputPin {
-        /// Error type
-        type Error: core::fmt::Debug;
-
+    pub trait InputPin: super::ErrorType {
         /// Is the input pin high?
         fn is_high(&self) -> Result<bool, Self::Error>;
 
@@ -142,8 +144,6 @@ pub mod blocking {
     }
 
     impl<T: InputPin> InputPin for &T {
-        type Error = T::Error;
-
         fn is_high(&self) -> Result<bool, Self::Error> {
             T::is_high(self)
         }
@@ -179,14 +179,11 @@ pub mod blocking {
     ///     pin.is_high()
     /// }
     /// ```
-    pub trait IoPin<TInput, TOutput>
+    pub trait IoPin<TInput, TOutput>: super::ErrorType
     where
-        TInput: InputPin + IoPin<TInput, TOutput>,
-        TOutput: OutputPin + IoPin<TInput, TOutput>,
+        TInput: super::ErrorType<Error = Self::Error> + InputPin + IoPin<TInput, TOutput>,
+        TOutput: super::ErrorType<Error = Self::Error> + OutputPin + IoPin<TInput, TOutput>,
     {
-        /// Error type.
-        type Error: core::fmt::Debug;
-
         /// Tries to convert this pin to input mode.
         ///
         /// If the pin is already in input mode, this method should succeed.