effect 3.10.18 → 3.11.0

package/dist/cjs/Micro.js

@@ -3,23 +3,33 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.locally = exports.let = exports.isMicroCause = exports.isMicro = exports.isHandle = exports.interruptible = exports.interrupt = exports.ignoreLogged = exports.ignore = exports.getEnvRef = exports.gen = exports.fromOption = exports.fromExitSync = exports.fromExit = exports.fromEither = exports.forkScoped = exports.forkIn = exports.forkDaemon = exports.fork = exports.forever = exports.forEach = exports.flip = exports.flatten = exports.flatMap = exports.filterOrFailCause = exports.filterOrFail = exports.filterMap = exports.filter = exports.failSync = exports.failCauseSync = exports.failCause = exports.fail = exports.exitVoid = exports.exitSucceed = exports.exitIsSuccess = exports.exitIsInterrupt = exports.exitIsFailure = exports.exitIsFail = exports.exitIsDie = exports.exitInterrupt = exports.exitFailCause = exports.exitFail = exports.exitDie = exports.exit = exports.envUnsafeMakeEmpty = exports.envSet = exports.envRefMake = exports.envMutate = exports.envMake = exports.envGet = exports.ensuring = exports.either = exports.die = exports.delay = exports.currentScheduler = exports.currentMaxDepthBeforeYield = exports.currentContext = exports.currentConcurrency = exports.currentAbortSignal = exports.currentAbortController = exports.context = exports.causeWithTrace = exports.causeSquash = exports.causeIsInterrupt = exports.causeIsFail = exports.causeIsDie = exports.causeInterrupt = exports.causeFail = exports.causeDie = exports.catchTag = exports.catchIf = exports.catchCauseIf = exports.catchAllDefect = exports.catchAllCause = exports.catchAll = exports.bindTo = exports.bind = exports.async = exports.asVoid = exports.asSome = exports.as = exports.andThen = exports.all = exports.addFinalizer = exports.acquireUseRelease = exports.acquireRelease = exports.TypeId = exports.TimeoutException = exports.TaggedError = exports.NoSuchElementException = exports.MicroScopeTypeId = exports.MicroScope = exports.MicroSchedulerDefault = exports.MicroCauseTypeId = exports.HandleTypeId = exports.Error = exports.EnvTypeId = exports.EnvRefTypeId = exports.Do = exports.Class = void 0;
-exports.zipWith = exports.zip = exports.yieldWithPriority = exports.yieldNow = exports.yieldFlush = exports.withTrace = exports.withConcurrency = exports.when = exports.void = exports.uninterruptibleMask = exports.uninterruptible = exports.tryPromise = exports.try = exports.timeoutOrElse = exports.timeoutOption = exports.timeout = exports.tapErrorCauseIf = exports.tapErrorCause = exports.tapError = exports.tapDefect = exports.tap = exports.sync = exports.suspend = exports.succeedSome = exports.succeedNone = exports.succeed = exports.sleep = exports.serviceOption = exports.service = exports.scoped = exports.scopeUnsafeMake = exports.scopeMake = exports.scope = exports.scheduleWithMaxElapsed = exports.scheduleWithMaxDelay = exports.scheduleUnion = exports.scheduleSpaced = exports.scheduleRecurs = exports.scheduleIntersect = exports.scheduleExponential = exports.scheduleAddDelay = exports.sandbox = exports.runSyncExit = exports.runSync = exports.runSymbol = exports.runPromiseExit = exports.runPromise = exports.runFork = exports.retry = exports.repeatExit = exports.repeat = exports.raceFirst = exports.raceAllFirst = exports.raceAll = exports.race = exports.provideServiceEffect = exports.provideService = exports.provideScope = exports.provideContext = exports.promise = exports.orElseSucceed = exports.orDie = exports.option = exports.onInterrupt = exports.onExitIf = exports.onExit = exports.onError = exports.never = exports.matchEffect = exports.matchCauseEffect = exports.matchCause = exports.match = exports.mapErrorCause = exports.mapError = exports.map = exports.make = void 0;
+exports.onExitIf = exports.onExit = exports.onError = exports.never = exports.matchEffect = exports.matchCauseEffect = exports.matchCause = exports.match = exports.mapErrorCause = exports.mapError = exports.map = exports.let = exports.isMicroExit = exports.isMicroCause = exports.isMicro = exports.interruptible = exports.interrupt = exports.ignoreLogged = exports.ignore = exports.gen = exports.fromOption = exports.fromEither = exports.forkScoped = exports.forkIn = exports.forkDaemon = exports.fork = exports.forever = exports.forEach = exports.flip = exports.flatten = exports.flatMap = exports.filterOrFailCause = exports.filterOrFail = exports.filterMap = exports.filter = exports.fiberInterruptAll = exports.fiberInterrupt = exports.fiberAwait = exports.failSync = exports.failCauseSync = exports.failCause = exports.fail = exports.exitVoidAll = exports.exitVoid = exports.exitSucceed = exports.exitIsSuccess = exports.exitIsInterrupt = exports.exitIsFailure = exports.exitIsFail = exports.exitIsDie = exports.exitInterrupt = exports.exitFailCause = exports.exitFail = exports.exitDie = exports.exit = exports.ensuring = exports.either = exports.die = exports.delay = exports.context = exports.causeWithTrace = exports.causeSquash = exports.causeIsInterrupt = exports.causeIsFail = exports.causeIsDie = exports.causeInterrupt = exports.causeFail = exports.causeDie = exports.catchTag = exports.catchIf = exports.catchCauseIf = exports.catchAllDefect = exports.catchAllCause = exports.catchAll = exports.bindTo = exports.bind = exports.async = exports.asVoid = exports.asSome = exports.as = exports.andThen = exports.all = exports.addFinalizer = exports.acquireUseRelease = exports.acquireRelease = exports.TypeId = exports.TimeoutException = exports.TaggedError = exports.NoSuchElementException = exports.MicroScopeTypeId = exports.MicroScope = exports.MicroSchedulerDefault = exports.MicroExitTypeId = exports.MicroCauseTypeId = exports.MaxOpsBeforeYield = exports.FiberTypeId = exports.Error = exports.Do = exports.CurrentScheduler = exports.CurrentConcurrency = void 0;
+exports.zipWith = exports.zip = exports.yieldNowWith = exports.yieldNow = exports.yieldFlush = exports.withTrace = exports.withFiber = exports.withConcurrency = exports.whileLoop = exports.when = exports.void = exports.updateService = exports.updateContext = exports.uninterruptibleMask = exports.uninterruptible = exports.tryPromise = exports.try = exports.timeoutOrElse = exports.timeoutOption = exports.timeout = exports.tapErrorCauseIf = exports.tapErrorCause = exports.tapError = exports.tapDefect = exports.tap = exports.sync = exports.suspend = exports.succeedSome = exports.succeedNone = exports.succeed = exports.sleep = exports.serviceOption = exports.service = exports.scoped = exports.scopeUnsafeMake = exports.scopeMake = exports.scope = exports.scheduleWithMaxElapsed = exports.scheduleWithMaxDelay = exports.scheduleUnion = exports.scheduleSpaced = exports.scheduleRecurs = exports.scheduleIntersect = exports.scheduleExponential = exports.scheduleAddDelay = exports.sandbox = exports.runSyncExit = exports.runSync = exports.runPromiseExit = exports.runPromise = exports.runFork = exports.retry = exports.replicateEffect = exports.replicate = exports.repeatExit = exports.repeat = exports.raceFirst = exports.raceAllFirst = exports.raceAll = exports.race = exports.provideServiceEffect = exports.provideService = exports.provideScope = exports.provideContext = exports.promise = exports.orElseSucceed = exports.orDie = exports.option = exports.onInterrupt = void 0;
+var Arr = _interopRequireWildcard(require("effect/Array"));
 var Context = _interopRequireWildcard(require("./Context.js"));
 var Effectable = _interopRequireWildcard(require("./Effectable.js"));
 var Either = _interopRequireWildcard(require("./Either.js"));
