Crates.io | blanket |
lib.rs | blanket |
version | 0.4.0 |
source | src |
created_at | 2020-07-21 14:41:12.677061 |
updated_at | 2024-03-04 11:53:31.077667 |
description | A simple macro to derive blanket implementations for your traits. |
homepage | https://github.com/althonos/blanket |
repository | https://github.com/althonos/blanket |
max_upload_size | |
id | 267641 |
size | 132,454 |
blanket
A simple macro to derive blanket implementations for your traits.
The Rust standard library has plenty of traits, but they shine in how well
they integrate with new types. Declare an implementation of
std::io::Write
for
a type W
, and you also get it for &mut W
and Box<W>
! This however
translates into a lot of boilerplate code
that can be hard to maintain, which is why many crates don't bother
providing the same convenience implementations.
This is where blanket
comes in! This crate helps you build the same kind
of blanket implementations for your own traits with as least additional code
as possible: in fact, this is as close as what a derive
macro would look
like for a trait
item.
blanket
exports a single eponymous attribute macro, which can be imported
simply after the crate has been added to the Cargo.toml
dependencies:
extern crate blanket;
use blanket::blanket;
#[blanket(derive(...))]
Use this macro attribute to derive a blanket implementation for a trait,
provided the trait methods fit the constraints for that derive, such as
only declaring methods with &self
of &mut self
as their receiver.
The following derives are available:
Derive | Impl block | fn (&self) |
fn (&mut self) |
fn (self) |
---|---|---|---|---|
Ref | impl<T: Trait + ?Sized> Trait for &T |
โ๏ธ | ||
Rc | impl<T: Trait + ?Sized> Trait for Rc<T> |
โ๏ธ | ||
Arc | impl<T: Trait + ?Sized> Trait for Arc<T> |
โ๏ธ | ||
Mut | impl<T: Trait + ?Sized> Trait for &mut T |
โ๏ธ | โ๏ธ | |
Boxยน | impl<T: Trait + ?Sized> Trait for Box<T> |
โ๏ธ | โ๏ธ | |
Boxยฒ | impl<T: Trait> Trait for Box<T> |
โ๏ธ | โ๏ธ | โ๏ธ |
Cow | impl<T: Trait + ToOwned + ?Sized> Trait for Cow<_, T> |
โ๏ธ |
For instance, with our own version of std::fmt::Write
, we can provide
an implementation for Box<impl Write>
and &mut impl Write
:
extern crate blanket;
use blanket::blanket;
#[blanket(derive(Mut, Box))]
pub trait Write {
fn write_str(&mut self, s: &str) -> std::fmt::Result;
fn write_char(&mut self, c: char) -> std::fmt::Result {
self.write_str(c.encode_utf8(&mut [0; 4]))
}
}
Note that we can't derive Ref
because the Write
trait we declared expects
mutable references, which we can't provide from an immutable reference. If we
were to try, the compiler would warn us:
---- src/lib.rs - (line 55) stdout ----
error: cannot derive `Ref` for a trait declaring `&mut self` methods
--> src/lib.rs:61:18
|
8 | fn write_str(&mut self, s: &str) -> std::fmt::Result;
| ^^^^^^^^^
#[blanket(default = "...")]
blanket
can delegate default implementations of trait methods to functions
of another module. This can be useful for some traits such as
visitors
to provide a default behaviour as an external function, such as what
syn::visit
is doing.
The following example implements a very simple visitor trait for types
able to process a &str
char-by-char.
extern crate blanket;
use blanket::blanket;
#[blanket(default = "visitor")]
trait Visitor {
fn visit_string(&self, s: &str);
fn visit_char(&self, c: char);
}
mod visitor {
use super::Visitor;
pub fn visit_string<V: Visitor + ?Sized>(v: &V, s: &str) {
for c in s.chars() {
v.visit_char(c);
}
}
pub fn visit_char<V: Visitor + ?Sized>(v: &V, c: char) {}
}
blanket
will check that all methods are declared without a default block,
and then create a default implementation for all of the declared methods,
generating the following code:
trait Visitor {
fn visit_string(&self, s: &str) {
visitor::visit_string(self, s)
}
fn visit_char(&self, c: char) {
visitor::visit_char(self, c)
}
}
#[derive(Ref)]
#[derive(Mut)]
#[derive(Box)]
for both sized and unsized types.#[derive(Rc)]
#[derive(Arc)]
#[derive(Cow)]
blanket
is developed and maintained by:
The following people contributed to the project:
This project adheres to Semantic Versioning and provides a changelog in the Keep a Changelog format.
This library is provided under the open-source MIT license.