94 lines
3.1 KiB
Rust
94 lines
3.1 KiB
Rust
//! 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);
|