effect 3.10.18 → 3.11.0

package/dist/esm/Micro.js

@@ -1,16 +1,25 @@
+/**
+ * A lightweight alternative to the `Effect` data type, with a subset of the functionality.
+ *
+ * @since 3.4.0
+ * @experimental
+ */
+import * as Arr from "effect/Array";
 import * as Context from "./Context.js";
 import * as Effectable from "./Effectable.js";
 import * as Either from "./Either.js";
+import * as Equal from "./Equal.js";
 import { constTrue, constVoid, dual, identity } from "./Function.js";
 import { globalValue } from "./GlobalValue.js";
-import { NodeInspectSymbol, toStringUnknown } from "./Inspectable.js";
+import * as Hash from "./Hash.js";
+import { format, NodeInspectSymbol, toStringUnknown } from "./Inspectable.js";
+import * as InternalContext from "./internal/context.js";
 import * as doNotation from "./internal/doNotation.js";
 import { StructuralPrototype } from "./internal/effectable.js";
-import { SingleShotGen } from "./internal/singleShotGen.js";
 import * as Option from "./Option.js";
 import { pipeArguments } from "./Pipeable.js";
 import { hasProperty, isIterable, isTagged } from "./Predicate.js";
-import { YieldWrap, yieldWrapGet } from "./Utils.js";
+import { SingleShotGen, YieldWrap, yieldWrapGet } from "./Utils.js";
 /**
  * @since 3.4.0
  * @experimental
@@ -20,9 +29,9 @@ export const TypeId = /*#__PURE__*/Symbol.for("effect/Micro");
 /**
  * @since 3.4.0
  * @experimental
- * @category symbols
+ * @category MicroExit
  */
-export const runSymbol = /*#__PURE__*/Symbol.for("effect/Micro/runSymbol");
+export const MicroExitTypeId = /*#__PURE__*/Symbol.for("effect/Micro/MicroExit");
 /**
  * @since 3.4.0
  * @experimental
@@ -30,40 +39,6 @@ export const runSymbol = /*#__PURE__*/Symbol.for("effect/Micro/runSymbol");
  */
 export const isMicro = u => typeof u === "object" && u !== null && TypeId in u;
 // ----------------------------------------------------------------------------
-// Microable
-// ----------------------------------------------------------------------------
-const MicroProto = {
-  ...Effectable.EffectPrototype,
-  _op: "Micro",
-  [TypeId]: {
-    _A: identity,
-    _E: identity,
-    _R: identity
-  },
-  [Symbol.iterator]() {
-    return new SingleShotGen(new YieldWrap(this));
-  }
-};
-const MicroBase = /*#__PURE__*/function () {
-  function Base() {}
-  Base.prototype = MicroProto;
-  return Base;
-}();
-/**
- * @since 3.8.4
- * @experimental
- * @category constructors
- */
-export class Class extends MicroBase {
-  /**
-   * @since 3.8.4
-   * @experimental
-   */
-  [runSymbol](env, onExit) {
-    this.asMicro()[runSymbol](env, onExit);
-  }
-}
-// ----------------------------------------------------------------------------
 // MicroCause
 // ----------------------------------------------------------------------------
 /**
@@ -197,970 +172,1102 @@ export const causeWithTrace = /*#__PURE__*/dual(2, (self, trace) => {
       return causeFail(self.error, traces);
   }
 });
+// ----------------------------------------------------------------------------
+// Fiber
+// ----------------------------------------------------------------------------
 /**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-export const exitInterrupt = /*#__PURE__*/Either.left( /*#__PURE__*/causeInterrupt());
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-export const exitSucceed = Either.right;
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-export const exitFail = e => Either.left(causeFail(e));
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-export const exitDie = defect => Either.left(causeDie(defect));
-/**
- * @since 3.4.6
+ * @since 3.11.0
  * @experimental
- * @category MicroExit
+ * @category Fiber
  */
-export const exitFailCause = Either.left;
+export const FiberTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Fiber");
+const fiberVariance = {
+  _A: identity,
+  _E: identity
+};
+class FiberImpl {
+  context;
+  interruptible;
+  [FiberTypeId];
+  _stack = [];
+  _observers = [];
+  _exit;
+  _children;
+  currentOpCount = 0;
+  constructor(context, interruptible = true) {
+    this.context = context;
+    this.interruptible = interruptible;
+    this[FiberTypeId] = fiberVariance;
+  }
+  getRef(ref) {
+    return InternalContext.unsafeGetReference(this.context, ref);
+  }
+  addObserver(cb) {
+    if (this._exit) {
+      cb(this._exit);
+      return constVoid;
+    }
+    this._observers.push(cb);
+    return () => {
+      const index = this._observers.indexOf(cb);
+      if (index >= 0) {
+        this._observers.splice(index, 1);
+      }
+    };
+  }
+  _interrupted = false;
+  unsafeInterrupt() {
+    if (this._exit) {
+      return;
+    }
+    this._interrupted = true;
+    if (this.interruptible) {
+      this.evaluate(exitInterrupt);
+    }
+  }
+  unsafePoll() {
+    return this._exit;
+  }
+  evaluate(effect) {
+    if (this._exit) {
+      return;
+    } else if (this._yielded !== undefined) {
+      const yielded = this._yielded;
+      this._yielded = undefined;
+      yielded();
+    }
+    const exit = this.runLoop(effect);
+    if (exit === Yield) {
+      return;
+    }
+    // the interruptChildren middlware is added in Micro.fork, so it can be
+    // tree-shaken if not used
+    const interruptChildren = fiberMiddleware.interruptChildren && fiberMiddleware.interruptChildren(this);
+    if (interruptChildren !== undefined) {
+      return this.evaluate(flatMap(interruptChildren, () => exit));
+    }
+    this._exit = exit;
+    for (let i = 0; i < this._observers.length; i++) {
+      this._observers[i](exit);
+    }
+    this._observers.length = 0;
+  }
+  runLoop(effect) {
+    let yielding = false;
+    let current = effect;
+    this.currentOpCount = 0;
+    try {
+      while (true) {
+        this.currentOpCount++;
+        if (!yielding && this.getRef(CurrentScheduler).shouldYield(this)) {
+          yielding = true;
+          const prev = current;
+          current = flatMap(yieldNow, () => prev);
+        }
+        current = current[evaluate](this);
+        if (current === Yield) {
+          const yielded = this._yielded;
+          if (MicroExitTypeId in yielded) {
+            this._yielded = undefined;
+            return yielded;
+          }
+          return Yield;
+        }
+      }
+    } catch (error) {
+      if (!hasProperty(current, evaluate)) {
+        return exitDie(`Micro/Fiber.runLoop: Not a valid effect: ${String(current)}`);
+      }
+      return exitDie(error);
+    }
+  }
+  getCont(symbol) {
+    while (true) {
+      const op = this._stack.pop();
+      if (!op) return undefined;
+      const cont = op[ensureCont] && op[ensureCont](this);
+      if (cont) return {
+        [symbol]: cont
+      };
+      if (op[symbol]) return op;
+    }
+  }
+  // cancel the yielded operation, or for the yielded exit value
+  _yielded = undefined;
+  yieldWith(value) {
+    this._yielded = value;
+    return Yield;
+  }
+  children() {
+    return this._children ??= new Set();
+  }
+}
+const fiberMiddleware = /*#__PURE__*/globalValue("effect/Micro/fiberMiddleware", () => ({
+  interruptChildren: undefined
+}));
+const fiberInterruptChildren = fiber => {
+  if (fiber._children === undefined || fiber._children.size === 0) {
+    return undefined;
+  }
+  return fiberInterruptAll(fiber._children);
+};
 /**
- * @since 3.4.6
+ * @since 3.11.0
  * @experimental
- * @category MicroExit
+ * @category Fiber
  */
-export const exitIsSuccess = Either.isRight;
+export const fiberAwait = self => async(resume => sync(self.addObserver(exit => resume(succeed(exit)))));
 /**
- * @since 3.4.6
+ * @since 3.11.0
  * @experimental
- * @category MicroExit
+ * @category Fiber
  */
-export const exitIsFailure = Either.isLeft;
+export const fiberInterrupt = self => suspend(() => {
+  self.unsafeInterrupt();
+  return asVoid(fiberAwait(self));
+});
 /**
- * @since 3.4.6
+ * @since 3.11.0
  * @experimental
- * @category MicroExit
+ * @category Fiber
  */
-export const exitIsInterrupt = self => exitIsFailure(self) && self.left._tag === "Interrupt";
+export const fiberInterruptAll = fibers => suspend(() => {
+  for (const fiber of fibers) fiber.unsafeInterrupt();
+  const iter = fibers[Symbol.iterator]();
+  const wait = suspend(() => {
+    let result = iter.next();
+    while (!result.done) {
+      if (result.value.unsafePoll()) {
+        result = iter.next();
+        continue;
+      }
+      const fiber = result.value;
+      return async(resume => {
+        fiber.addObserver(_ => {
+          resume(wait);
+        });
+      });
+    }
+    return exitVoid;
+  });
+  return wait;
+});
+const identifier = /*#__PURE__*/Symbol.for("effect/Micro/identifier");
+const args = /*#__PURE__*/Symbol.for("effect/Micro/args");
+const evaluate = /*#__PURE__*/Symbol.for("effect/Micro/evaluate");
+const successCont = /*#__PURE__*/Symbol.for("effect/Micro/successCont");
+const failureCont = /*#__PURE__*/Symbol.for("effect/Micro/failureCont");
+const ensureCont = /*#__PURE__*/Symbol.for("effect/Micro/ensureCont");
+const Yield = /*#__PURE__*/Symbol.for("effect/Micro/Yield");
+const microVariance = {
+  _A: identity,
+  _E: identity,
+  _R: identity
+};
+const MicroProto = {
+  ...Effectable.EffectPrototype,
+  _op: "Micro",
+  [TypeId]: microVariance,
+  pipe() {
+    return pipeArguments(this, arguments);
+  },
+  [Symbol.iterator]() {
+    return new SingleShotGen(new YieldWrap(this));
+  },
+  toJSON() {
+    return {
+      _id: "effect/Micro",
+      op: this[identifier],
+      ...(args in this ? {
+        args: this[args]
+      } : undefined)
+    };
+  },
+  toString() {
+    return format(this);
+  },
+  [NodeInspectSymbol]() {
+    return format(this);
+  }
+};
+function defaultEvaluate(_fiber) {
+  return exitDie(`Micro.evaluate: Not implemented`);
+}
+const makePrimitiveProto = options => ({
+  ...MicroProto,
+  [identifier]: options.op,
+  [evaluate]: options.eval ?? defaultEvaluate,
+  [successCont]: options.contA,
+  [failureCont]: options.contE,
+  [ensureCont]: options.ensure
+});
+const makePrimitive = options => {
+  const Proto = makePrimitiveProto(options);
+  return function () {
+    const self = Object.create(Proto);
+    self[args] = options.single === false ? arguments : arguments[0];
+    return self;
+  };
+};
+const makeExit = options => {
+  const Proto = {
+    ...makePrimitiveProto(options),
+    [MicroExitTypeId]: MicroExitTypeId,
+    _tag: options.op,
+    get [options.prop]() {
+      return this[args];
+    },
+    toJSON() {
+      return {
+        _id: "effect/Micro/Exit",
+        _tag: options.op,
+        [options.prop]: this[args]
+      };
+    },
+    [Equal.symbol](that) {
+      return isMicroExit(that) && that._tag === options.op && Equal.equals(this[args], that[args]);
+    },
+    [Hash.symbol]() {
+      return Hash.cached(this, Hash.combine(Hash.string(options.op))(Hash.hash(this[args])));
+    }
+  };
+  return function (value) {
+    const self = Object.create(Proto);
+    self[args] = value;
+    self[successCont] = undefined;
+    self[failureCont] = undefined;
+    self[ensureCont] = undefined;
+    return self;
+  };
+};
 /**
- * @since 3.4.6
+ * Creates a `Micro` effect that will succeed with the specified constant value.
+ *
+ * @since 3.4.0
  * @experimental
- * @category MicroExit
+ * @category constructors
  */
