Polysemy.Bundle

An effect for collecting multiple effects into one effect.

Useful for effect newtypes -- effects defined through creating a newtype over an existing effect, and then defining actions and interpretations on the newtype by using rewrite and transform.

By making a newtype of Bundle, it's possible to wrap multiple effects in one newtype.

Send uses of an effect to a Bundle containing that effect.

Injects an effect into a Bundle. Useful together with transform.

Run a Bundle r by prepending r to the effect stack.

Run a Bundle r if the effect stack contains all effects of r.