This crate provides procedural macros to help you implement Rust-built-in traits quickly.
Use #[derive(Educe)] and #[educe(Debug)] to implement the Debug trait for a struct, an enum, or a union. It supports to change the name of your types, variants and fields. You can also ignore some fields, or set a trait and/or a method to replace the Debug trait used by default. Also, you can even format a struct to a tuple, and vice versa.
```rust
struct Struct { f1: u8 }
enum Enum { V1, V2 { f1: u8, }, V3(u8), } ```
The name attribute can help you rename a type, a variant or a field.
```rust
struct Struct { #[educe(Debug(name = "f"))] f1: u8 }
enum Enum { #[educe(Debug(name = false))] V1, #[educe(Debug(name = "V"))] V2 { #[educe(Debug(name = "f"))] f1: u8, }, #[educe(Debug(name = false))] V3(u8), } ```
The ignore attribute can ignore specific fields.
```rust
struct Struct { #[educe(Debug(ignore))] f1: u8 }
enum Enum { V1, V2 { #[educe(Debug(ignore))] f1: u8, }, V3( #[educe(Debug(ignore))] u8 ), } ```
With the named_field attribute, structs can be formatted as tuples and tuples can be formatted as structs.
```rust
struct Struct { f1: u8 }
enum Enum { V1, #[educe(Debug(namedfield = false))] V2 { f1: u8, }, #[educe(Debug(namedfield = true))] V3( u8, #[educe(Debug(name = "value"))] i32 ), } ```
The format attribute has two parameters: trait and method. They can be used to replace the Debug trait on fields. If you only set the trait parameter, the method will be set to fmt automatically by default.
```rust
use std::fmt::{self, Formatter};
fn fmt(s: &u8, f: &mut Formatter) -> fmt::Result { f.writestr("Hi") }
trait A { fn fmt(&self, f: &mut Formatter) -> fmt::Result { f.write_str("Hi") } }
impl A for i32 {}; impl A for u64 {};
enum Enum
Debug Trait or OthersThe #[educe(Debug(bound))] attribute can be used to add the Debug trait bound to all generaic parameters for the Debug implementation.
```rust
enum Enum
Or you can set the where predicates by yourself.
```rust
use std::fmt::{self, Formatter};
fn fmt(s: &u8, f: &mut Formatter) -> fmt::Result { f.writestr("Hi") }
trait A { fn fmt(&self, f: &mut Formatter) -> fmt::Result { f.write_str("Hi") } }
impl A for i32 {}; impl A for u64 {};
enum Enum
A union will be formatted to a u8 slice, because we don't know it's field at runtime. The fields of a union cannot be ignored, renamed or formated with other methods or traits.
```rust
struct Union { f1: u8, f2: i32, } ```
Use #[derive(Educe)] and #[educe(ParitalEq)] to implement the ParitalEq trait for a struct or an enum. It supports to ignore some fields, or set a trait and/or a method to replace the ParitalEq trait used by default.
```rust
struct Struct { f1: u8 }
enum Enum { V1, V2 { f1: u8, }, V3(u8), } ```
The ignore attribute can ignore specific fields.
```rust
struct Struct { #[educe(PartialEq(ignore))] f1: u8 }
enum Enum { V1, V2 { #[educe(PartialEq(ignore))] f1: u8, }, V3( #[educe(PartialEq(ignore))] u8 ), } ```
The compare attribute has two parameters: trait and method. They can be used to replace the PartialEq trait on fields. If you only set the trait parameter, the method will be set to hacomparesh automatically by default.
```rust
fn eq(a: &u8, b: &u8) -> bool { a + 1 == *b }
trait A { fn eq(&self, b: &Self) -> bool; }
impl A for i32 { fn eq(&self, b: &i32) -> bool { self + 1 == *b } }
impl A for u64 { fn eq(&self, b: &u64) -> bool { self + 1 == *b } }
enum Enum
PartialEq Trait or OthersThe #[educe(PartialEq(bound))] attribute can be used to add the PartialEq trait bound to all generaic parameters for the PartialEq implementation.
```rust
enum Enum
Or you can set the where predicates by yourself.
```rust
fn eq(a: &u8, b: &u8) -> bool { a + 1 == *b }
trait A { fn eq(&self, b: &Self) -> bool; }
impl A for i32 { fn eq(&self, b: &i32) -> bool { self + 1 == *b } }
impl A for u64 { fn eq(&self, b: &u64) -> bool { self + 1 == *b } }
enum Enum
Use #[derive(Educe)] and #[educe(Eq)] to implement the Eq trait for a struct, an enum or a union.
```rust
struct Struct { f1: u8 }
enum Enum { V1, V2 { f1: u8, }, V3(u8), } ```
Eq Trait or OthersThe #[educe(Eq(bound))] attribute can be used to add the Eq trait bound to all generaic parameters for the Eq implementation.
```rust
enum Enum
Or you can set the where predicates by yourself. (NOTE: The Eq trait depends on the PartialEq (PartialEq<Self>) trait.)
```rust
fn eq(a: &u8, b: &u8) -> bool { a + 1 == *b }
trait A { fn eq(&self, b: &Self) -> bool; }
impl A for i32 { fn eq(&self, b: &i32) -> bool { self + 1 == *b } }
impl A for u64 { fn eq(&self, b: &u64) -> bool { self + 1 == *b } }
enum Enum
Use #[derive(Educe)] and #[educe(Hash)] to implement the Hash trait for a struct or an enum. It supports to ignore some fields, or set a trait and/or a method to replace the Hash trait used by default.
```rust
struct Struct { f1: u8 }
enum Enum { V1, V2 { f1: u8, }, V3(u8), } ```
The ignore attribute can ignore specific fields.
```rust
struct Struct { #[educe(Hash(ignore))] f1: u8 }
enum Enum { V1, V2 { #[educe(Hash(ignore))] f1: u8, }, V3( #[educe(Hash(ignore))] u8 ), } ```
The hash attribute has two parameters: trait and method. They can be used to replace the Hash trait on fields. If you only set the trait parameter, the method will be set to hash automatically by default.
```rust
use std::hash::{Hash, Hasher};
fn hash
trait A {
fn hash
impl A for i32 {}; impl A for u64 {};
enum Enum
Hash Trait or OthersThe #[educe(Hash(bound))] attribute can be used to add the Hash trait bound to all generaic parameters for the Hash implementation.
```rust
enum Enum
Or you can set the where predicates by yourself.
```rust
use std::hash::{Hash, Hasher};
fn hash
trait A {
fn hash
impl A for i32 {}; impl A for u64 {};
enum Enum
Use #[derive(Educe)] and #[educe(Default)] to implement the Default trait for a struct, an enum, or a union. It supports to set the default value for your type directly, or set the default values for specific fields.
For enums and unions, you need to assign a variant (of a enum) and a field (of a union) as default unless the number of variants of an enum or the number of fields of a union is exactly one.
```rust
struct Struct { f1: u8 }
enum Enum { V1, #[educe(Default)] V2 { f1: u8, }, V3(u8), }
union Union { f1: u8, #[educe(Default)] f2: f64, } ```
The #[educe(Default(expression = "expression"))] attribute can be used to set the default value for your type by an expression.
```rust
struct Struct { f1: u8 }
enum Enum { Unit, Struct { f1: u8 }, Tuple(u8), }
union Union { f1: u8, f2: f64, } ```
The #[educe(Default = literal)] attribute or the #[educe(Default(expression = "expression"))] attribute can be used to set the default value for a specific field by a literal value or an expression.
```rust
struct Struct { #[educe(Default = 1)] f1: u8, #[educe(Default = 11111111111111111111111111111)] f2: i128, #[educe(Default = 1.1)] f3: f64, #[educe(Default = true)] f4: bool, #[educe(Default = "Hi")] f5: &'static str, #[educe(Default = "Hello")] f6: String, #[educe(Default = 'M')] f7: char, }
enum Enum { Unit, #[educe(Default)] Tuple( #[educe(Default(expression = "0 + 1"))] u8, #[educe(Default(expression = "-11111111111111111111111111111 * -1"))] i128, #[educe(Default(expression = "1.0 + 0.1"))] f64, #[educe(Default(expression = "!false"))] bool, #[educe(Default(expression = "\"Hi\""))] &'static str, #[educe(Default(expression = "String::from(\"Hello\")"))] String, #[educe(Default(expression = "'M'"))] char, ), }
union Union { f1: u8, f2: i128, f3: f64, f4: bool, #[educe(Default = "Hi")] f5: &'static str, f6: char, } ```
Default Trait or OthersThe #[educe(Default(bound))] attribute can be used to add the Default trait bound to all generaic parameters for the Default implementation.
```rust
enum Enum
Or you can set the where predicates by yourself.
```rust
enum Enum
new Associated FunctionWith the #[educe(Default(new))] attribute, your type will have an extra associated function called new. That can be used to invoke the default method of the Default trait.
```rust
struct Struct { f1: u8 } ```
There is a lot of work to be done. Unimplemented traits are listed below:
CloneCopyPartialOrdOrdFromIntoFromStrTryFromDerefDerefMuthttps://crates.io/crates/educe
https://docs.rs/educe