+var Equal = _interopRequireWildcard(require("./Equal.js"));
 var _Function = require("./Function.js");
 var _GlobalValue = require("./GlobalValue.js");
+var Hash = _interopRequireWildcard(require("./Hash.js"));
 var _Inspectable = require("./Inspectable.js");
+var InternalContext = _interopRequireWildcard(require("./internal/context.js"));
 var doNotation = _interopRequireWildcard(require("./internal/doNotation.js"));
 var _effectable = require("./internal/effectable.js");
-var _singleShotGen = require("./internal/singleShotGen.js");
 var Option = _interopRequireWildcard(require("./Option.js"));
 var _Pipeable = require("./Pipeable.js");
 var _Predicate = require("./Predicate.js");
 var _Utils = require("./Utils.js");
 function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
 function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+/**
+ * A lightweight alternative to the `Effect` data type, with a subset of the functionality.
+ *
+ * @since 3.4.0
+ * @experimental
+ */
+
 /**
  * @since 3.4.0
  * @experimental
@@ -29,9 +39,9 @@ const TypeId = exports.TypeId = /*#__PURE__*/Symbol.for("effect/Micro");
 /**
  * @since 3.4.0
  * @experimental
- * @category symbols
+ * @category MicroExit
  */
-const runSymbol = exports.runSymbol = /*#__PURE__*/Symbol.for("effect/Micro/runSymbol");
+const MicroExitTypeId = exports.MicroExitTypeId = /*#__PURE__*/Symbol.for("effect/Micro/MicroExit");
 /**
  * @since 3.4.0
  * @experimental
@@ -39,41 +49,6 @@ const runSymbol = exports.runSymbol = /*#__PURE__*/Symbol.for("effect/Micro/runS
  */
 const isMicro = u => typeof u === "object" && u !== null && TypeId in u;
 // ----------------------------------------------------------------------------
-// Microable
-// ----------------------------------------------------------------------------
-exports.isMicro = isMicro;
-const MicroProto = {
-  ...Effectable.EffectPrototype,
-  _op: "Micro",
-  [TypeId]: {
-    _A: _Function.identity,
-    _E: _Function.identity,
-    _R: _Function.identity
-  },
-  [Symbol.iterator]() {
-    return new _singleShotGen.SingleShotGen(new _Utils.YieldWrap(this));
-  }
-};
-const MicroBase = /*#__PURE__*/function () {
-  function Base() {}
-  Base.prototype = MicroProto;
-  return Base;
-}();
-/**
- * @since 3.8.4
- * @experimental
- * @category constructors
- */
-class Class extends MicroBase {
-  /**
-   * @since 3.8.4
-   * @experimental
-   */
-  [runSymbol](env, onExit) {
-    this.asMicro()[runSymbol](env, onExit);
-  }
-}
-// ----------------------------------------------------------------------------
 // MicroCause
 // ----------------------------------------------------------------------------
 /**
@@ -81,7 +56,7 @@ class Class extends MicroBase {
  * @experimental
  * @category MicroCause
  */
-exports.Class = Class;
+exports.isMicro = isMicro;
 const MicroCauseTypeId = exports.MicroCauseTypeId = /*#__PURE__*/Symbol.for("effect/Micro/MicroCause");
 /**
  * @since 3.6.6
@@ -216,985 +191,1113 @@ const causeWithTrace = exports.causeWithTrace = /*#__PURE__*/(0, _Function.dual)
       return causeFail(self.error, traces);
   }
 });
+// ----------------------------------------------------------------------------
+// Fiber
+// ----------------------------------------------------------------------------
 /**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitInterrupt = exports.exitInterrupt = /*#__PURE__*/Either.left( /*#__PURE__*/causeInterrupt());
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitSucceed = exports.exitSucceed = Either.right;
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitFail = e => Either.left(causeFail(e));
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-exports.exitFail = exitFail;
-const exitDie = defect => Either.left(causeDie(defect));
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-exports.exitDie = exitDie;
-const exitFailCause = exports.exitFailCause = Either.left;
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitIsSuccess = exports.exitIsSuccess = Either.isRight;
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitIsFailure = exports.exitIsFailure = Either.isLeft;
-/**
- * @since 3.4.6
- * @experimental
- * @category MicroExit
- */
-const exitIsInterrupt = self => exitIsFailure(self) && self.left._tag === "Interrupt";
-/**
- * @since 3.4.6
+ * @since 3.11.0
  * @experimental
- * @category MicroExit
+ * @category Fiber
  */
