id_effect 0.1.1

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

# The effect! Macro — Do-Notation for Mortals

Chapter 2 introduced the `effect!` macro as "syntactic sugar for `flat_map`." That's technically accurate, but undersells it. In practice, `effect!` is how you write almost every multi-step computation in id_effect.

This chapter covers the why, the how, and the limits of the macro. By the end you'll be fluent in `~`, comfortable handling errors inside the macro, and clear on when *not* to use it.