id_effect 0.2.0

Effect<A, E, R> (sync + async), context/layers, pipe — interpreter-style, no bundled executor
Documentation
1
2
3
4
5
6
7
# Your First Effect

Chapter 1 was all philosophy. We established what effects are, why they exist, and why laziness is useful. Now we get our hands dirty.

By the end of this chapter you will have written real effects, transformed them, chained them together, and run a complete small program. You'll use `succeed`, `fail`, `map`, `map_error`, and `flat_map` — the five operations that cover the vast majority of day-to-day effect work.

Let's start with the simplest question: how do you create an effect in the first place?