-exports.exitIsInterrupt = exitIsInterrupt;
-const exitIsFail = self => exitIsFailure(self) && self.left._tag === "Fail";
+const FiberTypeId = exports.FiberTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Fiber");
+const fiberVariance = {
+  _A: _Function.identity,
+  _E: _Function.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 _Function.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 (!(0, _Predicate.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__*/(0, _GlobalValue.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
  */
-exports.exitIsFail = exitIsFail;
-const exitIsDie = self => exitIsFailure(self) && self.left._tag === "Die";
+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
  */
-exports.exitIsDie = exitIsDie;
-const exitVoid = exports.exitVoid = /*#__PURE__*/exitSucceed(void 0);
-// ----------------------------------------------------------------------------
-// env
-// ----------------------------------------------------------------------------
+exports.fiberAwait = fiberAwait;
+const fiberInterrupt = self => suspend(() => {
+  self.unsafeInterrupt();
+  return asVoid(fiberAwait(self));
+});
 /**
- * @since 3.4.0
+ * @since 3.11.0
  * @experimental
- * @category environment
+ * @category Fiber
  */
-const EnvTypeId = exports.EnvTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Env");
-const EnvProto = {
-  [EnvTypeId]: {
-    _R: _Function.identity
-  },
+exports.fiberInterrupt = fiberInterrupt;
+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;
+});
+exports.fiberInterruptAll = fiberInterruptAll;
+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: _Function.identity,
+  _E: _Function.identity,
+  _R: _Function.identity
+};
+const MicroProto = {
+  ...Effectable.EffectPrototype,
+  _op: "Micro",
+  [TypeId]: microVariance,
   pipe() {
     return (0, _Pipeable.pipeArguments)(this, arguments);
+  },
+  [Symbol.iterator]() {
+    return new _Utils.SingleShotGen(new _Utils.YieldWrap(this));
+  },
+  toJSON() {
+    return {
+      _id: "effect/Micro",
+      op: this[identifier],
+      ...(args in this ? {
+        args: this[args]
+      } : undefined)
+    };
+  },
+  toString() {
+    return (0, _Inspectable.format)(this);
+  },
+  [_Inspectable.NodeInspectSymbol]() {
+    return (0, _Inspectable.format)(this);
   }
 };
-/**
- * @since 3.4.0
- * @experimental
- * @category environment
- */
-const envMake = refs => {
-  const self = Object.create(EnvProto);
-  self.refs = refs;
-  return self;
+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;
+  };
 };
 /**
+ * Creates a `Micro` effect that will succeed with the specified constant value.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-exports.envMake = envMake;
-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);
-};
+const succeed = exports.succeed = /*#__PURE__*/makeExit({
+  op: "Success",
+  prop: "value",
+  eval(fiber) {
+    const cont = fiber.getCont(successCont);
+    return cont ? cont[successCont](this[args], fiber) : fiber.yieldWith(this);
+  }
+});
 /**
- * @since 3.4.0
+ * Creates a `Micro` effect that will fail with the specified `MicroCause`.
+ *
+ * @since 3.4.6
  * @experimental
- * @category environment
+ * @category constructors
  */
-exports.envUnsafeMakeEmpty = envUnsafeMakeEmpty;
-const envGet = exports.envGet = /*#__PURE__*/(0, _Function.dual)(2, (self, ref) => ref.key in self.refs ? self.refs[ref.key] : ref.initial);
+const failCause = exports.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);
+  }
+});
 /**
+ * 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 environment
+ * @category constructors
  */
-const envSet = exports.envSet = /*#__PURE__*/(0, _Function.dual)(3, (self, ref, value) => {
-  const refs = Object.assign(Object.create(null), self.refs);
-  refs[ref.key] = value;
-  return envMake(refs);
-});
+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
  */
-const envMutate = exports.envMutate = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => envMake(f(Object.assign(Object.create(null), self.refs))));
+exports.fail = fail;
+const sync = exports.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));
+  }
+});
 /**
- * Access the given `Context.Tag` from the environment.
+ * Lazily creates a `Micro` effect from the given side-effect.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-const service = tag => make(function (env, onExit) {
-  onExit(exitSucceed(Context.get(envGet(env, currentContext), tag)));
+const suspend = exports.suspend = /*#__PURE__*/makePrimitive({
+  op: "Suspend",
+  eval(_fiber) {
+    return this[args]();
+  }
 });
 /**
- * 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.
+ * 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
  */
-exports.service = service;
-const serviceOption = tag => make(function (env, onExit) {
-  onExit(exitSucceed(Context.getOption(envGet(env, currentContext), tag)));
+const yieldNowWith = exports.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;
+    });
+  }
 });
 /**
- * Retrieve the current value of the given `EnvRef`.
+ * 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
  */
-exports.serviceOption = serviceOption;
-const getEnvRef = envRef => make((env, onExit) => onExit(Either.right(envGet(env, envRef))));
+const yieldNow = exports.yieldNow = /*#__PURE__*/yieldNowWith(0);
 /**
- * Set the value of the given `EnvRef` for the duration of the effect.
+ * Creates a `Micro` effect that will succeed with `Option.Some` of the value.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-exports.getEnvRef = getEnvRef;
-const locally = exports.locally = /*#__PURE__*/(0, _Function.dual)(3, (self, fiberRef, value) => make((env, onExit) => self[runSymbol](envSet(env, fiberRef, value), onExit)));
+const succeedSome = a => succeed(Option.some(a));
 /**
- * Access the current `Context` from the environment.
+ * Creates a `Micro` effect that will succeed with `Option.None`.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-const context = () => getEnvRef(currentContext);
+exports.succeedSome = succeedSome;
+const succeedNone = exports.succeedNone = /*#__PURE__*/succeed( /*#__PURE__*/Option.none());
 /**
- * Merge the given `Context` with the current context.
+ * Creates a `Micro` effect that will fail with the lazily evaluated `MicroCause`.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-exports.context = context;
-const provideContext = exports.provideContext = /*#__PURE__*/(0, _Function.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);
-}));
+const failCauseSync = evaluate => suspend(() => failCause(evaluate()));
 /**
- * Add the provided service to the current context.
+ * 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.
  *
  * @since 3.4.0
  * @experimental
- * @category environment
+ * @category constructors
  */
