Feature idea: `PartialEq` and `PartialOrd` for the wrapped type

[CGMossa]

I'm finding myself needing to wrap a type "quickly", but then I don't want to have any
specific restrictions on the inner-type, other than being wrapped.

PartialOrd and PartialEq where Rhs = InnerType is a small ergonomic advantage if at all possible?

I see that #51 was shortly dismissed, but maybe this is a good time to maybe revisit this.

I have also been thinking if this is possible to add through a trait, but I think this is less explicit then
what can be done using a derive-macro. Also the object-safety issue comes up if I want to do that..

[JelteF]

Maybe it's indeed time to revisit, what do you think @tyranron?

[tyranron]

@JelteF I do actually think that all the standard derives should be represented in derive_more too, just because standard derives are very stupid regarding bounding type parameters. So, it's something definitely to have after going 1.0.

[JelteF]

I'm fine with merging a PR that provides this.

[CGMossa]

This is very good to hear. Unfortunately, I'm a little busy right now, but please, if no-one has taken a stab at this after 2 months, then ping me. I'm very interested in contributing to derive_more development.

[tyranron]

Roadmap for implementing this:

• Bootstrap derive(PartialEq) with structural expansion. (Bootstrap derive(PartialEq) (#163) #473)
• Implement PartialEq::ne() method (std omits it) to allow better performance for cases when it's optimized. (Generate PartialEq::ne() (#163) #475)
• Implement derive(Eq) expanding as impl <T> Eq for Type<T> where Self: PartialEq {}. (Implement Eq derive (#163) #479)
• Support #[partial_eq(skip)] attribute. (Support skip attribute in Eq/PartialEq derives (#163) #483)
• Support #[partial_eq(where(<bounds>))] attribute (required when fields may contain private types).
• Implement forwarding expansion for newtypes (single-field structs) with #[partial_eq(forward)] support.
• Support #[partial_eq(<types>)] to allow the case requested in this issue.