-export const exitIsFail = self => exitIsFailure(self) && self.left._tag === "Fail";
+export const succeed = /*#__PURE__*/makeExit({
+  op: "Success",
+  prop: "value",
+  eval(fiber) {
+    const cont = fiber.getCont(successCont);
+    return cont ? cont[successCont](this[args], fiber) : fiber.yieldWith(this);
+  }
+});
 /**
+ * Creates a `Micro` effect that will fail with the specified `MicroCause`.
+ *
  * @since 3.4.6
  * @experimental
- * @category MicroExit
+ * @category constructors
  */
-export const exitIsDie = self => exitIsFailure(self) && self.left._tag === "Die";
+export const failCause = /*#__PURE__*/makeExit({
+  op: "Failure",
+  prop: "cause",
+  eval(fiber) {
+    let cont = fiber.getCont(failureCont);
+    while (causeIsInterrupt(this[args]) && cont && fiber.interruptible) {
+      cont = fiber.getCont(failureCont);
+    }
+    return cont ? cont[failureCont](this[args], fiber) : fiber.yieldWith(this);
+  }
+});
 /**
- * @since 3.4.6
+ * Creates a `Micro` effect that will fail with the specified error.
+ *
+ * This will result in a `CauseFail`, where the error is tracked at the
+ * type level.
+ *
+ * @since 3.4.0
  * @experimental
- * @category MicroExit
+ * @category constructors
  */
-export const exitVoid = /*#__PURE__*/exitSucceed(void 0);
-// ----------------------------------------------------------------------------
-// env
-// ----------------------------------------------------------------------------
+export const fail = error => failCause(causeFail(error));
 /**
+ * Creates a `Micro` effect that will succeed with the lazily evaluated value.
+ *
+ * If the evaluation of the value throws an error, the effect will fail with
+ * `CauseDie`.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const EnvTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Env");
-const EnvProto = {
-  [EnvTypeId]: {
-    _R: identity
-  },
-  pipe() {
-    return pipeArguments(this, arguments);
+export const sync = /*#__PURE__*/makePrimitive({
+  op: "Sync",
+  eval(fiber) {
+    const value = this[args]();
+    const cont = fiber.getCont(successCont);
+    return cont ? cont[successCont](value, fiber) : fiber.yieldWith(exitSucceed(value));
   }
-};
+});
 /**
+ * Lazily creates a `Micro` effect from the given side-effect.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const envMake = refs => {
-  const self = Object.create(EnvProto);
-  self.refs = refs;
-  return self;
-};
+export const suspend = /*#__PURE__*/makePrimitive({
+  op: "Suspend",
+  eval(_fiber) {
+    return this[args]();
+  }
+});
 /**
+ * Pause the execution of the current `Micro` effect, and resume it on the next
+ * scheduler tick.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const envUnsafeMakeEmpty = () => {
-  const controller = new AbortController();
-  const refs = Object.create(null);
-  refs[currentAbortController.key] = controller;
-  refs[currentAbortSignal.key] = controller.signal;
-  refs[currentScheduler.key] = new MicroSchedulerDefault();
-  return envMake(refs);
-};
+export const yieldNowWith = /*#__PURE__*/makePrimitive({
+  op: "Yield",
+  eval(fiber) {
+    let resumed = false;
+    fiber.getRef(CurrentScheduler).scheduleTask(() => {
+      if (resumed) return;
+      fiber.evaluate(exitVoid);
+    }, this[args] ?? 0);
+    return fiber.yieldWith(() => {
+      resumed = true;
+    });
+  }
+});
 /**
+ * Pause the execution of the current `Micro` effect, and resume it on the next
+ * scheduler tick.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const envGet = /*#__PURE__*/dual(2, (self, ref) => ref.key in self.refs ? self.refs[ref.key] : ref.initial);
+export const yieldNow = /*#__PURE__*/yieldNowWith(0);
 /**
+ * Creates a `Micro` effect that will succeed with `Option.Some` of the value.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const envSet = /*#__PURE__*/dual(3, (self, ref, value) => {
-  const refs = Object.assign(Object.create(null), self.refs);
-  refs[ref.key] = value;
-  return envMake(refs);
-});
+export const succeedSome = a => succeed(Option.some(a));
 /**
+ * Creates a `Micro` effect that will succeed with `Option.None`.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const envMutate = /*#__PURE__*/dual(2, (self, f) => envMake(f(Object.assign(Object.create(null), self.refs))));
+export const succeedNone = /*#__PURE__*/succeed( /*#__PURE__*/Option.none());
 /**
- * Access the given `Context.Tag` from the environment.
+ * Creates a `Micro` effect that will fail with the lazily evaluated `MicroCause`.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const service = tag => make(function (env, onExit) {
-  onExit(exitSucceed(Context.get(envGet(env, currentContext), tag)));
-});
+export const failCauseSync = evaluate => suspend(() => failCause(evaluate()));
 /**
- * Access the given `Context.Tag` from the environment, without tracking the
- * dependency at the type level.
+ * Creates a `Micro` effect that will die with the specified error.
  *
- * It will return an `Option` of the service, depending on whether it is
- * available in the environment or not.
+ * This will result in a `CauseDie`, where the error is not tracked at
+ * the type level.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const serviceOption = tag => make(function (env, onExit) {
-  onExit(exitSucceed(Context.getOption(envGet(env, currentContext), tag)));
-});
+export const die = defect => exitDie(defect);
 /**
- * Retrieve the current value of the given `EnvRef`.
+ * Creates a `Micro` effect that will fail with the lazily evaluated error.
  *
- * @since 3.4.0
+ * This will result in a `CauseFail`, where the error is tracked at the
+ * type level.
+ *
+ * @since 3.4.6
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const getEnvRef = envRef => make((env, onExit) => onExit(Either.right(envGet(env, envRef))));
+export const failSync = error => suspend(() => fail(error()));
 /**
- * Set the value of the given `EnvRef` for the duration of the effect.
+ * Converts an `Option` into a `Micro` effect, that will fail with
+ * `NoSuchElementException` if the option is `None`. Otherwise, it will succeed with the
+ * value of the option.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const locally = /*#__PURE__*/dual(3, (self, fiberRef, value) => make((env, onExit) => self[runSymbol](envSet(env, fiberRef, value), onExit)));
+export const fromOption = option => option._tag === "Some" ? succeed(option.value) : fail(new NoSuchElementException({}));
 /**
- * Access the current `Context` from the environment.
+ * Converts an `Either` into a `Micro` effect, that will fail with the left side
+ * of the either if it is a `Left`. Otherwise, it will succeed with the right
+ * side of the either.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const context = () => getEnvRef(currentContext);
+export const fromEither = either => either._tag === "Right" ? succeed(either.right) : fail(either.left);
+const void_ = /*#__PURE__*/succeed(void 0);
+export {
 /**
- * Merge the given `Context` with the current context.
+ * A `Micro` effect that will succeed with `void` (`undefined`).
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-export const provideContext = /*#__PURE__*/dual(2, (self, provided) => make(function (env, onExit) {
-  const context = envGet(env, currentContext);
-  const nextEnv = envSet(env, currentContext, Context.merge(context, provided));
-  self[runSymbol](nextEnv, onExit);
-}));
+void_ as void };
+const try_ = options => suspend(() => {
+  try {
+    return succeed(options.try());
+  } catch (err) {
+    return fail(options.catch(err));
+  }
+});
+export {
 /**
- * Add the provided service to the current context.
+ * The `Micro` equivalent of a try / catch block, which allows you to map
+ * thrown errors to a specific error type.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
- */
-export const provideService = /*#__PURE__*/dual(3, (self, tag, service) => make(function (env, onExit) {
-  const context = envGet(env, currentContext);
-  const nextEnv = envSet(env, currentContext, Context.add(context, tag, service));
-  self[runSymbol](nextEnv, onExit);
-}));
-/**
- * Create a service using the provided `Micro` effect, and add it to the
- * current context.
+ * @category constructors
+ * @example
+ * ```ts
+ * import { Micro } from "effect"
  *
- * @since 3.4.6
- * @experimental
- * @category environment
+ * Micro.try({
+ *   try: () => throw new Error("boom"),
+ *   catch: (cause) => new Error("caught", { cause })
+ * })
+ * ```
  */
-export const provideServiceEffect = /*#__PURE__*/dual(3, (self, tag, acquire) => flatMap(acquire, service => provideService(self, tag, service)));
-const setImmediate = "setImmediate" in globalThis ? globalThis.setImmediate : f => setTimeout(f, 0);
+try_ as try };
 /**
- * @since 3.5.9
+ * Wrap a `Promise` into a `Micro` effect. Any errors will result in a
+ * `CauseDie`.
+ *
+ * @since 3.4.0
  * @experimental
- * @category scheduler
+ * @category constructors
  */
-export class MicroSchedulerDefault {
-  tasks = [];
-  running = false;
-  /**
-   * @since 3.5.9
-   */
-  scheduleTask(task, _priority) {
-    this.tasks.push(task);
-    if (!this.running) {
-      this.running = true;
-      setImmediate(this.afterScheduled);
-    }
-  }
-  /**
-   * @since 3.5.9
-   */
-  afterScheduled = () => {
-    this.running = false;
-    this.runTasks();
-  };
-  /**
-   * @since 3.5.9
-   */
-  runTasks() {
-    const tasks = this.tasks;
-    this.tasks = [];
-    for (let i = 0, len = tasks.length; i < len; i++) {
-      tasks[i]();
-    }
-  }
-  /**
-   * @since 3.5.9
-   */
-  shouldYield(_env) {
-    return false;
-  }
-  /**
-   * @since 3.5.9
-   */
-  flush() {
-    while (this.tasks.length > 0) {
-      this.runTasks();
-    }
-  }
-}
-// ========================================================================
-// Env refs
-// ========================================================================
+export const promise = evaluate => asyncOptions(function (resume, signal) {
+  evaluate(signal).then(a => resume(succeed(a)), e => resume(die(e)));
+}, evaluate.length !== 0);
 /**
+ * Wrap a `Promise` into a `Micro` effect. Any errors will be caught and
+ * converted into a specific error type.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
+ * @example
+ * ```ts
+ * import { Micro } from "effect"
+ *
+ * Micro.tryPromise({
+ *   try: () => Promise.resolve("success"),
+ *   catch: (cause) => new Error("caught", { cause })
+ * })
+ * ```
  */
