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
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! **Stratum 4 — Failure Algebra**
//!
//! Structured representation of computational failure, built entirely from Strata 0–3.
//!
//! | Submodule | Provides | Depends on |
//! |-----------|----------|------------|
//! | [`cause`] | [`Cause<E>`] ADT, [`Semigroup`] impl | Stratum 0 (`option_`, `Matcher`), Stratum 1 (`Semigroup`), Stratum 6 bootstrap (`FiberId`) |
//! | [`exit`]  | [`Exit<A,E>`] terminal outcome | [`cause`] (this stratum), Stratum 0 (`Either`, `Matcher`) |
//! | [`union`] | [`Or<L,R>`] error union | Stratum 0 (`Either`) |
//!
//! ## Public API
//!
//! Re-exported at the crate root: [`Cause`], [`Exit`], [`Or`].

pub mod cause;
pub mod exit;
pub mod union;

pub use cause::Cause;
pub use exit::Exit;
pub use union::Or;