Derive Macro derive_more_impl::Unwrap
source · #[derive(Unwrap)]
{
// Attributes available to this derive:
#[unwrap]
}
Available on crate feature
unwrap
only.Expand description
What #[derive(Unwrap)]
generates
When an enum is decorated with #[derive(Unwrap)]
, for each variant foo
in the enum, with fields (a, b, c, ...)
a public instance method unwrap_foo(self) -> (a, b, c, ...)
is generated.
If you don’t want the unwrap_foo
method generated for a variant, you can put the #[unwrap(ignore)]
attribute on that variant.
If you want to treat a reference, you can put the #[unwrap(ref)]
attribute on the enum declaration or that variant, then unwrap_foo_ref(self) -> (&a, &b, &c, ...)
will be generated. You can also use mutable references by putting #[unwrap(ref_mut)]
.
Example usage
#[derive(Unwrap)]
#[unwrap(ref)]
enum Maybe<T> {
Just(T),
Nothing,
}
fn main() {
assert_eq!(Maybe::Just(1).unwrap_just(), 1);
// Panics if variants are different
// assert_eq!(Maybe::<()>::Nothing.unwrap_just(), /* panic */);
// assert_eq!(Maybe::Just(2).unwrap_nothing(), /* panic */);
assert_eq!((&Maybe::Just(42)).unwrap_just_ref(), &42);
}
What is generated?
The derive in the above example code generates the following code:
impl<T> Maybe<T> {
pub fn unwrap_nothing(self) -> () {
match self {
Maybe::Nothing => (),
_ => panic!(),
}
}
pub fn unwrap_nothing_ref(&self) -> () {
match self {
Maybe::Nothing => (),
_ => panic!(),
}
}
pub fn unwrap_just(self) -> T {
match self {
Maybe::Just(field_0) => field_0,
_ => panic!(),
}
}
pub fn unwrap_just_ref(&self) -> &T {
match self {
Maybe::Just(field_0) => field_0,
_ => panic!(),
}
}
}