A scope that is completed when the effects running in it succeed, such as a transaction that is committed. A scope disposed without being completed abandons its work.

A computation expression for effects running in a completable scope of type , such as a transaction. The effects bound in it are ordinary effects, of the environment the outer one grows into: running the expression begins the scope and grows the environment, and completes the scope if the effect succeeds, so the result is an effect of the outer environment, without the scope.

Implemented by an environment that can begin completable scopes of type .

Opens scopes of type that are completed when their effect succeeds, such as transactions, for effects needing an environment grown from the one the scoped effect is run with.

Implemented by an environment that can grow into , the environment of effects running in a scope of type . Such an environment also begins the scope, as a ScopeProvider{Scope}. The inner environment usually inherits the outer one, adding a provider of the scope.

Opens scopes of type , for effects needing an environment grown from the one the scoped effect is run with.

A computation expression for effects running in a scope of type . The effects bound in it are ordinary effects, of the environment the outer one grows into: running the expression begins the scope and grows the environment, so the result is an effect of the outer environment, without the scope.

A scope: something effects run in for a while, which is disposed when they are done, such as a transaction or a unit of work.

Implemented by an environment that can begin scopes of type .