[−][src]Module eff::coproduct
Coproduct type of effects
Structs
| Succ | A type corresponding to the next natural number of the argument |
Enums
| Either | The coproduct of effects |
| Zero | A type corresponding to 0 |
Traits
| Embed | A trait for embedding self into a wider coproduct type |
| Inject | A trait for constructing a coproduct from an effect and a task context |
| Subset | A trait for taking subset effects out of |
| Uninject | A trait for destructing a coproduct into an effect and a task context |