[−][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 |
EmbedRest | |
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 |