A strict (WHNF), thread local, mutable, extensible record indexed by types of kind Effect.

Warning: the environment is a mutable data structure and cannot be simultaneously used from multiple threads under any circumstances.

In order to pass it to a different thread, you need to perform a deep copy with the cloneEnv function.

Offers very good performance characteristics for most often performed operations:

• Extending: O(n), where n is the size of the effect stack.
• Shrinking: O(1).
• Indexing via (:>): O(1)
• Modification of a specific element: O(1).
• Getting a tail: O(1).
• Cloning: O(N), where N is the size of the Storage.

Reference to the effect in Storage.

Version of the effect.

A storage of effects.

Clone the storage to use it in a different thread.

Since: 2.7.0.0

Replace the storage of the environment.

Since: 2.7.0.0

Backup storage data of the environment.

It can be restored later with restoreStorageData.

Since: 2.7.0.0

Restore a copy of the StorageData.

The copy needs to be from the same Env as the target. It's consumed by this operation and must not be used afterwards.

Since: 2.5.0.0

Relinker in Storage.

Effect in Storage.

A function for relinking Env objects stored in the handlers and/or making a deep copy of the representation of the effect when cloning the environment.

A dummy Relinker.

A type of dispatch. For more information consult the documentation in Effectful.Dispatch.Dynamic and Effectful.Dispatch.Static.

Signifies whether core operations of a statically dispatched effect perform side effects. If an effect is marked as such, the runStaticRep family of functions will require the IOE effect to be in context via the MaybeIOE type family.

Dispatch types of effects.

Internal representations of effects.

Create an empty environment.

Clone the environment to use it in a different thread.

Get the current size of the environment.

Access the tail of the environment.

Extend the environment with a new data type.

Shrink the environment by one data type.

The environment needs to come from consEnv, i.e. the intended usage is bracket (consEnv e f env) unconsEnv.

Note: after calling this function e from the input environment is no longer usable.

Replace a specific effect in the stack with a new value.

Note: unlike in putEnv the value is not changed in place, so only the new environment will see it.

Remove a reference to the replaced effect.

The environment needs to come from replaceEnv, i.e. the intended usage is bracket (replaceEnv e f env) unreplaceEnv.

Note: after calling this function the input environment is no longer usable.

Reference an existing effect from the top of the stack.

Construct an environment containing a permutation (with possible duplicates) of a subset of effects from the input environment.

Extract a specific data type from the environment.

Replace the data type in the environment with a new value (in place).

Modify the data type in the environment and return a value (in place).

Modify the data type in the environment (in place).