List of all items

Structs

• effects::future::Await
• effects::future::Effectfulise
• effects::future::FutureEffs
• effects::future::Futurise
• effects::future::GetContext
• effects::nondet::Nondet
• higher_order::OptionMapEff
• higher_order::ResultMapEff
• higher_order::ResultMapErrEff
• injection::Begin
• injection::Tagged

Enums

• Never

Traits

• Effect
• EffectGroup
• effects::future::EffExt
• effects::future::FutureExt
• higher_order::OptionExt
• higher_order::ResultExt
• injection::EffectList
• macro_impl::FlattenEffects
• macro_impl::Prepend

Macros

• effects
• handler

Attribute Macros

• effectful

Functions

• effects::nondet::run_nondet
• handle
• handle_async
• handle_group
• handle_group_async
• macro_impl::get_inj
• macro_impl::mark
• map
• run
• transform
• transform0
• transform1