-const provideService = exports.provideService = /*#__PURE__*/(0, _Function.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);
-}));
+exports.failCauseSync = failCauseSync;
+const die = defect => exitDie(defect);
 /**
- * Create a service using the provided `Micro` effect, and add it to the
- * current context.
+ * Creates a `Micro` effect that will fail with the lazily evaluated error.
+ *
+ * This will result in a `CauseFail`, where the error is tracked at the
+ * type level.
  *
  * @since 3.4.6
  * @experimental
- * @category environment
+ * @category constructors
  */
-const provideServiceEffect = exports.provideServiceEffect = /*#__PURE__*/(0, _Function.dual)(3, (self, tag, acquire) => flatMap(acquire, service => provideService(self, tag, service)));
-const setImmediate = "setImmediate" in globalThis ? globalThis.setImmediate : f => setTimeout(f, 0);
-/**
- * @since 3.5.9
- * @experimental
- * @category scheduler
- */
-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
-// ========================================================================
+exports.die = die;
+const failSync = error => suspend(() => fail(error()));
 /**
+ * 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
  */
-exports.MicroSchedulerDefault = MicroSchedulerDefault;
-const EnvRefTypeId = exports.EnvRefTypeId = /*#__PURE__*/Symbol.for("effect/Micro/EnvRef");
-const EnvRefProto = {
-  ...MicroProto,
-  [EnvRefTypeId]: EnvRefTypeId,
-  [runSymbol](env, onExit) {
-    getEnvRef(this)[runSymbol](env, onExit);
-  }
-};
+exports.failSync = failSync;
+const fromOption = option => option._tag === "Some" ? succeed(option.value) : fail(new NoSuchElementException({}));
 /**
+ * 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 refs
+ * @category constructors
  */
-const envRefMake = (key, initial) => (0, _GlobalValue.globalValue)(key, () => {
-  const self = Object.create(EnvRefProto);
-  self.key = key;
-  self.initial = initial();
-  return self;
+exports.fromOption = fromOption;
+const fromEither = either => either._tag === "Right" ? succeed(either.right) : fail(either.left);
+exports.fromEither = fromEither;
+const void_ = exports.void = /*#__PURE__*/succeed(void 0);
+const try_ = options => suspend(() => {
+  try {
+    return succeed(options.try());
+  } catch (err) {
+    return fail(options.catch(err));
+  }
 });
+exports.try = try_;
 /**
+ * Wrap a `Promise` into a `Micro` effect. Any errors will result in a
+ * `CauseDie`.
+ *
  * @since 3.4.0
  * @experimental
- * @category environment refs
- */
-exports.envRefMake = envRefMake;
-const currentAbortController = exports.currentAbortController = /*#__PURE__*/envRefMake("effect/Micro/currentAbortController", () => undefined);
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-const currentAbortSignal = exports.currentAbortSignal = /*#__PURE__*/envRefMake("effect/Micro/currentAbortSignal", () => undefined);
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
- */
-const currentContext = exports.currentContext = /*#__PURE__*/envRefMake("effect/Micro/currentContext", () => Context.empty());
-/**
- * @since 3.4.0
- * @experimental
- * @category environment refs
+ * @category constructors
  */
-const currentConcurrency = exports.currentConcurrency = /*#__PURE__*/envRefMake("effect/Micro/currentConcurrency", () => "unbounded");
+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 refs
+ * @category constructors
+ * @example
+ * ```ts
+ * import { Micro } from "effect"
+ *
+ * Micro.tryPromise({
+ *   try: () => Promise.resolve("success"),
+ *   catch: (cause) => new Error("caught", { cause })
+ * })
+ * ```
  */
-const currentMaxDepthBeforeYield = exports.currentMaxDepthBeforeYield = /*#__PURE__*/envRefMake("effect/Micro/currentMaxDepthBeforeYield", () => 2048);
-const currentInterruptible = /*#__PURE__*/envRefMake("effect/Micro/currentInterruptible", () => true);
+exports.promise = promise;
+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
  */
-const currentScheduler = exports.currentScheduler = /*#__PURE__*/envRefMake("effect/Micro/currentScheduler", () => new MicroSchedulerDefault());
+exports.tryPromise = tryPromise;
+const withFiber = exports.withFiber = /*#__PURE__*/makePrimitive({
+  op: "WithFiber",
+  eval(fiber) {
+    return this[args](fiber);
+  }
+});
 /**
- * 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
  */
-const withConcurrency = exports.withConcurrency = /*#__PURE__*/(0, _Function.dual)(2, (self, concurrency) => locally(self, currentConcurrency, concurrency));
-// ----------------------------------------------------------------------------
-// constructors
-// ----------------------------------------------------------------------------
-const microDepthState = /*#__PURE__*/(0, _GlobalValue.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);
+const yieldFlush = exports.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
  */
-const make = run => unsafeMakeOptions(run, true);
+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
  */
-exports.make = make;
-const fromExit = self => make(function (_env, onExit) {
-  onExit(self);
+exports.async = async;
+const never = exports.never = /*#__PURE__*/async(function () {
+  const interval = setInterval(_Function.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
  */
-exports.fromExit = fromExit;
-const fromExitSync = self => make(function (_env, onExit) {
-  onExit(self());
+const gen = (...args) => suspend(() => fromIterator(args.length === 1 ? args[0]() : args[1].call(args[0])));
+exports.gen = gen;
+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 (0, _Utils.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
  */
-exports.fromExitSync = fromExitSync;
-const succeed = a => fromExit(exitSucceed(a));
+const as = exports.as = /*#__PURE__*/(0, _Function.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
  */
-exports.succeed = succeed;
-const succeedSome = a => succeed(Option.some(a));
+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
  */
-exports.succeedSome = succeedSome;
-const succeedNone = exports.succeedNone = /*#__PURE__*/succeed( /*#__PURE__*/Option.none());
+exports.asSome = asSome;
+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
  */
-const fail = e => fromExit(exitFail(e));
+exports.flip = flip;
+const andThen = exports.andThen = /*#__PURE__*/(0, _Function.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
  */
-exports.fail = fail;
-const failSync = e => make(function (_env, onExit) {
-  onExit(exitFail(e()));
-});
+const tap = exports.tap = /*#__PURE__*/(0, _Function.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
- */
-exports.failSync = failSync;
-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
  */
-exports.die = die;
-const failCause = cause => fromExit(exitFailCause(cause));
+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
- */
-exports.failCause = failCause;
-const failCauseSync = cause => fromExitSync(() => exitFailCause(cause()));
-/**
- * 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 constructors
+ * @category mapping & sequencing
  */
-exports.failCauseSync = failCauseSync;
-const sync = evaluate => make(function (_env, onExit) {
-  onExit(exitSucceed(evaluate()));
+exports.asVoid = asVoid;
+const exit = self => matchCause(self, {
+  onFailure: exitFailCause,
+  onSuccess: exitSucceed
 });
 /**
- * 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.
+ * Replace the error type of the given `Micro` with the full `MicroCause` object.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-exports.sync = sync;
-const fromOption = option => make(function (_env, onExit) {
-  onExit(option._tag === "Some" ? exitSucceed(option.value) : exitFail(new NoSuchElementException({})));
-});
+exports.exit = exit;
+const sandbox = self => catchAllCause(self, fail);
 /**
- * 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 with a value. Losers of
+ * the race will be interrupted immediately
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category sequencing
  */
-exports.fromOption = fromOption;
-const fromEither = either => make(function (_env, onExit) {
-  onExit(either._tag === "Right" ? either : exitFail(either.left));
-});
+exports.sandbox = sandbox;
+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);
+}));
 /**
- * Lazily creates a `Micro` effect from the given side-effect.
+ * 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
  */
-exports.fromEither = fromEither;
-const suspend = evaluate => make(function (env, onExit) {
-  evaluate()[runSymbol](env, onExit);
-});
-exports.suspend = suspend;
-const void_ = exports.void = /*#__PURE__*/succeed(void 0);
+exports.raceAll = raceAll;
+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);
+}));
 /**
- * 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.
+ * 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
  */
-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);
-});
-exports.async = async;
-const try_ = options => make(function (_env, onExit) {
-  try {
-    onExit(exitSucceed(options.try()));
-  } catch (err) {
-    onExit(exitFail(options.catch(err)));
-  }
-});
-exports.try = try_;
+exports.raceAllFirst = raceAllFirst;
+const race = exports.race = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => raceAll([self, that]));
 /**
- * Wrap a `Promise` into a `Micro` effect. Any errors will result in a
- * `CauseDie`.
+ * 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
  */
-const promise = evaluate => async(function (resume, signal) {
-  evaluate(signal).then(a => resume(succeed(a)), e => resume(die(e)));
-});
+const raceFirst = exports.raceFirst = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => raceAllFirst([self, that]));
 /**
- * Wrap a `Promise` into a `Micro` effect. Any errors will be caught and
- * converted into a specific error type.
+ * Map the success value of this `Micro` effect to another `Micro` effect, then
+ * flatten the result.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
- * @example
- * import { Micro } from "effect"
- *
- * Micro.tryPromise({
- *   try: () => Promise.resolve("success"),
- *   catch: (cause) => new Error("caught", { cause })
- * })
+ * @category mapping & sequencing
  */
-exports.promise = promise;
-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)));
+const flatMap = exports.flatMap = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => {
+  const onSuccess = Object.create(OnSuccessProto);
+  onSuccess[args] = self;
+  onSuccess[successCont] = f;
+  return onSuccess;
+});
+const OnSuccessProto = /*#__PURE__*/makePrimitiveProto({
+  op: "OnSuccess",
+  eval(fiber) {
+    fiber._stack.push(this);
+    return this[args];
   }
 });
