id_effect 0.4.0

Effect<A, E, R> (sync + async), capability DI, pipe — interpreter-style, no bundled executor
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
# Traversable

**Traverse** runs effectful functions over structures while preserving shape.

```rust
use id_effect::algebra::traversable::traverse_vec;
use id_effect::Effect;
use id_effect::runtime::run_blocking;

let eff = traverse_vec(vec![1, 2], |n| Effect::succeed(n * 2));
assert_eq!(run_blocking(eff, ()), Ok(vec![2, 4]));
```