Revision control
Copy as Markdown
Other Tools
//! Permutations of `PartialEq` between `Ck`, `Check`, `str`, and `String`.
use crate::{Check, Ck, Invariant};
// `Check`s don't need to have the same backing storage to be equal.
impl<'a, I, B1, B2> PartialEq<Check<I, B2>> for &'a Check<I, B1>
where
I: Invariant,
B1: AsRef<str>,
B2: AsRef<str>,
{
fn eq(&self, other: &Check<I, B2>) -> bool {
self.as_str() == other.as_str()
}
}
impl<'a, I, B1, B2> PartialEq<&'a Check<I, B2>> for Check<I, B1>
where
I: Invariant,
B1: AsRef<str>,
B2: AsRef<str>,
{
fn eq(&self, other: &&'a Check<I, B2>) -> bool {
self.as_str() == other.as_str()
}
}
macro_rules! impl_partial_eq {
(<I> $a:ty = $b:ty) => {
impl<I: Invariant> PartialEq<$a> for $b {
fn eq(&self, other: &$a) -> bool {
AsRef::<str>::as_ref(self) == AsRef::<str>::as_ref(other)
}
}
};
(<I, B> $a:ty = $b:ty) => {
impl<I: Invariant, B: AsRef<str>> PartialEq<$a> for $b {
fn eq(&self, other: &$a) -> bool {
AsRef::<str>::as_ref(self) == AsRef::<str>::as_ref(other)
}
}
};
(<$lt:lifetime, I> $a:ty = $b:ty) => {
impl<$lt, I: Invariant> PartialEq<$a> for $b {
fn eq(&self, other: &$a) -> bool {
AsRef::<str>::as_ref(self) == AsRef::<str>::as_ref(other)
}
}
};
(<$lt:lifetime, I, B> $a:ty = $b:ty) => {
impl<$lt, I: Invariant, B: AsRef<str>> PartialEq<$a> for $b {
fn eq(&self, other: &$a) -> bool {
AsRef::<str>::as_ref(self) == AsRef::<str>::as_ref(other)
}
}
};
}
impl_partial_eq!(<'a, I> Ck<I> = &'a Ck<I>);
impl_partial_eq!(<'a, I> &'a Ck<I> = Ck<I>);
impl_partial_eq!(<I, B> Ck<I> = Check<I, B>);
impl_partial_eq!(<I, B> Check<I, B> = Ck<I>);
impl_partial_eq!(<'a, I, B> &'a Ck<I> = Check<I, B>);
impl_partial_eq!(<'a, I, B> Check<I, B> = &'a Ck<I>);
impl_partial_eq!(<'a, I, B> Ck<I> = &'a Check<I, B>);
impl_partial_eq!(<'a, I, B> &'a Check<I, B> = Ck<I>);
impl_partial_eq!(<I, B> str = Check<I, B>);
impl_partial_eq!(<I, B> Check<I, B> = str);
impl_partial_eq!(<'a, I, B> &'a str = Check<I, B>);
impl_partial_eq!(<'a, I, B> Check<I, B> = &'a str);
impl_partial_eq!(<'a, I, B> str = &'a Check<I, B>);
impl_partial_eq!(<'a, I, B> &'a Check<I, B> = str);
impl_partial_eq!(<I, B> String = Check<I, B>);
impl_partial_eq!(<I, B> Check<I, B> = String);
impl_partial_eq!(<'a, I, B> &'a String = Check<I, B>);
impl_partial_eq!(<'a, I, B> Check<I, B> = &'a String);
impl_partial_eq!(<'a, I, B> String = &'a Check<I, B>);
impl_partial_eq!(<'a, I, B> &'a Check<I, B> = String);
impl_partial_eq!(<I> str = Ck<I>);
impl_partial_eq!(<I> Ck<I> = str);
impl_partial_eq!(<'a, I> &'a str = Ck<I>);
impl_partial_eq!(<'a, I> Ck<I> = &'a str);
impl_partial_eq!(<'a, I> str = &'a Ck<I>);
impl_partial_eq!(<'a, I> &'a Ck<I> = str);
impl_partial_eq!(<I> String = Ck<I>);
impl_partial_eq!(<I> Ck<I> = String);
impl_partial_eq!(<'a, I> &'a String = Ck<I>);
impl_partial_eq!(<'a, I> Ck<I> = &'a String);
impl_partial_eq!(<'a, I> String = &'a Ck<I>);
impl_partial_eq!(<'a, I> &'a Ck<I> = String);