+// ----------------------------------------------------------------------------
+// mapping & sequencing
+// ----------------------------------------------------------------------------
 /**
- * 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.
+ * Flattens any nested `Micro` effects, merging the error and requirement types.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-exports.tryPromise = tryPromise;
-const yieldWithPriority = priority => make(function (env, onExit) {
-  envGet(env, currentScheduler).scheduleTask(() => onExit(exitVoid), priority);
-});
+const flatten = self => flatMap(self, _Function.identity);
 /**
- * Pause the execution of the current `Micro` effect, and resume it on the next
- * iteration of the event loop.
+ * Transforms the success value of the `Micro` effect with the specified
+ * function.
  *
  * @since 3.4.0
  * @experimental
- * @category constructors
+ * @category mapping & sequencing
  */
-exports.yieldWithPriority = yieldWithPriority;
-const yieldNow = exports.yieldNow = /*#__PURE__*/yieldWithPriority(0);
+exports.flatten = flatten;
+const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => flatMap(self, a => succeed(f(a))));
 /**
- * Flush any yielded effects that are waiting to be executed.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-const yieldFlush = exports.yieldFlush = /*#__PURE__*/make(function (env, onExit) {
-  envGet(env, currentScheduler).flush();
-  onExit(exitVoid);
-});
+const isMicroExit = u => (0, _Predicate.hasProperty)(u, MicroExitTypeId);
 /**
- * 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
  */
-const never = exports.never = /*#__PURE__*/async(function () {
-  const interval = setInterval(_Function.constVoid, 2147483646);
-  return sync(() => clearInterval(interval));
-});
+exports.isMicroExit = isMicroExit;
+const exitSucceed = exports.exitSucceed = succeed;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category constructors
+ * @category MicroExit
  */
-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;
-        (0, _Utils.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
-// ----------------------------------------------------------------------------
+const exitFailCause = exports.exitFailCause = failCause;
 /**
- * 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
  */
-exports.gen = gen;
-const flatten = self => make(function (env, onExit) {
-  self[runSymbol](env, exit => exit._tag === "Left" ? onExit(exit) : exit.right[runSymbol](env, onExit));
-});
+const exitInterrupt = exports.exitInterrupt = /*#__PURE__*/exitFailCause( /*#__PURE__*/causeInterrupt());
 /**
- * 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
  */
-exports.flatten = flatten;
-const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    onExit(exit._tag === "Left" ? exit : exitSucceed(f(exit.right)));
-  });
-}));
+const exitFail = e => exitFailCause(causeFail(e));
 /**
- * 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
  */
