Crate impl_tools

source ·
Expand description

Impl-tools

#[autoimpl] is a partial replacement for #[derive], supporting:

  • Explicit where clause on generic parameters
  • No implicit bounds on generic parameters beyond those required by the type
  • Traits like Deref by using a named field
  • Traits like Debug may ignore named fields

#[autoimpl] may also be used on trait definitions to re-implement the trait for given reference types.

impl_scope! is a function-like macro used to define a type plus its implementations. It supports two things:

  • impl Self syntax
  • Evaluation of advanced attribute macros, which may use field initializers and read/write other impls within the scope

singleton! is a function-like macro used to define and instantiate a unique (single-use) type. It supports everything supported by impl_scope! plus field initializers and (limited) automatic typing of fields.

User-extensions to both #[autoimpl] and impl_scope! are possible, by writing your own proc-macro crate depending on impl-tools-lib.

Macros

impl_scope
Scope supporting impl Self and advanced attribute macros
singleton
Construct a single-instance struct

Attribute Macros

autoimpl
An alternative to the standard derive macro
impl_default
Impl Default with given field or type initializers