entrait

A proc macro to ease development using Inversion of Control patterns in Rust.

entrait is used to generate a trait from the definition of a regular function. The main use case for this is that other functions may depend upon the trait instead of the concrete implementation, enabling better test isolation.

The macro looks like this:

```rust

[entrait(MyFunction)]

fn my_function(deps: &D) { } ```

which generates the trait MyFunction:

rust trait MyFunction { fn my_function(&self); }

my_function's first and only parameter is deps which is generic over some unknown type D. This would correspond to the self parameter in the trait. But what is this type supposed to be? The trait gets automatically implemented for Impl<T>:

```rust use implementation::Impl; struct App;

[entrait::entrait(MyFunction)]

fn myfunction(deps: &D) { // <--------------------+ } // | // | // Generated: | // trait MyFunction { | // fn myfunction(&self); | // } | // | // impl MyFunction for ::implementation::Impl { | // fn myfunction(&self) { | // myfunction(self) // calls this! ----------+ // } // }

let app = Impl::new(App); app.my_function(); ```

The advantage of this pattern comes into play when a function declares its dependencies, as trait bounds:

```rust

[entrait(Foo)]

fn foo(deps: &impl Bar) { deps.bar(); }

[entrait(Bar)]

fn bar(deps: &D) { } ```

The functions may take any number of parameters, but the first one is always considered specially as the "dependency parameter".

Functions may also be non-generic, depending directly on the App:

```rust use implementation::Impl;

struct App { something: SomeType }; type SomeType = u32;

[entrait(Generic)]

fn generic(deps: &impl Concrete) -> SomeType { deps.concrete() }

[entrait(Concrete)]

fn concrete(app: &App) -> SomeType { app.something }

let app = Impl::new(App { something: 42 }); assert_eq!(42, app.generic()); ```

These kinds of functions may be considered "leaves" of a dependency tree.

"Philosophy"

The entrait crate is a building block of a design pattern - the entrait pattern. The entrait pattern is simply a convenient way to achieve unit testing of business logic.

Entrait is not intended for achieving polymorphism. If you want that, you should instead hand-write a trait.

Entrait should only be used to define an abstract computation that has a single implementation in realase mode, but is mockable in test mode.

entrait does not implement Dependency Injection (DI). DI is a strictly object-oriented concept that will often look awkward in Rust. The author thinks of DI as the "reification of code modules": In a DI-enabled programming environment, code modules are grouped together as objects and other modules may depend upon the interface of such an object by receiving some instance that implements it. When this pattern is applied successively, one ends up with an in-memory dependency graph of high-level modules.

entrait tries to turn this around by saying that the primary abstraction that is depended upon is a set of functions, not a set of code modules.

An architectural consequence is that one ends up with one ubiquitous type that represents a running application that implements all these function abstraction traits. But the point is that this is all loosely coupled: Most function definitions themselves do not refer to this god-like type, they only depend upon traits.

Trait visibility

by default, entrait generates a trait that is module-private (no visibility keyword). To change this, just put a visibility specifier before the trait name:

```rust use entrait::*;

[entrait(pub Foo)] // <-- public trait

fn foo(deps: &D) { // <-- private function } ```

async support

Since Rust at the time of writing does not natively support async methods in traits, you may opt in to having #[async_trait] generated for your trait:

```rust

[entrait(Foo, async_trait)]

async fn foo(deps: &D) { } `` This is designed to be forwards compatible with real async fn in traits. When that day comes, you should be able to just remove theasync_trait=true` to get a proper zero-cost future.

Zero-cost async inversion of control - preview mode

Entrait has experimental support for zero-cost futures. A nightly Rust compiler is needed for this feature.

The entrait feature is called associated_future, and depends on generic_associated_types and type_alias_impl_trait. This feature generates an associated future inside the trait, and the implementations use impl Trait syntax to infer the resulting type of the future:

```rust

![feature(genericassociatedtypes)]

![feature(typealiasimpl_trait)]

use entrait::unimock::*;

[entrait(Foo, associated_future)]

async fn foo(deps: &D) { } ```

Integrating with other fn-targeting macros, and no_deps

Some macros are used to transform the body of a function, or generate a body from scratch. For example, we can use feignhttp to generate an HTTP client. Entrait will try as best as it can to co-exist with macros like these. Since entrait is a higher-level macro that does not touch fn bodies (it does not even try to parse them), entrait should be processed after, which means it should be placed before lower level macros. Example:

```rust

[entrait(FetchThing, nodeps, asynctrait)]

[feignhttp::get("https://my.api.org/api/{param}")]

async fn fetch_thing(#[path] param: String) -> feignhttp::Result {} ```

Here we had to use the no_deps entrait option. This is used to tell entrait that the function does not have a deps parameter as its first input. Instead, all the function's inputs get promoted to the generated trait method.

Trait mocking with Unimock

Entrait works best together with unimock, as these two crates have been designed from the start with each other in mind.

Unimock exports a single mock struct which can be passed in as parameter to every function that accept a deps parameter (given that entrait is used with unimock support everywhere). To enable mocking of entraited functions, they get reified and defined as a type called Fn inside a module with the same identifier as the function: entraited_function::Fn.

Unimock support is enabled by importing entrait from the path entrait::unimock::*.

```rust use entrait::unimock::; use unimock::;

[entrait(Foo)]

fn foo(_: &D) -> i32 { unimplemented!() }

[entrait(Bar)]

fn bar(_: &D) -> i32 { unimplemented!() }

fn my_func(deps: &(impl Foo + Bar)) -> i32 { deps.foo() + deps.bar() }

let mockeddeps = mock([ foo::Fn.eachcall(matching!()).returns(40).inanyorder(), bar::Fn.eachcall(matching!()).returns(2).inany_order(), ]);

asserteq!(42, myfunc(&mocked_deps)); ```

Entrait with unimock supports un-mocking. This means that the test environment can be partially mocked!

```rust use entrait::unimock::; use unimock::; use std::any::Any;

[entrait(SayHello)]

fn sayhello(deps: &impl FetchPlanetName, planetid: u32) -> Resultplanetname(planet_id)?)) }

[entrait(FetchPlanetName)]

fn fetchplanetname(deps: &impl FetchPlanet, planetid: u32) -> Resultplanet(planet_id)?; Ok(planet.name) }

#[entrait(pub GetFoo)]
fn get_foo(config: &LibConfig) -> &str {
    &config.foo
}

#[entrait(pub LibFunction)]
fn lib_function(deps: &impl GetFoo) {
    let foo = deps.get_foo();
}

use lib::LibFunction;
app.lib_function();