-const as = exports.as = /*#__PURE__*/(0, _Function.dual)(2, (self, value) => map(self, _ => value));
+exports.exitFail = exitFail;
+const exitDie = defect => exitFailCause(causeDie(defect));
 /**
- * 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
  */
-const asSome = self => map(self, Option.some);
+exports.exitDie = exitDie;
+const exitIsSuccess = self => self._tag === "Success";
 /**
- * Map the success value of this `Micro` effect to another `Micro` effect, then
- * flatten the result.
- *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category mapping & sequencing
+ * @category MicroExit
  */
-exports.asSome = asSome;
-const flatMap = exports.flatMap = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    if (exit._tag === "Left") {
-      return onExit(exit);
+exports.exitIsSuccess = exitIsSuccess;
+const exitIsFailure = self => self._tag === "Failure";
+/**
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+exports.exitIsFailure = exitIsFailure;
+const exitIsInterrupt = self => exitIsFailure(self) && self.cause._tag === "Interrupt";
+/**
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+exports.exitIsInterrupt = exitIsInterrupt;
+const exitIsFail = self => exitIsFailure(self) && self.cause._tag === "Fail";
+/**
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+exports.exitIsFail = exitIsFail;
+const exitIsDie = self => exitIsFailure(self) && self.cause._tag === "Die";
+/**
+ * @since 3.4.6
+ * @experimental
+ * @category MicroExit
+ */
+exports.exitIsDie = exitIsDie;
+const exitVoid = exports.exitVoid = /*#__PURE__*/exitSucceed(void 0);
+/**
+ * @since 3.11.0
+ * @experimental
+ * @category MicroExit
+ */
+const exitVoidAll = exits => {
+  for (const exit of exits) {
+    if (exit._tag === "Failure") {
+      return exit;
     }
-    f(exit.right)[runSymbol](env, onExit);
-  });
-}));
+  }
+  return exitVoid;
+};
+exports.exitVoidAll = exitVoidAll;
+const setImmediate = "setImmediate" in globalThis ? globalThis.setImmediate : f => setTimeout(f, 0);
 /**
- * Swap the error and success types of the `Micro` effect.
+ * @since 3.5.9
+ * @experimental
+ * @category scheduler
+ */
+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
  */
-const flip = self => matchEffect(self, {
-  onFailure: succeed,
-  onSuccess: fail
-});
+exports.MicroSchedulerDefault = MicroSchedulerDefault;
+const service = tag => withFiber(fiber => succeed(Context.unsafeGet(fiber.context, tag)));
 /**
- * A more flexible version of `flatMap`, that combines `map` and `flatMap` into
- * a single api.
+ * Access the given `Context.Tag` from the environment, without tracking the
+ * dependency at the type level.
  *
- * It also allows you to pass in a `Micro` effect directly, which will be
- * executed after the current effect.
+ * 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
  */
-exports.flip = flip;
-const andThen = exports.andThen = /*#__PURE__*/(0, _Function.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));
-    }
+exports.service = service;
+const serviceOption = tag => withFiber(fiber => succeed(Context.getOption(fiber.context, tag)));
+/**
+ * Update the Context with the given mapping function.
+ *
+ * @since 3.11.0
+ * @experimental
+ * @category environment
+ */
+exports.serviceOption = serviceOption;
+const updateContext = exports.updateContext = /*#__PURE__*/(0, _Function.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
  */
-const tap = exports.tap = /*#__PURE__*/(0, _Function.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);
-    }
+const updateService = exports.updateService = /*#__PURE__*/(0, _Function.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
  */
-const asVoid = self => map(self, _ => void 0);
+const context = () => getContext;
+exports.context = context;
+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
  */
-exports.asVoid = asVoid;
-const exit = self => make(function (env, onExit) {
-  self[runSymbol](env, function (exit) {
-    onExit(exitSucceed(exit));
-  });
-});
+const provideContext = exports.provideContext = /*#__PURE__*/(0, _Function.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
  */
-exports.exit = exit;
-const sandbox = self => catchAllCause(self, cause => fail(cause));
-exports.sandbox = sandbox;
-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];
-}
+const provideService = exports.provideService = /*#__PURE__*/(0, _Function.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
  */
-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);
-  }
-});
+const provideServiceEffect = exports.provideServiceEffect = /*#__PURE__*/(0, _Function.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
  */
-exports.raceAll = raceAll;
-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);
-  }
-});
+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
  */
-exports.raceAllFirst = raceAllFirst;
-const race = exports.race = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => raceAll([self, that]));
+exports.MaxOpsBeforeYield = MaxOpsBeforeYield;
+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
+ */
+exports.CurrentConcurrency = CurrentConcurrency;
+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
+ * )
  */
-const raceFirst = exports.raceFirst = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => raceAllFirst([self, that]));
+exports.CurrentScheduler = CurrentScheduler;
+const withConcurrency = exports.withConcurrency = /*#__PURE__*/(0, _Function.dual)(2, (self, concurrency) => provideService(self, CurrentConcurrency, concurrency));
 // ----------------------------------------------------------------------------
 // zipping
 // ----------------------------------------------------------------------------
