effectful 0.3.0

Effect<A, E, R> (sync + async), context/layers, pipe — interpreter-style, no bundled executor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

# Stacking Layers — Composition Patterns

Layer composition is explicit. Use `Stack` / `and_then` for HList-style layers, and `merge` / `provide` / `provide_merge` for `ServiceContext` layers.

## Independent HList Layers

```rust,ignore
use effectful::{LayerBuild, Stack};

let stack = Stack(config_layer, logger_layer);
let env = stack.build()?; // Cons<ConfigOutput, Cons<LoggerOutput, Nil>>
```

The two layers must have the same error type.

## Dependent HList Layers

Use `LayerExt::and_then` or `StackThen` when the second layer needs the first layer's output.

```rust,ignore
use effectful::{LayerBuild, LayerExt, LayerFn, LayerFnFrom};

let config = LayerFn(|| Ok(Config::from_env()?));
let db = LayerFnFrom(|config: &Config| Ok(Database::connect(config.db_url())?));

let env = config.and_then(db).build()?;
```

## ServiceContext merge

For derive-service layers, `merge` builds independent layers and combines their `ServiceContext`s.

```rust,ignore
let app_layer = config_layer.merge(logger_layer);
let context = run_blocking(app_layer.build(), ())?;
```

## ServiceContext provide

Use `provide` when one layer needs services from another layer and you want to hide provider output.

```rust,ignore
let db_with_config = db_layer.provide(config_layer);
let context = run_blocking(db_with_config.build(), ())?;
```

Use `provide_merge` when you want both provider and dependent services in the final context.

```rust,ignore
let app_layer = db_layer.provide_merge(config_layer);
```

## Providing to Effects

`Effect::provide(layer)` exists for effects whose environment is `ServiceContext`.

```rust,ignore
let result = run_blocking(my_application().provide(app_layer), ())?;
```

For typed `Context` / HList environments, build the context and pass it to `run_blocking(effect, env)`.