-export const EnvRefTypeId = /*#__PURE__*/Symbol.for("effect/Micro/EnvRef");
-const EnvRefProto = {
-  ...MicroProto,
-  [EnvRefTypeId]: EnvRefTypeId,
-  [runSymbol](env, onExit) {
-    getEnvRef(this)[runSymbol](env, onExit);
+export const tryPromise = options => asyncOptions(function (resume, signal) {
+  try {
+    options.try(signal).then(a => resume(succeed(a)), e => resume(fail(options.catch(e))));
+  } catch (err) {
+    resume(fail(options.catch(err)));
   }
-};
+}, options.try.length !== 0);
 /**
+ * Create a `Micro` effect using the current `Fiber`.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment refs
+ * @category constructors
  */
-export const envRefMake = (key, initial) => globalValue(key, () => {
-  const self = Object.create(EnvRefProto);
-  self.key = key;
-  self.initial = initial();
-  return self;
+export const withFiber = /*#__PURE__*/makePrimitive({
+  op: "WithFiber",
+  eval(fiber) {
+    return this[args](fiber);
+  }
 });
 /**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentAbortController = /*#__PURE__*/envRefMake("effect/Micro/currentAbortController", () => undefined);
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentAbortSignal = /*#__PURE__*/envRefMake("effect/Micro/currentAbortSignal", () => undefined);
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentContext = /*#__PURE__*/envRefMake("effect/Micro/currentContext", () => Context.empty());
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentConcurrency = /*#__PURE__*/envRefMake("effect/Micro/currentConcurrency", () => "unbounded");
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentMaxDepthBeforeYield = /*#__PURE__*/envRefMake("effect/Micro/currentMaxDepthBeforeYield", () => 2048);
-const currentInterruptible = /*#__PURE__*/envRefMake("effect/Micro/currentInterruptible", () => true);
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-export const currentScheduler = /*#__PURE__*/envRefMake("effect/Micro/currentScheduler", () => new MicroSchedulerDefault());
-/**
- * If you have a `Micro` that uses `concurrency: "inherit"`, you can use this
- * api to control the concurrency of that `Micro` when it is run.
+ * Flush any yielded effects that are waiting to be executed.
  *
  * @since 3.4.0
  * @experimental
- * @category environment refs
- * @example
- * import * as Micro from "effect/Micro"
- *
- * Micro.forEach([1, 2, 3], (n) => Micro.succeed(n), {
- *   concurrency: "inherit"
- * }).pipe(
- *   Micro.withConcurrency(2) // use a concurrency of 2
- * )
+ * @category constructors
  */
-export const withConcurrency = /*#__PURE__*/dual(2, (self, concurrency) => locally(self, currentConcurrency, concurrency));
-// ----------------------------------------------------------------------------
-// constructors
-// ----------------------------------------------------------------------------
-const microDepthState = /*#__PURE__*/globalValue("effect/Micro/microDepthState", () => ({
-  depth: 0,
-  maxDepthBeforeYield: currentMaxDepthBeforeYield.initial
-}));
-const unsafeMake = run => {
-  const self = Object.create(MicroProto);
-  self[runSymbol] = run;
-  return self;
-};
-const unsafeMakeOptions = (run, checkAbort) => unsafeMake(function execute(env, onExit) {
-  if (checkAbort && env.refs[currentInterruptible.key] !== false && env.refs[currentAbortSignal.key].aborted) {
-    return onExit(exitInterrupt);
-  }
-  microDepthState.depth++;
-  if (microDepthState.depth === 1) {
-    microDepthState.maxDepthBeforeYield = envGet(env, currentMaxDepthBeforeYield);
+export const yieldFlush = /*#__PURE__*/withFiber(fiber => {
+  fiber.getRef(CurrentScheduler).flush();
+  return exitVoid;
+});
+const asyncOptions = /*#__PURE__*/makePrimitive({
+  op: "Async",
+  single: false,
+  eval(fiber) {
+    const register = this[args][0];
+    let resumed = false;
+    let yielded = false;
+    const controller = this[args][1] ? new AbortController() : undefined;
+    const onCancel = register(effect => {
+      if (resumed) return;
+      resumed = true;
+      if (yielded) {
+        fiber.evaluate(effect);
+      } else {
+        yielded = effect;
+      }
+    }, controller?.signal);
+    if (yielded !== false) return yielded;
+    yielded = true;
+    fiber._yielded = () => {
+      resumed = true;
+    };
+    if (controller === undefined && onCancel === undefined) {
+      return Yield;
+    }
+    fiber._stack.push(asyncFinalizer(() => {
+      resumed = true;
+      controller?.abort();
+      return onCancel ?? exitVoid;
+    }));
+    return Yield;
   }
-  const scheduler = env.refs[currentScheduler.key];
-  if (microDepthState.depth >= microDepthState.maxDepthBeforeYield || scheduler.shouldYield(env)) {
-    scheduler.scheduleTask(() => execute(env, onExit), 0);
-  } else {
-    try {
-      run(env, onExit);
-    } catch (err) {
-      onExit(exitDie(err));
+});
+const asyncFinalizer = /*#__PURE__*/makePrimitive({
+  op: "AsyncFinalizer",
+  ensure(fiber) {
+    if (fiber.interruptible) {
+      fiber.interruptible = false;
+      fiber._stack.push(setInterruptible(true));
     }
+  },
+  contE(cause, _fiber) {
+    return causeIsInterrupt(cause) ? flatMap(this[args](), () => failCause(cause)) : failCause(cause);
   }
-  microDepthState.depth--;
 });
 /**
- * A low-level constructor for creating a `Micro` effect. It takes a function
- * that receives an environment and a callback which should be called with the
- * result of the effect.
+ * Create a `Micro` effect from an asynchronous computation.
+ *
+ * You can return a cleanup effect that will be run when the effect is aborted.
+ * It is also passed an `AbortSignal` that is triggered when the effect is
+ * aborted.
  *
  * @since 3.4.0
  * @experimental
  * @category constructors
  */
-export const make = run => unsafeMakeOptions(run, true);
+export const async = register => asyncOptions(register, register.length >= 2);
 /**
- * Converts a `MicroExit` into a `Micro` effect.
+ * A `Micro` that will never succeed or fail. It wraps `setInterval` to prevent
+ * the Javascript runtime from exiting.
  *
- * @since 3.4.6
+ * @since 3.4.0
  * @experimental
  * @category constructors
  */
-export const fromExit = self => make(function (_env, onExit) {
-  onExit(self);
+export const never = /*#__PURE__*/async(function () {
+  const interval = setInterval(constVoid, 2147483646);
+  return sync(() => clearInterval(interval));
 });
 /**
- * Converts a lazy `MicroExit` into a `Micro` effect.
- *
- * @since 3.4.6
+ * @since 3.4.0
  * @experimental
  * @category constructors
  */
-export const fromExitSync = self => make(function (_env, onExit) {
-  onExit(self());
+export const gen = (...args) => suspend(() => fromIterator(args.length === 1 ? args[0]() : args[1].call(args[0])));
+const fromIterator = /*#__PURE__*/makePrimitive({
+  op: "Iterator",
+  contA(value, fiber) {
+    const state = this[args].next(value);
+    if (state.done) return succeed(state.value);
+    fiber._stack.push(this);
+    return yieldWrapGet(state.value);
+  },
+  eval(fiber) {
+    return this[successCont](undefined, fiber);
+  }
 });
+// ----------------------------------------------------------------------------
+// mapping & sequencing
+// ----------------------------------------------------------------------------
 /**
- * Creates a `Micro` effect that will succeed with the specified constant value.
+ * Create a `Micro` effect that will replace the success value of the given
+ * effect.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const succeed = a => fromExit(exitSucceed(a));
+export const as = /*#__PURE__*/dual(2, (self, value) => map(self, _ => value));
 /**
- * Creates a `Micro` effect that will succeed with `Option.Some` of the value.
+ * Wrap the success value of this `Micro` effect in an `Option.Some`.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const succeedSome = a => succeed(Option.some(a));
+export const asSome = self => map(self, Option.some);
 /**
- * Creates a `Micro` effect that will succeed with `Option.None`.
+ * Swap the error and success types of the `Micro` effect.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const succeedNone = /*#__PURE__*/succeed( /*#__PURE__*/Option.none());
+export const flip = self => matchEffect(self, {
+  onFailure: succeed,
+  onSuccess: fail
+});
 /**
- * Creates a `Micro` effect that will fail with the specified error.
+ * A more flexible version of `flatMap`, that combines `map` and `flatMap` into
+ * a single api.
  *
- * This will result in a `CauseFail`, where the error is tracked at the
- * type level.
+ * It also allows you to pass in a `Micro` effect directly, which will be
+ * executed after the current effect.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const fail = e => fromExit(exitFail(e));
+export const andThen = /*#__PURE__*/dual(2, (self, f) => flatMap(self, a => {
+  const value = isMicro(f) ? f : typeof f === "function" ? f(a) : f;
+  return isMicro(value) ? value : succeed(value);
+}));
 /**
- * Creates a `Micro` effect that will fail with the lazily evaluated error.
+ * Execute a side effect from the success value of the `Micro` effect.
  *
- * This will result in a `CauseFail`, where the error is tracked at the
- * type level.
+ * It is similar to the `andThen` api, but the success value is ignored.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const failSync = e => make(function (_env, onExit) {
-  onExit(exitFail(e()));
-});
+export const tap = /*#__PURE__*/dual(2, (self, f) => flatMap(self, a => {
+  const value = isMicro(f) ? f : typeof f === "function" ? f(a) : f;
+  return isMicro(value) ? as(value, a) : succeed(a);
+}));
 /**
- * Creates a `Micro` effect that will die with the specified error.
- *
- * This will result in a `CauseDie`, where the error is not tracked at
- * the type level.
+ * Replace the success value of the `Micro` effect with `void`.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
- */
-export const die = defect => fromExit(exitDie(defect));
-/**
- * Creates a `Micro` effect that will fail with the specified `MicroCause`.
- *
- * @since 3.4.6
- * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const failCause = cause => fromExit(exitFailCause(cause));
+export const asVoid = self => flatMap(self, _ => exitVoid);
 /**
- * Creates a `Micro` effect that will fail with the lazily evaluated `MicroCause`.
+ * Access the `MicroExit` of the given `Micro` effect.
  *
  * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const failCauseSync = cause => fromExitSync(() => exitFailCause(cause()));
+export const exit = self => matchCause(self, {
+  onFailure: exitFailCause,
+  onSuccess: exitSucceed
+});
 /**
- * Creates a `Micro` effect that will succeed with the lazily evaluated value.
- *
- * If the evaluation of the value throws an error, the effect will fail with
- * `CauseDie`.
+ * Replace the error type of the given `Micro` with the full `MicroCause` object.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const sync = evaluate => make(function (_env, onExit) {
-  onExit(exitSucceed(evaluate()));
-});
+export const sandbox = self => catchAllCause(self, fail);
 /**
- * Converts an `Option` into a `Micro` effect, that will fail with
- * `NoSuchElementException` if the option is `None`. Otherwise, it will succeed with the
- * value of the option.
+ * Returns an effect that races all the specified effects,
+ * yielding the value of the first effect to succeed with a value. Losers of
+ * the race will be interrupted immediately
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category sequencing
  */
-export const fromOption = option => make(function (_env, onExit) {
-  onExit(option._tag === "Some" ? exitSucceed(option.value) : exitFail(new NoSuchElementException({})));
-});
+export const raceAll = all => withFiber(parent => async(resume => {
+  const effects = Arr.fromIterable(all);
+  const len = effects.length;
+  let doneCount = 0;
+  let done = false;
+  const fibers = new Set();
+  const causes = [];
+  const onExit = exit => {
+    doneCount++;
+    if (exit._tag === "Failure") {
+      causes.push(exit.cause);
+      if (doneCount >= len) {
+        resume(failCause(causes[0]));
+      }
+      return;
+    }
+    done = true;
+    resume(fibers.size === 0 ? exit : flatMap(uninterruptible(fiberInterruptAll(fibers)), () => exit));
+  };
+  for (let i = 0; i < len; i++) {
+    if (done) break;
+    const fiber = unsafeFork(parent, interruptible(effects[i]), true, true);
+    fibers.add(fiber);
+    fiber.addObserver(exit => {
+      fibers.delete(fiber);
+      onExit(exit);
+    });
+  }
+  return fiberInterruptAll(fibers);
+}));
 /**
- * Converts an `Either` into a `Micro` effect, that will fail with the left side
- * of the either if it is a `Left`. Otherwise, it will succeed with the right
- * side of the either.
+ * Returns an effect that races all the specified effects,
+ * yielding the value of the first effect to succeed or fail. Losers of
+ * the race will be interrupted immediately
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category sequencing
  */
-export const fromEither = either => make(function (_env, onExit) {
-  onExit(either._tag === "Right" ? either : exitFail(either.left));
-});
+export const raceAllFirst = all => withFiber(parent => async(resume => {
+  let done = false;
+  const fibers = new Set();
+  const onExit = exit => {
+    done = true;
+    resume(fibers.size === 0 ? exit : flatMap(fiberInterruptAll(fibers), () => exit));
+  };
+  for (const effect of all) {
+    if (done) break;
+    const fiber = unsafeFork(parent, interruptible(effect), true, true);
+    fibers.add(fiber);
+    fiber.addObserver(exit => {
+      fibers.delete(fiber);
+      onExit(exit);
+    });
+  }
+  return fiberInterruptAll(fibers);
+}));
 /**
- * Lazily creates a `Micro` effect from the given side-effect.
+ * Returns an effect that races two effects, yielding the value of the first
+ * effect to succeed. Losers of the race will be interrupted immediately
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category sequencing
  */
-export const suspend = evaluate => make(function (env, onExit) {
-  evaluate()[runSymbol](env, onExit);
-});
-const void_ = /*#__PURE__*/succeed(void 0);
-export {
+export const race = /*#__PURE__*/dual(2, (self, that) => raceAll([self, that]));
 /**
- * A `Micro` effect that will succeed with `void` (`undefined`).
+ * Returns an effect that races two effects, yielding the value of the first
+ * effect to succeed *or* fail. Losers of the race will be interrupted immediately
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category sequencing
  */
-void_ as void };
+export const raceFirst = /*#__PURE__*/dual(2, (self, that) => raceAllFirst([self, that]));
 /**
- * Create a `Micro` effect from an asynchronous computation.
- *
- * You can return a cleanup effect that will be run when the effect is aborted.
- * It is also passed an `AbortSignal` that is triggered when the effect is
- * aborted.
+ * Map the success value of this `Micro` effect to another `Micro` effect, then
+ * flatten the result.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const async = register => make(function (env, onExit) {
-  let resumed = false;
-  const controller = register.length > 1 ? new AbortController() : undefined;
-  const signal = envGet(env, currentAbortSignal);
-  let cleanup = undefined;
-  function onAbort() {
-    if (cleanup) {
-      resume(uninterruptible(andThen(cleanup, fromExit(exitInterrupt))));
-    } else {
-      resume(fromExit(exitInterrupt));
-    }
-    if (controller !== undefined) {
-      controller.abort();
-    }
-  }
-  function resume(effect) {
-    if (resumed) {
-      return;
-    }
-    resumed = true;
-    signal.removeEventListener("abort", onAbort);
-    effect[runSymbol](env, onExit);
-  }
-  cleanup = controller === undefined ? register(resume) : register(resume, controller.signal);
-  if (resumed) return;
-  signal.addEventListener("abort", onAbort);
+export const flatMap = /*#__PURE__*/dual(2, (self, f) => {
+  const onSuccess = Object.create(OnSuccessProto);
+  onSuccess[args] = self;
+  onSuccess[successCont] = f;
+  return onSuccess;
 });
-const try_ = options => make(function (_env, onExit) {
-  try {
-    onExit(exitSucceed(options.try()));
-  } catch (err) {
-    onExit(exitFail(options.catch(err)));
+const OnSuccessProto = /*#__PURE__*/makePrimitiveProto({
+  op: "OnSuccess",
+  eval(fiber) {
+    fiber._stack.push(this);
+    return this[args];
   }
 });
-export {
+// ----------------------------------------------------------------------------
+// mapping & sequencing
+// ----------------------------------------------------------------------------
 /**
- * The `Micro` equivalent of a try / catch block, which allows you to map
- * thrown errors to a specific error type.
+ * Flattens any nested `Micro` effects, merging the error and requirement types.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
- * @example
- * import { Micro } from "effect"
- *
- * Micro.try({
- *   try: () => throw new Error("boom"),
- *   catch: (cause) => new Error("caught", { cause })
- * })
+ * @category mapping & sequencing
  */
-try_ as try };
+export const flatten = self => flatMap(self, identity);
 /**
- * Wrap a `Promise` into a `Micro` effect. Any errors will result in a
- * `CauseDie`.
+ * Transforms the success value of the `Micro` effect with the specified
+ * function.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-export const promise = evaluate => async(function (resume, signal) {
-  evaluate(signal).then(a => resume(succeed(a)), e => resume(die(e)));
-});
+export const map = /*#__PURE__*/dual(2, (self, f) => flatMap(self, a => succeed(f(a))));
 /**
- * Wrap a `Promise` into a `Micro` effect. Any errors will be caught and
- * converted into a specific error type.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
- * @example
- * import { Micro } from "effect"
- *
- * Micro.tryPromise({
- *   try: () => Promise.resolve("success"),
- *   catch: (cause) => new Error("caught", { cause })
- * })
+ * @category MicroExit
  */
-export const tryPromise = options => async(function (resume, signal) {
-  try {
-    options.try(signal).then(a => resume(succeed(a)), e => resume(fail(options.catch(e))));
-  } catch (err) {
-    resume(fail(options.catch(err)));
-  }
-});
+export const isMicroExit = u => hasProperty(u, MicroExitTypeId);
 /**
- * Pause the execution of the current `Micro` effect, and resume it on the next
- * iteration of the event loop.
- *
- * You can specify a priority for the task, which will determine when it is
- * executed relative to other tasks.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-export const yieldWithPriority = priority => make(function (env, onExit) {
-  envGet(env, currentScheduler).scheduleTask(() => onExit(exitVoid), priority);
-});
+export const exitSucceed = succeed;
 /**
- * Pause the execution of the current `Micro` effect, and resume it on the next
- * iteration of the event loop.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-export const yieldNow = /*#__PURE__*/yieldWithPriority(0);
+export const exitFailCause = failCause;
 /**
- * Flush any yielded effects that are waiting to be executed.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-export const yieldFlush = /*#__PURE__*/make(function (env, onExit) {
-  envGet(env, currentScheduler).flush();
-  onExit(exitVoid);
-});
+export const exitInterrupt = /*#__PURE__*/exitFailCause( /*#__PURE__*/causeInterrupt());
 /**
- * A `Micro` that will never succeed or fail. It wraps `setInterval` to prevent
- * the Javascript runtime from exiting.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-export const never = /*#__PURE__*/async(function () {
-  const interval = setInterval(constVoid, 2147483646);
-  return sync(() => clearInterval(interval));
-});
+export const exitFail = e => exitFailCause(causeFail(e));
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-export const gen = (...args) => make(function (env, onExit) {
-  const iterator = args.length === 1 ? args[0]() : args[1].call(args[0]);
-  let running = false;
-  let value = undefined;
-  function run() {
-    running = true;
-    try {
-      let shouldContinue = true;
-      while (shouldContinue) {
-        const result = iterator.next(value);
-        if (result.done) {
-          return onExit(exitSucceed(result.value));
-        }
-        shouldContinue = false;
-        yieldWrapGet(result.value)[runSymbol](env, function (exit) {
-          if (exit._tag === "Left") {
-            onExit(exit);
-          } else {
-            shouldContinue = true;
-            value = exit.right;
-            if (!running) run();
-          }
-        });
-      }
-    } catch (err) {
-      onExit(exitDie(err));
-    }
-    running = false;
-  }
-  run();
-});
-// ----------------------------------------------------------------------------
-// mapping & sequencing
-// ----------------------------------------------------------------------------
+export const exitDie = defect => exitFailCause(causeDie(defect));
 /**
- * Flattens any nested `Micro` effects, merging the error and requirement types.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category mapping & sequencing
+ * @category MicroExit
  */
-export const flatten = self => make(function (env, onExit) {
-  self[runSymbol](env, exit => exit._tag === "Left" ? onExit(exit) : exit.right[runSymbol](env, onExit));
-});
+export const exitIsSuccess = self => self._tag === "Success";
 /**
- * Transforms the success value of the `Micro` effect with the specified
- * function.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category mapping & sequencing
+ * @category MicroExit
  */
-export const map = /*#__PURE__*/dual(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    onExit(exit._tag === "Left" ? exit : exitSucceed(f(exit.right)));
-  });
-}));
+export const exitIsFailure = self => self._tag === "Failure";
 /**
- * Create a `Micro` effect that will replace the success value of the given
- * effect.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category mapping & sequencing
+ * @category MicroExit
  */
-export const as = /*#__PURE__*/dual(2, (self, value) => map(self, _ => value));
+export const exitIsInterrupt = self => exitIsFailure(self) && self.cause._tag === "Interrupt";
 /**
- * Wrap the success value of this `Micro` effect in an `Option.Some`.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category mapping & sequencing
+ * @category MicroExit
  */
-export const asSome = self => map(self, Option.some);
+export const exitIsFail = self => exitIsFailure(self) && self.cause._tag === "Fail";
 /**
- * Map the success value of this `Micro` effect to another `Micro` effect, then
- * flatten the result.
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+export const exitIsDie = self => exitIsFailure(self) && self.cause._tag === "Die";
+/**
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+export const exitVoid = /*#__PURE__*/exitSucceed(void 0);
+/**
+ * @since 3.11.0
+ * @experimental
+ * @category MicroExit
+ */
+export const exitVoidAll = exits => {
+  for (const exit of exits) {
+    if (exit._tag === "Failure") {
+      return exit;
+    }
+  }
+  return exitVoid;
+};
+const setImmediate = "setImmediate" in globalThis ? globalThis.setImmediate : f => setTimeout(f, 0);
+/**
+ * @since 3.5.9
+ * @experimental
+ * @category scheduler
+ */
+export class MicroSchedulerDefault {
+  tasks = [];
+  running = false;
+  /**
+   * @since 3.5.9
+   */
+  scheduleTask(task, _priority) {
+    this.tasks.push(task);
+    if (!this.running) {
+      this.running = true;
+      setImmediate(this.afterScheduled);
+    }
+  }
+  /**
+   * @since 3.5.9
+   */
+  afterScheduled = () => {
+    this.running = false;
+    this.runTasks();
+  };
+  /**
+   * @since 3.5.9
+   */
+  runTasks() {
+    const tasks = this.tasks;
+    this.tasks = [];
+    for (let i = 0, len = tasks.length; i < len; i++) {
+      tasks[i]();
+    }
+  }
+  /**
+   * @since 3.5.9
+   */
+  shouldYield(fiber) {
+    return fiber.currentOpCount >= fiber.getRef(MaxOpsBeforeYield);
+  }
+  /**
+   * @since 3.5.9
+   */
+  flush() {
+    while (this.tasks.length > 0) {
+      this.runTasks();
+    }
+  }
+}
+/**
+ * Access the given `Context.Tag` from the environment.
  *
  * @since 3.4.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const flatMap = /*#__PURE__*/dual(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    if (exit._tag === "Left") {
-      return onExit(exit);
-    }
-    f(exit.right)[runSymbol](env, onExit);
-  });
-}));
+export const service = tag => withFiber(fiber => succeed(Context.unsafeGet(fiber.context, tag)));
 /**
- * Swap the error and success types of the `Micro` effect.
+ * Access the given `Context.Tag` from the environment, without tracking the
+ * dependency at the type level.
+ *
+ * It will return an `Option` of the service, depending on whether it is
+ * available in the environment or not.
  *
  * @since 3.4.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const flip = self => matchEffect(self, {
-  onFailure: succeed,
-  onSuccess: fail
-});
+export const serviceOption = tag => withFiber(fiber => succeed(Context.getOption(fiber.context, tag)));
 /**
- * A more flexible version of `flatMap`, that combines `map` and `flatMap` into
- * a single api.
- *
- * It also allows you to pass in a `Micro` effect directly, which will be
- * executed after the current effect.
+ * Update the Context with the given mapping function.
  *
- * @since 3.4.0
+ * @since 3.11.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const andThen = /*#__PURE__*/dual(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    if (exit._tag === "Left") {
-      return onExit(exit);
-    } else if (envGet(env, currentAbortSignal).aborted) {
-      return onExit(exitInterrupt);
-    }
-    const value = isMicro(f) ? f : typeof f === "function" ? f(exit.right) : f;
-    if (isMicro(value)) {
-      value[runSymbol](env, onExit);
-    } else {
-      onExit(exitSucceed(value));
-    }
+export const updateContext = /*#__PURE__*/dual(2, (self, f) => withFiber(fiber => {
+  const prev = fiber.context;
+  fiber.context = f(prev);
+  return onExit(self, () => {
+    fiber.context = prev;
+    return void_;
   });
 }));
 /**
- * Execute a side effect from the success value of the `Micro` effect.
+ * Update the service for the given `Context.Tag` in the environment.
  *
- * It is similar to the `andThen` api, but the success value is ignored.
- *
- * @since 3.4.0
+ * @since 3.11.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const tap = /*#__PURE__*/dual(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (selfExit) {
-    if (selfExit._tag === "Left") {
-      return onExit(selfExit);
-    } else if (envGet(env, currentAbortSignal).aborted) {
-      return onExit(exitInterrupt);
-    }
-    const value = isMicro(f) ? f : typeof f === "function" ? f(selfExit.right) : f;
-    if (isMicro(value)) {
-      value[runSymbol](env, function (tapExit) {
-        if (tapExit._tag === "Left") {
-          return onExit(tapExit);
-        }
-        onExit(selfExit);
-      });
-    } else {
-      onExit(selfExit);
-    }
+export const updateService = /*#__PURE__*/dual(3, (self, tag, f) => withFiber(fiber => {
+  const prev = Context.unsafeGet(fiber.context, tag);
+  fiber.context = Context.add(fiber.context, tag, f(prev));
+  return onExit(self, () => {
+    fiber.context = Context.add(fiber.context, tag, prev);
+    return void_;
   });
 }));
 /**
- * Replace the success value of the `Micro` effect with `void`.
+ * Access the current `Context` from the environment.
  *
  * @since 3.4.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const asVoid = self => map(self, _ => void 0);
+export const context = () => getContext;
+const getContext = /*#__PURE__*/withFiber(fiber => succeed(fiber.context));
 /**
- * Access the `MicroExit` of the given `Micro` effect.
+ * Merge the given `Context` with the current context.
  *
- * @since 3.4.6
+ * @since 3.4.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const exit = self => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    onExit(exitSucceed(exit));
-  });
-});
+export const provideContext = /*#__PURE__*/dual(2, (self, provided) => updateContext(self, Context.merge(provided)));
 /**
- * Replace the error type of the given `Micro` with the full `MicroCause` object.
+ * Add the provided service to the current context.
  *
  * @since 3.4.0
  * @experimental
- * @category mapping & sequencing
+ * @category environment
  */
-export const sandbox = self => catchAllCause(self, cause => fail(cause));
-function forkSignal(env) {
-  const controller = new AbortController();
-  const parentSignal = envGet(env, currentAbortSignal);
-  function onAbort() {
-    controller.abort();
-    parentSignal.removeEventListener("abort", onAbort);
-  }
-  parentSignal.addEventListener("abort", onAbort);
-  const envWithSignal = envMutate(env, function (refs) {
-    refs[currentAbortController.key] = controller;
-    refs[currentAbortSignal.key] = controller.signal;
-    return refs;
-  });
-  return [envWithSignal, onAbort];
-}
+export const provideService = /*#__PURE__*/dual(3, (self, tag, service) => updateContext(self, Context.add(tag, service)));
 /**
- * Returns an effect that races all the specified effects,
- * yielding the value of the first effect to succeed with a value. Losers of
- * the race will be interrupted immediately
+ * Create a service using the provided `Micro` effect, and add it to the
+ * current context.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category sequencing
+ * @category environment
  */
-export const raceAll = all => make(function (env, onExit) {
-  const [envWithSignal, onAbort] = forkSignal(env);
-  const effects = Array.from(all);
-  let len = effects.length;
-  let index = 0;
-  let done = 0;
-  let exit = undefined;
-  const causes = [];
-  function onDone(exit_) {
-    done++;
-    if (exit_._tag === "Right" && exit === undefined) {
-      len = index;
-      exit = exit_;
-      onAbort();
-    } else if (exit_._tag === "Left") {
-      causes.push(exit_.left);
-    }
-    if (done >= len) {
-      onExit(exit ?? Either.left(causes[0]));
-    }
-  }
-  for (; index < len; index++) {
-    effects[index][runSymbol](envWithSignal, onDone);
-  }
-});
+export const provideServiceEffect = /*#__PURE__*/dual(3, (self, tag, acquire) => flatMap(acquire, service => provideService(self, tag, service)));
+// ========================================================================
+// References
+// ========================================================================
 /**
- * Returns an effect that races all the specified effects,
- * yielding the value of the first effect to succeed or fail. Losers of
- * the race will be interrupted immediately
- *
- * @since 3.4.0
+ * @since 3.11.0
  * @experimental
- * @category sequencing
+ * @category references
  */
-export const raceAllFirst = all => make(function (env, onExit) {
-  const [envWithSignal, onAbort] = forkSignal(env);
-  const effects = Array.from(all);
-  let len = effects.length;
-  let index = 0;
-  let done = 0;
-  let exit = undefined;
-  const causes = [];
-  function onDone(exit_) {
-    done++;
-    if (exit === undefined) {
-      len = index;
-      exit = exit_;
-      onAbort();
-    }
-    if (done >= len) {
-      onExit(exit ?? Either.left(causes[0]));
-    }
-  }
-  for (; index < len; index++) {
-    effects[index][runSymbol](envWithSignal, onDone);
-  }
-});
+export class MaxOpsBeforeYield extends /*#__PURE__*/Context.Reference()("effect/Micro/currentMaxOpsBeforeYield", {
+  defaultValue: () => 2048
+}) {}
 /**
- * Returns an effect that races two effects, yielding the value of the first
- * effect to succeed. Losers of the race will be interrupted immediately
- *
- * @since 3.4.0
+ * @since 3.11.0
  * @experimental
- * @category sequencing
+ * @category environment refs
  */
-export const race = /*#__PURE__*/dual(2, (self, that) => raceAll([self, that]));
+export class CurrentConcurrency extends /*#__PURE__*/Context.Reference()("effect/Micro/currentConcurrency", {
+  defaultValue: () => "unbounded"
+}) {}
 /**
- * Returns an effect that races two effects, yielding the value of the first
- * effect to succeed *or* fail. Losers of the race will be interrupted immediately
+ * @since 3.11.0
+ * @experimental
+ * @category environment refs
+ */
+export class CurrentScheduler extends /*#__PURE__*/Context.Reference()("effect/Micro/currentScheduler", {
+  defaultValue: () => new MicroSchedulerDefault()
+}) {}
+/**
+ * If you have a `Micro` that uses `concurrency: "inherit"`, you can use this
+ * api to control the concurrency of that `Micro` when it is run.
  *
  * @since 3.4.0
  * @experimental
- * @category sequencing
+ * @category environment refs
+ * @example
+ * import * as Micro from "effect/Micro"
+ *
+ * Micro.forEach([1, 2, 3], (n) => Micro.succeed(n), {
+ *   concurrency: "inherit"
+ * }).pipe(
+ *   Micro.withConcurrency(2) // use a concurrency of 2
+ * )
  */
-export const raceFirst = /*#__PURE__*/dual(2, (self, that) => raceAllFirst([self, that]));
+export const withConcurrency = /*#__PURE__*/dual(2, (self, concurrency) => provideService(self, CurrentConcurrency, concurrency));
 // ----------------------------------------------------------------------------
 // zipping
 // ----------------------------------------------------------------------------
@@ -1182,15 +1289,11 @@ export const zip = /*#__PURE__*/dual(args => isMicro(args[1]), (self, that, opti
  * @experimental
  * @category zipping
  */
-export const zipWith = /*#__PURE__*/dual(args => isMicro(args[1]), (self, that, f, options) => {
-  if (options?.concurrent) {
-    // Use `all` exclusively for concurrent cases, as it introduces additional overhead due to the management of concurrency
-    return map(all([self, that], {
-      concurrency: "unbounded"
-    }), ([a, a2]) => f(a, a2));
-  }
-  return flatMap(self, a => map(that, a2 => f(a, a2)));
-});
+export const zipWith = /*#__PURE__*/dual(args => isMicro(args[1]), (self, that, f, options) => options?.concurrent
+// Use `all` exclusively for concurrent cases, as it introduces additional overhead due to the management of concurrency
+? map(all([self, that], {
+  concurrency: 2
+}), ([a, a2]) => f(a, a2)) : flatMap(self, a => map(that, a2 => f(a, a2))));
 // ----------------------------------------------------------------------------
 // filtering & conditionals
 // ----------------------------------------------------------------------------
@@ -1225,7 +1328,7 @@ export const filterOrFail = /*#__PURE__*/dual(args => isMicro(args[0]), (self, r
  * @experimental
  * @category filtering & conditionals
  */
-export const when = /*#__PURE__*/dual(2, (self, condition) => flatMap(isMicro(condition) ? condition : sync(condition), pass => pass ? asSome(self) : succeed(Option.none())));
+export const when = /*#__PURE__*/dual(2, (self, condition) => flatMap(isMicro(condition) ? condition : sync(condition), pass => pass ? asSome(self) : succeedNone));
 // ----------------------------------------------------------------------------
 // repetition
 // ----------------------------------------------------------------------------
@@ -1239,14 +1342,14 @@ export const when = /*#__PURE__*/dual(2, (self, condition) => flatMap(isMicro(co
  * @experimental
  * @category repetition
  */
-export const repeatExit = /*#__PURE__*/dual(2, (self, options) => make(function (env, onExit) {
+export const repeatExit = /*#__PURE__*/dual(2, (self, options) => suspend(() => {
   const startedAt = options.schedule ? Date.now() : 0;
   let attempt = 0;
-  self[runSymbol](env, function loop(exit) {
+  const loop = flatMap(exit(self), exit => {
     if (options.while !== undefined && !options.while(exit)) {
-      return onExit(exit);
+      return exit;
     } else if (options.times !== undefined && attempt >= options.times) {
-      return onExit(exit);
+      return exit;
     }
     attempt++;
     let delayEffect = yieldNow;
@@ -1254,17 +1357,13 @@ export const repeatExit = /*#__PURE__*/dual(2, (self, options) => make(function
       const elapsed = Date.now() - startedAt;
       const duration = options.schedule(attempt, elapsed);
       if (Option.isNone(duration)) {
-        return onExit(exit);
+        return exit;
       }
       delayEffect = sleep(duration.value);
     }
-    delayEffect[runSymbol](env, function (exit) {
-      if (exit._tag === "Left") {
-        return onExit(exit);
-      }
-      self[runSymbol](env, loop);
-    });
+    return flatMap(delayEffect, () => loop);
   });
+  return loop;
 }));
 /**
  * Repeat the given `Micro` effect using the provided options. Only successful
@@ -1276,8 +1375,26 @@ export const repeatExit = /*#__PURE__*/dual(2, (self, options) => make(function
  */
 export const repeat = /*#__PURE__*/dual(args => isMicro(args[0]), (self, options) => repeatExit(self, {
   ...options,
-  while: exit => exit._tag === "Right" && (options?.while === undefined || options.while(exit.right))
+  while: exit => exit._tag === "Success" && (options?.while === undefined || options.while(exit.value))
 }));
+/**
+ * Replicates the given effect `n` times.
+ *
+ * @since 3.11.0
+ * @experimental
+ * @category repetition
+ */
+export const replicate = /*#__PURE__*/dual(2, (self, n) => Array.from({
+  length: n
+}, () => self));
+/**
+ * Performs this effect the specified number of times and collects the
+ * results.
+ *
+ * @since 3.11.0
+ * @category repetition
+ */
+export const replicateEffect = /*#__PURE__*/dual(args => isMicro(args[0]), (self, n, options) => all(replicate(self, n), options));
 /**
  * Repeat the given `Micro` effect forever, only stopping if the effect fails.
  *
@@ -1367,7 +1484,19 @@ export const scheduleIntersect = /*#__PURE__*/dual(2, (self, that) => (attempt,
  * @experimental
  * @category error handling
  */
-export const catchAllCause = /*#__PURE__*/dual(2, (self, f) => catchCauseIf(self, constTrue, f));
+export const catchAllCause = /*#__PURE__*/dual(2, (self, f) => {
+  const onFailure = Object.create(OnFailureProto);
+  onFailure[args] = self;
+  onFailure[failureCont] = f;
+  return onFailure;
+});
+const OnFailureProto = /*#__PURE__*/makePrimitiveProto({
+  op: "OnFailure",
+  eval(fiber) {
+    fiber._stack.push(this);
+    return this[args];
+  }
+});
 /**
  * Selectively catch a `MicroCause` object of the given `Micro` effect,
  * using the provided predicate to determine if the failure should be caught.
@@ -1376,15 +1505,7 @@ export const catchAllCause = /*#__PURE__*/dual(2, (self, f) => catchCauseIf(self
  * @experimental
  * @category error handling
  */
-export const catchCauseIf = /*#__PURE__*/dual(3, (self, predicate, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    if (exit._tag === "Right" || !predicate(exit.left)) {
-      onExit(exit);
-    } else {
-      f(exit.left)[runSymbol](env, onExit);
-    }
-  });
-}));
+export const catchCauseIf = /*#__PURE__*/dual(3, (self, predicate, f) => catchAllCause(self, cause => predicate(cause) ? f(cause) : failCause(cause)));
 /**
  * Catch the error of the given `Micro` effect, allowing you to recover from it.
  *
@@ -1394,7 +1515,7 @@ export const catchCauseIf = /*#__PURE__*/dual(3, (self, predicate, f) => make(fu
  * @experimental
  * @category error handling
  */
-export const catchAll = /*#__PURE__*/dual(2, (self, f) => catchAllCause(self, cause => causeIsFail(cause) ? f(cause.error) : failCause(cause)));
+export const catchAll = /*#__PURE__*/dual(2, (self, f) => catchCauseIf(self, causeIsFail, cause => f(cause.error)));
 /**
  * Catch any unexpected errors of the given `Micro` effect, allowing you to recover from them.
  *
@@ -1518,7 +1639,7 @@ export const ignoreLogged = self => matchEffect(self, {
  * @category error handling
  */
 export const option = self => match(self, {
-  onFailure: _ => Option.none(),
+  onFailure: Option.none,
   onSuccess: Option.some
 });
 /**
@@ -1543,7 +1664,7 @@ export const either = self => match(self, {
  */
 export const retry = /*#__PURE__*/dual(args => isMicro(args[0]), (self, options) => repeatExit(self, {
   ...options,
-  while: exit => exit._tag === "Left" && exit.left._tag === "Fail" && (options?.while === undefined || options.while(exit.left.error))
+  while: exit => exit._tag === "Failure" && exit.cause._tag === "Fail" && (options?.while === undefined || options.while(exit.cause.error))
 }));
 /**
  * Add a stack trace to any failures that occur in the effect. The trace will be
@@ -1570,11 +1691,7 @@ export const withTrace = function () {
     const lineMatch = line.match(/\((.*)\)$/);
     return causeWithTrace(cause, `at ${name} (${lineMatch ? lineMatch[1] : line})`);
   }
-  const f = name => self => unsafeMakeOptions(function (env, onExit) {
-    self[runSymbol](env, function (exit) {
-      onExit(exit._tag === "Left" ? Either.left(generate(name, exit.left)) : exit);
-    });
-  }, false);
+  const f = name => self => onError(self, cause => failCause(generate(name, cause)));
   if (arguments.length === 2) {
     return f(arguments[1])(arguments[0]);
   }
@@ -1588,16 +1705,20 @@ export const withTrace = function () {
  * @experimental
  * @category pattern matching
  */
-export const matchCauseEffect = /*#__PURE__*/dual(2, (self, options) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    try {
-      const next = exit._tag === "Left" ? options.onFailure(exit.left) : options.onSuccess(exit.right);
-      next[runSymbol](env, onExit);
-    } catch (err) {
-      onExit(exitDie(err));
-    }
-  });
-}));
+export const matchCauseEffect = /*#__PURE__*/dual(2, (self, options) => {
+  const primitive = Object.create(OnSuccessAndFailureProto);
+  primitive[args] = self;
+  primitive[successCont] = options.onSuccess;
+  primitive[failureCont] = options.onFailure;
+  return primitive;
+});
+const OnSuccessAndFailureProto = /*#__PURE__*/makePrimitiveProto({
+  op: "OnSuccessAndFailure",
+  eval(fiber) {
+    fiber._stack.push(this);
+    return this[args];
+  }
+});
 /**
  * @since 3.4.6
  * @experimental
@@ -1635,12 +1756,12 @@ export const match = /*#__PURE__*/dual(2, (self, options) => matchEffect(self, {
  * @experimental
  * @category delays & timeouts
  */
-export const sleep = millis => async(function (resume) {
-  const timeout = setTimeout(function () {
+export const sleep = millis => async(resume => {
+  const timeout = setTimeout(() => {
     resume(void_);
   }, millis);
   return sync(() => {
-    return clearTimeout(timeout);
+    clearTimeout(timeout);
   });
 });
 /**
@@ -1741,7 +1862,7 @@ class MicroScopeImpl {
           _tag: "Closed",
           exit: microExit
         };
-        return flatMap(forEach(finalizers, finalizer => exit(finalizer(microExit))), exits => asVoid(fromExit(Either.all(exits))));
+        return flatMap(forEach(finalizers, finalizer => exit(finalizer(microExit))), exitVoidAll);
       }
       return void_;
     });
@@ -1798,7 +1919,7 @@ export const provideScope = /*#__PURE__*/dual(2, (self, scope) => provideService
  * @experimental
  * @category resources & finalization
  */
-export const scoped = self => suspend(function () {
+export const scoped = self => suspend(() => {
   const scope = new MicroScopeImpl();
   return onExit(provideService(self, MicroScope, scope), exit => scope.close(exit));
 });
@@ -1827,36 +1948,27 @@ export const addFinalizer = finalizer => flatMap(scope, scope => scope.addFinali
  * @experimental
  * @category resources & finalization
  */
-export const onExit = /*#__PURE__*/dual(2, (self, f) => onExitIf(self, constTrue, f));
+export const onExit = /*#__PURE__*/dual(2, (self, f) => uninterruptibleMask(restore => matchCauseEffect(restore(self), {
+  onFailure: cause => flatMap(f(exitFailCause(cause)), () => failCause(cause)),
+  onSuccess: a => flatMap(f(exitSucceed(a)), () => succeed(a))
+})));
 /**
- * When the `Micro` effect is completed, run the given finalizer effect if it
- * matches the specified predicate.
+ * Regardless of the result of the this `Micro` effect, run the finalizer effect.
  *
- * @since 3.4.6
+ * @since 3.4.0
  * @experimental
  * @category resources & finalization
  */
-export const onExitIf = /*#__PURE__*/dual(3, (self, refinement, f) => uninterruptibleMask(restore => make(function (env, onExit) {
-  restore(self)[runSymbol](env, function (exit) {
-    if (!refinement(exit)) {
-      return onExit(exit);
-    }
-    f(exit)[runSymbol](env, function (finalizerExit) {
-      if (finalizerExit._tag === "Left") {
-        return onExit(finalizerExit);
-      }
-      onExit(exit);
-    });
-  });
-})));
+export const ensuring = /*#__PURE__*/dual(2, (self, finalizer) => onExit(self, _ => finalizer));
 /**
- * Regardless of the result of the this `Micro` effect, run the finalizer effect.
+ * When the `Micro` effect is completed, run the given finalizer effect if it
+ * matches the specified predicate.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category resources & finalization
  */
-export const ensuring = /*#__PURE__*/dual(2, (self, finalizer) => onExit(self, _ => finalizer));
+export const onExitIf = /*#__PURE__*/dual(3, (self, refinement, f) => onExit(self, exit => refinement(exit) ? f(exit) : exitVoid));
 /**
  * When the `Micro` effect fails, run the given finalizer effect with the
  * `MicroCause` of the executed effect.
@@ -1865,7 +1977,7 @@ export const ensuring = /*#__PURE__*/dual(2, (self, finalizer) => onExit(self, _
  * @experimental
  * @category resources & finalization
  */
-export const onError = /*#__PURE__*/dual(2, (self, f) => onExitIf(self, exitIsFailure, exit => f(exit.left)));
+export const onError = /*#__PURE__*/dual(2, (self, f) => onExitIf(self, exitIsFailure, exit => f(exit.cause)));
 /**
  * If this `Micro` effect is aborted, run the finalizer effect.
  *
@@ -1882,7 +1994,7 @@ export const onInterrupt = /*#__PURE__*/dual(2, (self, finalizer) => onExitIf(se
  * @experimental
  * @category resources & finalization
  */
-export const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(exit(restore(use(a))), exit => andThen(release(a, exit), fromExit(exit)))));
+export const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(exit(restore(use(a))), exit => andThen(release(a, exit), exit))));
 // ----------------------------------------------------------------------------
 // interruption
 // ----------------------------------------------------------------------------
@@ -1893,27 +2005,45 @@ export const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(
  * @experimental
  * @category interruption
  */
-export const interrupt = /*#__PURE__*/make(function (env, onExit) {
-  const controller = envGet(env, currentAbortController);
-  controller.abort();
-  onExit(exitInterrupt);
+export const interrupt = /*#__PURE__*/failCause( /*#__PURE__*/causeInterrupt());
+/**
+ * Flag the effect as uninterruptible, which means that when the effect is
+ * interrupted, it will be allowed to continue running until completion.
+ *
+ * @since 3.4.0
+ * @experimental
+ * @category flags
+ */
+export const uninterruptible = self => withFiber(fiber => {
+  if (!fiber.interruptible) return self;
+  fiber.interruptible = false;
+  fiber._stack.push(setInterruptible(true));
+  return self;
+});
+const setInterruptible = /*#__PURE__*/makePrimitive({
+  op: "SetInterruptible",
+  ensure(fiber) {
+    fiber.interruptible = this[args];
+    if (fiber._interrupted && fiber.interruptible) {
+      return () => exitInterrupt;
+    }
+  }
 });
 /**
- * Wrap the given `Micro` effect in an uninterruptible region, preventing the
- * effect from being aborted.
+ * Flag the effect as interruptible, which means that when the effect is
+ * interrupted, it will be interrupted immediately.
  *
  * @since 3.4.0
  * @experimental
- * @category interruption
+ * @category flags
  */
-export const uninterruptible = self => unsafeMakeOptions(function (env, onExit) {
-  const nextEnv = envMutate(env, function (env) {
-    env[currentInterruptible.key] = false;
-    env[currentAbortSignal.key] = new AbortController().signal;
-    return env;
-  });
-  self[runSymbol](nextEnv, onExit);
-}, false);
+export const interruptible = self => withFiber(fiber => {
+  if (fiber.interruptible) return self;
+  fiber.interruptible = true;
+  fiber._stack.push(setInterruptible(false));
+  if (fiber._interrupted) return exitInterrupt;
+  return self;
+});
 /**
  * Wrap the given `Micro` effect in an uninterruptible region, preventing the
  * effect from being aborted.
@@ -1925,6 +2055,7 @@ export const uninterruptible = self => unsafeMakeOptions(function (env, onExit)
  * @experimental
  * @category interruption
  * @example
+ * ```ts
  * import * as Micro from "effect/Micro"
  *
  * Micro.uninterruptibleMask((restore) =>
@@ -1932,37 +2063,13 @@ export const uninterruptible = self => unsafeMakeOptions(function (env, onExit)
  *     Micro.andThen(restore(Micro.sleep(1000))) // interruptible
  *   )
  * )
+ * ```
  */
-export const uninterruptibleMask = f => unsafeMakeOptions((env, onExit) => {
-  const isInterruptible = envGet(env, currentInterruptible);
-  const effect = isInterruptible ? f(interruptible) : f(identity);
-  const nextEnv = isInterruptible ? envMutate(env, function (env) {
-    env[currentInterruptible.key] = false;
-    env[currentAbortSignal.key] = new AbortController().signal;
-    return env;
-  }) : env;
-  effect[runSymbol](nextEnv, onExit);
-}, false);
-/**
- * Wrap the given `Micro` effect in an interruptible region, allowing the effect
- * to be aborted.
- *
- * @since 3.4.0
- * @experimental
- * @category interruption
- */
-export const interruptible = self => make((env, onExit) => {
-  const isInterruptible = envGet(env, currentInterruptible);
-  let newEnv = env;
-  if (!isInterruptible) {
-    const controller = envGet(env, currentAbortController);
-    newEnv = envMutate(env, function (env) {
-      env[currentInterruptible.key] = true;
-      env[currentAbortSignal.key] = controller.signal;
-      return env;
-    });
-  }
-  self[runSymbol](newEnv, onExit);
+export const uninterruptibleMask = f => withFiber(fiber => {
+  if (!fiber.interruptible) return f(identity);
+  fiber.interruptible = false;
+  fiber._stack.push(setInterruptible(true));
+  return f(interruptible);
 });
 /**
  * Runs all the provided effects in sequence respecting the structure provided in input.
@@ -1989,6 +2096,29 @@ export const all = (arg, options) => {
     }), out);
   });
 };
+/**
+ * @since 3.11.0
+ * @experimental
+ * @category collecting & elements
+ */
+export const whileLoop = /*#__PURE__*/makePrimitive({
+  op: "While",
+  contA(value, fiber) {
+    this[args].step(value);
+    if (this[args].while()) {
+      fiber._stack.push(this);
+      return this[args].body();
+    }
+    return exitVoid;
+  },
+  eval(fiber) {
+    if (this[args].while()) {
+      fiber._stack.push(this);
+      return this[args].body();
+    }
+    return exitVoid;
+  }
+});
 /**
  * For each element of the provided iterable, run the effect and collect the results.
  *
@@ -2002,58 +2132,76 @@ export const all = (arg, options) => {
  * @experimental
  * @category collecting & elements
  */
-export const forEach = (iterable, f, options) => make(function (env, onExit) {
-  const concurrencyOption = options?.concurrency === "inherit" ? envGet(env, currentConcurrency) : options?.concurrency ?? 1;
+export const forEach = (iterable, f, options) => withFiber(parent => {
+  const concurrencyOption = options?.concurrency === "inherit" ? parent.getRef(CurrentConcurrency) : options?.concurrency ?? 1;
   const concurrency = concurrencyOption === "unbounded" ? Number.POSITIVE_INFINITY : Math.max(1, concurrencyOption);
-  // abort
-  const [envWithSignal, onAbort] = forkSignal(env);
-  // iterate
-  let result = undefined;
-  const items = Array.from(iterable);
+  const items = Arr.fromIterable(iterable);
   let length = items.length;
   if (length === 0) {
-    return onExit(Either.right(options?.discard ? undefined : []));
+    return options?.discard ? void_ : succeed([]);
   }
   const out = options?.discard ? undefined : new Array(length);
   let index = 0;
-  let inProgress = 0;
-  let doneCount = 0;
-  let pumping = false;
-  function pump() {
-    pumping = true;
-    while (inProgress < concurrency && index < length) {
-      const currentIndex = index;
-      const item = items[currentIndex];
-      index++;
-      inProgress++;
-      try {
-        f(item, currentIndex)[runSymbol](envWithSignal, function (exit) {
-          if (exit._tag === "Left") {
-            if (result === undefined) {
-              result = exit;
-              length = index;
-              onAbort();
+  if (concurrency === 1) {
+    return as(whileLoop({
+      while: () => index < items.length,
+      body: () => f(items[index], index),
+      step: out ? b => out[index++] = b : _ => index++
+    }), out);
+  }
+  return async(resume => {
+    const fibers = new Set();
+    let result = undefined;
+    let inProgress = 0;
+    let doneCount = 0;
+    let pumping = false;
+    let interrupted = false;
+    function pump() {
+      pumping = true;
+      while (inProgress < concurrency && index < length) {
+        const currentIndex = index;
+        const item = items[currentIndex];
+        index++;
+        inProgress++;
+        try {
+          const child = unsafeFork(parent, f(item, currentIndex), true, true);
+          fibers.add(child);
+          child.addObserver(exit => {
+            fibers.delete(child);
+            if (interrupted) {
+              return;
+            } else if (exit._tag === "Failure") {
+              if (result === undefined) {
+                result = exit;
+                length = index;
+                fibers.forEach(fiber => fiber.unsafeInterrupt());
+              }
+            } else if (out !== undefined) {
+              out[currentIndex] = exit.value;
             }
-          } else if (out !== undefined) {
-            out[currentIndex] = exit.right;
-          }
-          doneCount++;
-          inProgress--;
-          if (doneCount === length) {
-            onExit(result ?? Either.right(out));
-          } else if (!pumping && inProgress < concurrency) {
-            pump();
-          }
-        });
-      } catch (err) {
-        result = exitDie(err);
-        length = index;
-        onAbort();
+            doneCount++;
+            inProgress--;
+            if (doneCount === length) {
+              resume(result ?? succeed(out));
+            } else if (!pumping && inProgress < concurrency) {
+              pump();
+            }
+          });
+        } catch (err) {
+          result = exitDie(err);
+          length = index;
+          fibers.forEach(fiber => fiber.unsafeInterrupt());
+        }
       }
+      pumping = false;
     }
-    pumping = false;
-  }
-  pump();
+    pump();
+    return suspend(() => {
+      interrupted = true;
+      index = length;
+      return fiberInterruptAll(fibers);
+    });
+  });
 });
 /**
  * Effectfully filter the elements of the provided iterable.
@@ -2126,92 +2274,8 @@ export {
  */
 let_ as let };
 // ----------------------------------------------------------------------------
-// handle & forking
+// fibers & forking
 // ----------------------------------------------------------------------------
-/**
- * @since 3.4.0
- * @experimental
- * @category handle & forking
- */
-export const HandleTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Handle");
-/**
- * @since 3.4.0
- * @experimental
- * @category handle & forking
- */
-export const isHandle = u => typeof u === "object" && u !== null && HandleTypeId in u;
-class HandleImpl extends Class {
-  parentSignal;
-  [HandleTypeId];
-  observers = /*#__PURE__*/new Set();
-  _exit = undefined;
-  _controller;
-  isRoot;
-  constructor(parentSignal, controller) {
-    super();
-    this.parentSignal = parentSignal;
-    this[HandleTypeId] = HandleTypeId;
-    this.isRoot = controller !== undefined;
-    this._controller = controller ?? new AbortController();
-    if (!this.isRoot) {
-      parentSignal.addEventListener("abort", this.unsafeInterrupt);
-    }
-  }
-  unsafePoll() {
-    return this._exit ?? null;
-  }
-  unsafeInterrupt = () => {
-    this._controller.abort();
-  };
-  emit(exit) {
-    if (this._exit) {
-      return;
-    }
-    this._exit = exit;
-    if (!this.isRoot) {
-      this.parentSignal.removeEventListener("abort", this.unsafeInterrupt);
-    }
-    this.observers.forEach(observer => observer(exit));
-    this.observers.clear();
-  }
-  addObserver(observer) {
-    if (this._exit) {
-      return observer(this._exit);
-    }
-    this.observers.add(observer);
-  }
-  removeObserver(observer) {
-    this.observers.delete(observer);
-  }
-  get await() {
-    return suspend(() => {
-      if (this._exit) {
-        return succeed(this._exit);
-      }
-      return async(resume => {
-        function observer(exit) {
-          resume(succeed(exit));
-        }
-        this.addObserver(observer);
-        return sync(() => {
-          this.removeObserver(observer);
-        });
-      });
-    });
-  }
-  get join() {
-    return flatMap(this.await, fromExit);
-  }
-  get interrupt() {
-    return suspend(() => {
-      this.unsafeInterrupt();
-      return this.await;
-    });
-  }
-  asMicro() {
-    return this.join;
-  }
-}
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
  * aborted.
@@ -2222,21 +2286,23 @@ class HandleImpl extends Class {
  * @experimental
  * @category handle & forking
  */
-export const fork = self => make(function (env, onExit) {
-  const signal = envGet(env, currentAbortSignal);
-  const handle = new HandleImpl(signal);
-  const nextEnv = envMutate(env, map => {
-    map[currentAbortController.key] = handle._controller;
-    map[currentAbortSignal.key] = handle._controller.signal;
-    return map;
-  });
-  envGet(env, currentScheduler).scheduleTask(() => {
-    self[runSymbol](nextEnv, exit => {
-      handle.emit(exit);
-    });
-  }, 0);
-  onExit(Either.right(handle));
+export const fork = self => withFiber(fiber => {
+  fiberMiddleware.interruptChildren ??= fiberInterruptChildren;
+  return succeed(unsafeFork(fiber, self));
 });
+const unsafeFork = (parent, effect, immediate = false, daemon = false) => {
+  const child = new FiberImpl(parent.context, parent.interruptible);
+  if (!daemon) {
+    parent.children().add(child);
+    child.addObserver(() => parent.children().delete(child));
+  }
+  if (immediate) {
+    child.evaluate(effect);
+  } else {
+    parent.getRef(CurrentScheduler).scheduleTask(() => child.evaluate(effect), 0);
+  }
+  return child;
+};
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
  * aborted.
@@ -2247,21 +2313,7 @@ export const fork = self => make(function (env, onExit) {
  * @experimental
  * @category handle & forking
  */
-export const forkDaemon = self => make(function (env, onExit) {
-  const controller = new AbortController();
-  const handle = new HandleImpl(controller.signal, controller);
-  const nextEnv = envMutate(env, map => {
-    map[currentAbortController.key] = controller;
-    map[currentAbortSignal.key] = controller.signal;
-    return map;
-  });
-  envGet(env, currentScheduler).scheduleTask(() => {
-    self[runSymbol](nextEnv, exit => {
-      handle.emit(exit);
-    });
-  }, 0);
-  onExit(Either.right(handle));
-});
+export const forkDaemon = self => withFiber(fiber => succeed(unsafeFork(fiber, self, false, true)));
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
  * aborted.
@@ -2272,7 +2324,7 @@ export const forkDaemon = self => make(function (env, onExit) {
  * @experimental
  * @category handle & forking
  */
-export const forkIn = /*#__PURE__*/dual(2, (self, scope) => uninterruptibleMask(restore => flatMap(scope.fork, scope => tap(restore(forkDaemon(onExit(self, exit => scope.close(exit)))), fiber => scope.addFinalizer(_ => asVoid(fiber.interrupt))))));
+export const forkIn = /*#__PURE__*/dual(2, (self, scope) => uninterruptibleMask(restore => flatMap(scope.fork, scope => tap(restore(forkDaemon(onExit(self, exit => scope.close(exit)))), fiber => scope.addFinalizer(_ => fiberInterrupt(fiber))))));
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
  * aborted.
@@ -2298,6 +2350,7 @@ export const forkScoped = self => flatMap(scope, scope => forkIn(self, scope));
  * @experimental
  * @category execution
  * @example
+ * ```ts
  * import * as Micro from "effect/Micro"
  *
  * const handle = Micro.succeed(42).pipe(
@@ -2308,31 +2361,23 @@ export const forkScoped = self => flatMap(scope, scope => forkIn(self, scope));
  * handle.addObserver((exit) => {
  *   console.log(exit)
  * })
+ * ```
  */
 export const runFork = (effect, options) => {
-  const controller = new AbortController();
-  const refs = Object.create(null);
-  refs[currentAbortController.key] = controller;
-  refs[currentAbortSignal.key] = controller.signal;
-  refs[currentScheduler.key] = options?.scheduler ?? new MicroSchedulerDefault();
-  const env = envMake(refs);
-  const handle = new HandleImpl(controller.signal, controller);
-  effect[runSymbol](envSet(env, currentAbortSignal, handle._controller.signal), exit => {
-    handle.emit(exit);
-    if (options?.signal) {
-      options.signal.removeEventListener("abort", handle.unsafeInterrupt);
-    }
-  });
+  const fiber = new FiberImpl(CurrentScheduler.context(options?.scheduler ?? new MicroSchedulerDefault()));
+  fiber.evaluate(effect);
   if (options?.signal) {
     if (options.signal.aborted) {
-      handle.unsafeInterrupt();
+      fiber.unsafeInterrupt();
     } else {
-      options.signal.addEventListener("abort", handle.unsafeInterrupt, {
+      const abort = () => fiber.unsafeInterrupt();
+      options.signal.addEventListener("abort", abort, {
         once: true
       });
+      fiber.addObserver(() => options.signal.removeEventListener("abort", abort));
     }
   }
-  return handle;
+  return fiber;
 };
 /**
  * Execute the `Micro` effect and return a `Promise` that resolves with the
@@ -2355,10 +2400,10 @@ export const runPromiseExit = (effect, options) => new Promise((resolve, _reject
  * @category execution
  */
 export const runPromise = (effect, options) => runPromiseExit(effect, options).then(exit => {
-  if (exit._tag === "Left") {
-    throw exit.left;
+  if (exit._tag === "Failure") {
+    throw exit.cause;
   }
-  return exit.right;
+  return exit.value;
 });
 /**
  * Attempt to execute the `Micro` effect synchronously and return the `MicroExit`.
@@ -2372,15 +2417,11 @@ export const runPromise = (effect, options) => runPromiseExit(effect, options).t
  */
 export const runSyncExit = effect => {
   const scheduler = new MicroSchedulerDefault();
-  const handle = runFork(effect, {
+  const fiber = runFork(effect, {
     scheduler
   });
   scheduler.flush();
-  const exit = handle.unsafePoll();
-  if (exit === null) {
-    return exitDie(handle);
-  }
-  return exit;
+  return fiber._exit ?? exitDie(fiber);
 };
 /**
  * Attempt to execute the `Micro` effect synchronously and return the success
@@ -2392,24 +2433,24 @@ export const runSyncExit = effect => {
  */
 export const runSync = effect => {
   const exit = runSyncExit(effect);
-  if (exit._tag === "Left") {
-    throw exit.left;
-  }
-  return exit.right;
+  if (exit._tag === "Failure") throw exit.cause;
+  return exit.value;
 };
 const YieldableError = /*#__PURE__*/function () {
-  class YieldableError extends globalThis.Error {
-    [runSymbol](_env, onExit) {
-      onExit(exitFail(this));
-    }
+  class YieldableError extends globalThis.Error {}
+  Object.assign(YieldableError.prototype, MicroProto, StructuralPrototype, {
+    [identifier]: "Failure",
+    [evaluate]() {
+      return fail(this);
+    },
     toString() {
       return this.message ? `${this.name}: ${this.message}` : this.name;
-    }
+    },
     toJSON() {
       return {
         ...this
       };
-    }
+    },
     [NodeInspectSymbol]() {
       const stack = this.stack;
       if (stack) {
@@ -2417,8 +2458,7 @@ const YieldableError = /*#__PURE__*/function () {
       }
       return this.toString();
     }
-  }
-  Object.assign(YieldableError.prototype, MicroProto, StructuralPrototype);
+  });
   return YieldableError;
 }();
 /**