@@ -1216,15 +1319,11 @@ const zip = exports.zip = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[
  * @experimental
  * @category zipping
  */
-const zipWith = exports.zipWith = /*#__PURE__*/(0, _Function.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)));
-});
+const zipWith = exports.zipWith = /*#__PURE__*/(0, _Function.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
 // ----------------------------------------------------------------------------
@@ -1259,7 +1358,7 @@ const filterOrFail = exports.filterOrFail = /*#__PURE__*/(0, _Function.dual)(arg
  * @experimental
  * @category filtering & conditionals
  */
-const when = exports.when = /*#__PURE__*/(0, _Function.dual)(2, (self, condition) => flatMap(isMicro(condition) ? condition : sync(condition), pass => pass ? asSome(self) : succeed(Option.none())));
+const when = exports.when = /*#__PURE__*/(0, _Function.dual)(2, (self, condition) => flatMap(isMicro(condition) ? condition : sync(condition), pass => pass ? asSome(self) : succeedNone));
 // ----------------------------------------------------------------------------
 // repetition
 // ----------------------------------------------------------------------------
@@ -1273,14 +1372,14 @@ const when = exports.when = /*#__PURE__*/(0, _Function.dual)(2, (self, condition
  * @experimental
  * @category repetition
  */
-const repeatExit = exports.repeatExit = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => make(function (env, onExit) {
+const repeatExit = exports.repeatExit = /*#__PURE__*/(0, _Function.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;
@@ -1288,17 +1387,13 @@ const repeatExit = exports.repeatExit = /*#__PURE__*/(0, _Function.dual)(2, (sel
       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
@@ -1310,8 +1405,26 @@ const repeatExit = exports.repeatExit = /*#__PURE__*/(0, _Function.dual)(2, (sel
  */
 const repeat = exports.repeat = /*#__PURE__*/(0, _Function.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
+ */
+const replicate = exports.replicate = /*#__PURE__*/(0, _Function.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
+ */
+const replicateEffect = exports.replicateEffect = /*#__PURE__*/(0, _Function.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.
  *
@@ -1405,7 +1518,19 @@ const scheduleIntersect = exports.scheduleIntersect = /*#__PURE__*/(0, _Function
  * @experimental
  * @category error handling
  */
-const catchAllCause = exports.catchAllCause = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchCauseIf(self, _Function.constTrue, f));
+const catchAllCause = exports.catchAllCause = /*#__PURE__*/(0, _Function.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.
@@ -1414,15 +1539,7 @@ const catchAllCause = exports.catchAllCause = /*#__PURE__*/(0, _Function.dual)(2
  * @experimental
  * @category error handling
  */
-const catchCauseIf = exports.catchCauseIf = /*#__PURE__*/(0, _Function.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);
-    }
-  });
-}));
+const catchCauseIf = exports.catchCauseIf = /*#__PURE__*/(0, _Function.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.
  *
@@ -1432,7 +1549,7 @@ const catchCauseIf = exports.catchCauseIf = /*#__PURE__*/(0, _Function.dual)(3,
  * @experimental
  * @category error handling
  */
-const catchAll = exports.catchAll = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchAllCause(self, cause => causeIsFail(cause) ? f(cause.error) : failCause(cause)));
+const catchAll = exports.catchAll = /*#__PURE__*/(0, _Function.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.
  *
@@ -1559,7 +1676,7 @@ const ignoreLogged = self => matchEffect(self, {
  */
 exports.ignoreLogged = ignoreLogged;
 const option = self => match(self, {
-  onFailure: _ => Option.none(),
+  onFailure: Option.none,
   onSuccess: Option.some
 });
 /**
@@ -1586,7 +1703,7 @@ const either = self => match(self, {
 exports.either = either;
 const retry = exports.retry = /*#__PURE__*/(0, _Function.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
@@ -1613,11 +1730,7 @@ 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]);
   }
@@ -1632,16 +1745,20 @@ const withTrace = function () {
  * @category pattern matching
  */
 exports.withTrace = withTrace;
-const matchCauseEffect = exports.matchCauseEffect = /*#__PURE__*/(0, _Function.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));
-    }
-  });
-}));
+const matchCauseEffect = exports.matchCauseEffect = /*#__PURE__*/(0, _Function.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
@@ -1679,12 +1796,12 @@ const match = exports.match = /*#__PURE__*/(0, _Function.dual)(2, (self, options
  * @experimental
  * @category delays & timeouts
  */
-const sleep = millis => async(function (resume) {
-  const timeout = setTimeout(function () {
+const sleep = millis => async(resume => {
+  const timeout = setTimeout(() => {
     resume(void_);
   }, millis);
   return sync(() => {
-    return clearTimeout(timeout);
+    clearTimeout(timeout);
   });
 });
 /**
@@ -1786,7 +1903,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_;
     });
@@ -1844,7 +1961,7 @@ const provideScope = exports.provideScope = /*#__PURE__*/(0, _Function.dual)(2,
  * @experimental
  * @category resources & finalization
  */
-const scoped = self => suspend(function () {
+const scoped = self => suspend(() => {
   const scope = new MicroScopeImpl();
   return onExit(provideService(self, MicroScope, scope), exit => scope.close(exit));
 });
@@ -1876,36 +1993,27 @@ const addFinalizer = finalizer => flatMap(scope, scope => scope.addFinalizer(fin
  * @category resources & finalization
  */
 exports.addFinalizer = addFinalizer;
-const onExit = exports.onExit = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onExitIf(self, _Function.constTrue, f));
+const onExit = exports.onExit = /*#__PURE__*/(0, _Function.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
  */
-const onExitIf = exports.onExitIf = /*#__PURE__*/(0, _Function.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);
-    });
-  });
-})));
+const ensuring = exports.ensuring = /*#__PURE__*/(0, _Function.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
  */
-const ensuring = exports.ensuring = /*#__PURE__*/(0, _Function.dual)(2, (self, finalizer) => onExit(self, _ => finalizer));
+const onExitIf = exports.onExitIf = /*#__PURE__*/(0, _Function.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.
@@ -1914,7 +2022,7 @@ const ensuring = exports.ensuring = /*#__PURE__*/(0, _Function.dual)(2, (self, f
  * @experimental
  * @category resources & finalization
  */
-const onError = exports.onError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onExitIf(self, exitIsFailure, exit => f(exit.left)));
+const onError = exports.onError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onExitIf(self, exitIsFailure, exit => f(exit.cause)));
 /**
  * If this `Micro` effect is aborted, run the finalizer effect.
  *
@@ -1931,7 +2039,7 @@ const onInterrupt = exports.onInterrupt = /*#__PURE__*/(0, _Function.dual)(2, (s
  * @experimental
  * @category resources & finalization
  */
-const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(exit(restore(use(a))), exit => andThen(release(a, exit), fromExit(exit)))));
+const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(exit(restore(use(a))), exit => andThen(release(a, exit), exit))));
 // ----------------------------------------------------------------------------
 // interruption
 // ----------------------------------------------------------------------------
@@ -1943,27 +2051,46 @@ const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore
  * @category interruption
  */
 exports.acquireUseRelease = acquireUseRelease;
-const interrupt = exports.interrupt = /*#__PURE__*/make(function (env, onExit) {
-  const controller = envGet(env, currentAbortController);
-  controller.abort();
-  onExit(exitInterrupt);
+const interrupt = exports.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
+ */
+const uninterruptible = self => withFiber(fiber => {
+  if (!fiber.interruptible) return self;
+  fiber.interruptible = false;
+  fiber._stack.push(setInterruptible(true));
+  return self;
+});
+exports.uninterruptible = uninterruptible;
+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
  */
-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);
+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.
@@ -1975,6 +2102,7 @@ const uninterruptible = self => unsafeMakeOptions(function (env, onExit) {
  * @experimental
  * @category interruption
  * @example
+ * ```ts
  * import * as Micro from "effect/Micro"
  *
  * Micro.uninterruptibleMask((restore) =>
@@ -1982,39 +2110,14 @@ const uninterruptible = self => unsafeMakeOptions(function (env, onExit) {
  *     Micro.andThen(restore(Micro.sleep(1000))) // interruptible
  *   )
  * )
+ * ```
  */
-exports.uninterruptible = uninterruptible;
-const uninterruptibleMask = f => unsafeMakeOptions((env, onExit) => {
-  const isInterruptible = envGet(env, currentInterruptible);
-  const effect = isInterruptible ? f(interruptible) : f(_Function.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
- */
-exports.uninterruptibleMask = uninterruptibleMask;
-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);
+exports.interruptible = interruptible;
+const uninterruptibleMask = f => withFiber(fiber => {
+  if (!fiber.interruptible) return f(_Function.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.
@@ -2025,7 +2128,7 @@ const interruptible = self => make((env, onExit) => {
  * @experimental
  * @category collecting & elements
  */
-exports.interruptible = interruptible;
+exports.uninterruptibleMask = uninterruptibleMask;
 const all = (arg, options) => {
   if (Array.isArray(arg) || (0, _Predicate.isIterable)(arg)) {
     return forEach(arg, _Function.identity, options);
@@ -2042,6 +2145,30 @@ const all = (arg, options) => {
     }), out);
   });
 };
+/**
+ * @since 3.11.0
+ * @experimental
+ * @category collecting & elements
+ */
+exports.all = all;
+const whileLoop = exports.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.
  *
@@ -2055,59 +2182,76 @@ const all = (arg, options) => {
  * @experimental
  * @category collecting & elements
  */
-exports.all = all;
-const forEach = (iterable, f, options) => make(function (env, onExit) {
-  const concurrencyOption = options?.concurrency === "inherit" ? envGet(env, currentConcurrency) : options?.concurrency ?? 1;
+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.
@@ -2174,93 +2318,8 @@ const bindTo = exports.bindTo = /*#__PURE__*/doNotation.bindTo(map);
 const bind = exports.bind = /*#__PURE__*/doNotation.bind(map, flatMap);
 const let_ = exports.let = /*#__PURE__*/doNotation.let_(map);
 // ----------------------------------------------------------------------------
-// handle & forking
+// fibers & forking
 // ----------------------------------------------------------------------------
-/**
- * @since 3.4.0
- * @experimental
- * @category handle & forking
- */
-const HandleTypeId = exports.HandleTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Handle");
-/**
- * @since 3.4.0
- * @experimental
- * @category handle & forking
- */
-const isHandle = u => typeof u === "object" && u !== null && HandleTypeId in u;
-exports.isHandle = isHandle;
-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.
@@ -2271,21 +2330,24 @@ class HandleImpl extends Class {
  * @experimental
  * @category handle & forking
  */
-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));
+const fork = self => withFiber(fiber => {
+  fiberMiddleware.interruptChildren ??= fiberInterruptChildren;
+  return succeed(unsafeFork(fiber, self));
 });
+exports.fork = fork;
+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.
@@ -2296,22 +2358,7 @@ const fork = self => make(function (env, onExit) {
  * @experimental
  * @category handle & forking
  */
-exports.fork = fork;
-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));
-});
+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.
@@ -2323,7 +2370,7 @@ const forkDaemon = self => make(function (env, onExit) {
  * @category handle & forking
  */
 exports.forkDaemon = forkDaemon;
-const forkIn = exports.forkIn = /*#__PURE__*/(0, _Function.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))))));
+const forkIn = exports.forkIn = /*#__PURE__*/(0, _Function.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.
@@ -2349,6 +2396,7 @@ 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(
@@ -2359,32 +2407,24 @@ const forkScoped = self => flatMap(scope, scope => forkIn(self, scope));
  * handle.addObserver((exit) => {
  *   console.log(exit)
  * })
+ * ```
  */
 exports.forkScoped = forkScoped;
 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
@@ -2409,10 +2449,10 @@ const runPromiseExit = (effect, options) => new Promise((resolve, _reject) => {
  */
 exports.runPromiseExit = runPromiseExit;
 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`.
@@ -2427,15 +2467,11 @@ const runPromise = (effect, options) => runPromiseExit(effect, options).then(exi
 exports.runPromise = runPromise;
 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
@@ -2448,25 +2484,25 @@ const runSyncExit = effect => {
 exports.runSyncExit = runSyncExit;
 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;
 };
 exports.runSync = runSync;
 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, _effectable.StructuralPrototype, {
+    [identifier]: "Failure",
+    [evaluate]() {
+      return fail(this);
+    },
     toString() {
       return this.message ? `${this.name}: ${this.message}` : this.name;
-    }
+    },
     toJSON() {
       return {
         ...this
       };
-    }
+    },
     [_Inspectable.NodeInspectSymbol]() {
       const stack = this.stack;
       if (stack) {
@@ -2474,8 +2510,7 @@ const YieldableError = /*#__PURE__*/function () {
       }
       return this.toString();
     }
-  }
-  Object.assign(YieldableError.prototype, MicroProto, _effectable.StructuralPrototype);
+  });
   return YieldableError;
 }();
 /**