effect 3.4.5 → 3.4.6

package/dist/cjs/Micro.js

@@ -3,8 +3,8 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.matchFailure = exports.match = exports.mapFailure = exports.mapError = exports.map = exports.make = exports.locally = exports.let = exports.isMicro = exports.isHandle = exports.interruptible = exports.ignoreLogged = exports.ignore = exports.getEnvRef = exports.gen = exports.fromResultSync = exports.fromResult = exports.fromOption = exports.fromEither = exports.forkScoped = exports.forkIn = exports.forkDaemon = exports.fork = exports.forever = exports.forEach = exports.flip = exports.flatten = exports.flatMap = exports.filterOrFailWith = exports.filterOrFail = exports.filterMap = exports.filter = exports.failureWithTrace = exports.failureSquash = exports.failureIsUnexpected = exports.failureIsExpected = exports.failureIsAborted = exports.failWithSync = exports.failWith = exports.failSync = exports.fail = exports.envUnsafeMakeEmpty = exports.envSet = exports.envRefMake = exports.envMutate = exports.envMake = exports.envGet = exports.ensuring = exports.either = exports.die = exports.delayWithRecurs = exports.delayWithMaxElapsed = exports.delayWithMax = exports.delaySpaced = exports.delayExponential = exports.delay = exports.currentMaxDepthBeforeYield = exports.currentContext = exports.currentConcurrency = exports.currentAbortSignal = exports.currentAbortController = exports.context = exports.catchUnexpected = exports.catchTag = exports.catchIf = exports.catchFailureIf = exports.catchFailure = exports.catchExpected = exports.bindTo = exports.bind = exports.async = exports.asVoid = exports.asSome = exports.asResult = exports.as = exports.andThen = exports.all = exports.addFinalizer = exports.acquireUseRelease = exports.acquireRelease = exports.abort = exports.TypeId = exports.TaggedError = exports.ResultSuccess = exports.ResultFailWith = exports.ResultFailUnexpected = exports.ResultFail = exports.ResultAborted = exports.NoSuchElementException = exports.MicroScopeTypeId = exports.MicroScope = exports.HandleTypeId = exports.FailureUnexpected = exports.FailureTypeId = exports.FailureExpected = exports.FailureAborted = exports.Error = exports.EnvTypeId = exports.EnvRefTypeId = exports.Do = void 0;
-exports.zipWith = exports.zip = exports.yieldNow = exports.yieldFlush = exports.withTrace = exports.withConcurrency = exports.when = exports.void = exports.uninterruptibleMask = exports.uninterruptible = exports.tryPromise = exports.try = exports.timeoutOrElse = exports.timeout = exports.tapUnexpected = exports.tapFailureIf = exports.tapFailure = exports.tapExpected = 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.sandbox = exports.runSyncResult = exports.runSync = exports.runSymbol = exports.runPromiseResult = exports.runPromise = exports.runFork = exports.retry = exports.resultVoid = exports.resultIsSuccess = exports.resultIsFailureUnexpected = exports.resultIsFailureExpected = exports.resultIsFailure = exports.resultIsAborted = exports.repeatResult = exports.repeat = exports.raceFirst = exports.raceAllFirst = exports.raceAll = exports.race = exports.provideServiceMicro = exports.provideService = exports.provideScope = exports.provideContext = exports.promise = exports.orElseSucceed = exports.orDie = exports.option = exports.onResultIf = exports.onResult = exports.onFailure = exports.onAbort = exports.never = exports.matchMicro = exports.matchFailureMicro = void 0;
+exports.mapErrorCause = exports.mapError = exports.map = exports.make = exports.locally = exports.let = 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.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.MicroCauseTypeId = exports.HandleTypeId = exports.Error = exports.EnvTypeId = exports.EnvRefTypeId = exports.Do = void 0;
+exports.zipWith = exports.zip = 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 = void 0;
 var Context = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Context.js"));
 var Effectable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Effectable.js"));
 var Either = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("./Either.js"));
@@ -62,34 +62,34 @@ const runSymbol = exports.runSymbol = /*#__PURE__*/Symbol.for("effect/Micro/runS
  */
 const isMicro = u => typeof u === "object" && u !== null && TypeId in u;
 // ----------------------------------------------------------------------------
-// Failures
+// MicroCause
 // ----------------------------------------------------------------------------
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
 exports.isMicro = isMicro;
-const FailureTypeId = exports.FailureTypeId = /*#__PURE__*/Symbol.for("effect/Micro/Failure");
-const failureVariance = {
+const MicroCauseTypeId = exports.MicroCauseTypeId = /*#__PURE__*/Symbol.for("effect/Micro/MicroCause");
+const microCauseVariance = {
   _E: _Function.identity
 };
-class FailureImpl extends globalThis.Error {
+class MicroCauseImpl extends globalThis.Error {
   _tag;
   traces;
-  [FailureTypeId];
+  [MicroCauseTypeId];
   constructor(_tag, originalError, traces) {
-    const failureName = `Failure${_tag}`;
+    const causeName = `MicroCause.${_tag}`;
     let name;
     let message;
     let stack;
     if (originalError instanceof globalThis.Error) {
-      name = `(${failureName}) ${originalError.name}`;
+      name = `(${causeName}) ${originalError.name}`;
       message = originalError.message;
       const messageLines = message.split("\n").length;
-      stack = originalError.stack ? `(${failureName}) ${originalError.stack.split("\n").slice(0, messageLines + 3).join("\n")}` : `${name}: ${message}`;
+      stack = originalError.stack ? `(${causeName}) ${originalError.stack.split("\n").slice(0, messageLines + 3).join("\n")}` : `${name}: ${message}`;
     } else {
-      name = failureName;
+      name = causeName;
       message = (0, _Inspectable.toStringUnknown)(originalError, 0);
       stack = `${name}: ${message}`;
     }
@@ -99,7 +99,7 @@ class FailureImpl extends globalThis.Error {
     super(message);
     this._tag = _tag;
     this.traces = traces;
-    this[FailureTypeId] = failureVariance;
+    this[MicroCauseTypeId] = microCauseVariance;
     this.name = name;
     this.stack = stack;
   }
@@ -113,158 +113,161 @@ class FailureImpl extends globalThis.Error {
     return this.stack;
   }
 }
-class FailureExpectedImpl extends FailureImpl {
+class FailImpl extends MicroCauseImpl {
   error;
   constructor(error, traces = []) {
-    super("Expected", error, traces);
+    super("Fail", error, traces);
     this.error = error;
   }
 }
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-const FailureExpected = (error, traces = []) => new FailureExpectedImpl(error, traces);
-exports.FailureExpected = FailureExpected;
-class FailureUnexpectedImpl extends FailureImpl {
+const causeFail = (error, traces = []) => new FailImpl(error, traces);
+exports.causeFail = causeFail;
+class DieImpl extends MicroCauseImpl {
   defect;
   constructor(defect, traces = []) {
-    super("Unexpected", defect, traces);
+    super("Die", defect, traces);
     this.defect = defect;
   }
 }
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-const FailureUnexpected = (defect, traces = []) => new FailureUnexpectedImpl(defect, traces);
-exports.FailureUnexpected = FailureUnexpected;
-class FailureAbortedImpl extends FailureImpl {
+const causeDie = (defect, traces = []) => new DieImpl(defect, traces);
+exports.causeDie = causeDie;
+class InterruptImpl extends MicroCauseImpl {
   constructor(traces = []) {
-    super("Aborted", "aborted", traces);
+    super("Interrupt", "interrupted", traces);
   }
 }
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-const FailureAborted = (traces = []) => new FailureAbortedImpl(traces);
+const causeInterrupt = (traces = []) => new InterruptImpl(traces);
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-exports.FailureAborted = FailureAborted;
-const failureIsExpected = self => self._tag === "Expected";
+exports.causeInterrupt = causeInterrupt;
+const causeIsFail = self => self._tag === "Fail";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-exports.failureIsExpected = failureIsExpected;
-const failureIsUnexpected = self => self._tag === "Unexpected";
+exports.causeIsFail = causeIsFail;
+const causeIsDie = self => self._tag === "Die";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-exports.failureIsUnexpected = failureIsUnexpected;
-const failureIsAborted = self => self._tag === "Aborted";
+exports.causeIsDie = causeIsDie;
+const causeIsInterrupt = self => self._tag === "Interrupt";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-exports.failureIsAborted = failureIsAborted;
-const failureSquash = self => self._tag === "Expected" ? self.error : self._tag === "Unexpected" ? self.defect : self;
+exports.causeIsInterrupt = causeIsInterrupt;
+const causeSquash = self => self._tag === "Fail" ? self.error : self._tag === "Die" ? self.defect : self;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category failure
+ * @category MicroCause
  */
-exports.failureSquash = failureSquash;
-const failureWithTrace = exports.failureWithTrace = /*#__PURE__*/(0, _Function.dual)(2, (self, trace) => {
-  if (self._tag === "Expected") {
-    return FailureExpected(self.error, [...self.traces, trace]);
-  } else if (self._tag === "Unexpected") {
-    return FailureUnexpected(self.defect, [...self.traces, trace]);
+exports.causeSquash = causeSquash;
+const causeWithTrace = exports.causeWithTrace = /*#__PURE__*/(0, _Function.dual)(2, (self, trace) => {
+  const traces = [...self.traces, trace];
+  switch (self._tag) {
+    case "Die":
+      return causeDie(self.defect, traces);
+    case "Interrupt":
+      return causeInterrupt(traces);
+    case "Fail":
+      return causeFail(self.error, traces);
   }
-  return FailureAborted([...self.traces, trace]);
 });
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const ResultAborted = exports.ResultAborted = /*#__PURE__*/Either.left( /*#__PURE__*/FailureAborted());
+const exitInterrupt = exports.exitInterrupt = /*#__PURE__*/Either.left( /*#__PURE__*/causeInterrupt());
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const ResultSuccess = exports.ResultSuccess = Either.right;
+const exitSucceed = exports.exitSucceed = Either.right;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const ResultFail = e => Either.left(FailureExpected(e));
+const exitFail = e => Either.left(causeFail(e));
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-exports.ResultFail = ResultFail;
-const ResultFailUnexpected = defect => Either.left(FailureUnexpected(defect));
+exports.exitFail = exitFail;
+const exitDie = defect => Either.left(causeDie(defect));
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-exports.ResultFailUnexpected = ResultFailUnexpected;
-const ResultFailWith = exports.ResultFailWith = Either.left;
+exports.exitDie = exitDie;
+const exitFailCause = exports.exitFailCause = Either.left;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const resultIsSuccess = exports.resultIsSuccess = Either.isRight;
+const exitIsSuccess = exports.exitIsSuccess = Either.isRight;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const resultIsFailure = exports.resultIsFailure = Either.isLeft;
+const exitIsFailure = exports.exitIsFailure = Either.isLeft;
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-const resultIsAborted = self => resultIsFailure(self) && self.left._tag === "Aborted";
+const exitIsInterrupt = self => exitIsFailure(self) && self.left._tag === "Interrupt";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-exports.resultIsAborted = resultIsAborted;
-const resultIsFailureExpected = self => resultIsFailure(self) && self.left._tag === "Expected";
+exports.exitIsInterrupt = exitIsInterrupt;
+const exitIsFail = self => exitIsFailure(self) && self.left._tag === "Fail";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-exports.resultIsFailureExpected = resultIsFailureExpected;
-const resultIsFailureUnexpected = self => resultIsFailure(self) && self.left._tag === "Unexpected";
+exports.exitIsFail = exitIsFail;
+const exitIsDie = self => exitIsFailure(self) && self.left._tag === "Die";
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category result
+ * @category MicroExit
  */
-exports.resultIsFailureUnexpected = resultIsFailureUnexpected;
-const resultVoid = exports.resultVoid = /*#__PURE__*/ResultSuccess(void 0);
+exports.exitIsDie = exitIsDie;
+const exitVoid = exports.exitVoid = /*#__PURE__*/exitSucceed(void 0);
 // ----------------------------------------------------------------------------
 // env
 // ----------------------------------------------------------------------------
@@ -341,8 +344,8 @@ const envMutate = exports.envMutate = /*#__PURE__*/(0, _Function.dual)(2, (self,
  * @experimental
  * @category environment
  */
-const service = tag => make(function (env, onResult) {
-  onResult(ResultSuccess(Context.get(envGet(env, currentContext), tag)));
+const service = tag => make(function (env, onExit) {
+  onExit(exitSucceed(Context.get(envGet(env, currentContext), tag)));
 });
 /**
  * Access the given `Context.Tag` from the environment, without tracking the
@@ -356,8 +359,8 @@ const service = tag => make(function (env, onResult) {
  * @category environment
  */
 exports.service = service;
-const serviceOption = tag => make(function (env, onResult) {
-  onResult(ResultSuccess(Context.getOption(envGet(env, currentContext), tag)));
+const serviceOption = tag => make(function (env, onExit) {
+  onExit(exitSucceed(Context.getOption(envGet(env, currentContext), tag)));
 });
 /**
  * Retrieve the current value of the given `EnvRef`.
@@ -367,7 +370,7 @@ const serviceOption = tag => make(function (env, onResult) {
  * @category environment
  */
 exports.serviceOption = serviceOption;
-const getEnvRef = envRef => make((env, onResult) => onResult(Either.right(envGet(env, envRef))));
+const getEnvRef = envRef => make((env, onExit) => onExit(Either.right(envGet(env, envRef))));
 /**
  * Set the value of the given `EnvRef` for the duration of the effect.
  *
@@ -376,7 +379,7 @@ const getEnvRef = envRef => make((env, onResult) => onResult(Either.right(envGet
  * @category environment
  */
 exports.getEnvRef = getEnvRef;
-const locally = exports.locally = /*#__PURE__*/(0, _Function.dual)(3, (self, fiberRef, value) => make((env, onResult) => self[runSymbol](envSet(env, fiberRef, value), onResult)));
+const locally = exports.locally = /*#__PURE__*/(0, _Function.dual)(3, (self, fiberRef, value) => make((env, onExit) => self[runSymbol](envSet(env, fiberRef, value), onExit)));
 /**
  * Access the current `Context` from the environment.
  *
@@ -393,10 +396,10 @@ const context = () => getEnvRef(currentContext);
  * @category environment
  */
 exports.context = context;
-const provideContext = exports.provideContext = /*#__PURE__*/(0, _Function.dual)(2, (self, provided) => make(function (env, onResult) {
+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, onResult);
+  self[runSymbol](nextEnv, onExit);
 }));
 /**
  * Add the provided service to the current context.
@@ -405,20 +408,20 @@ const provideContext = exports.provideContext = /*#__PURE__*/(0, _Function.dual)
  * @experimental
  * @category environment
  */
-const provideService = exports.provideService = /*#__PURE__*/(0, _Function.dual)(3, (self, tag, service) => make(function (env, onResult) {
+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, onResult);
+  self[runSymbol](nextEnv, onExit);
 }));
 /**
  * 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 environment
  */
-const provideServiceMicro = exports.provideServiceMicro = /*#__PURE__*/(0, _Function.dual)(3, (self, tag, acquire) => flatMap(acquire, service => provideService(self, tag, service)));
+const provideServiceEffect = exports.provideServiceEffect = /*#__PURE__*/(0, _Function.dual)(3, (self, tag, acquire) => flatMap(acquire, service => provideService(self, tag, service)));
 // ========================================================================
 // Env refs
 // ========================================================================
@@ -509,21 +512,21 @@ const unsafeMake = run => {
   self[runSymbol] = run;
   return self;
 };
-const unsafeMakeOptions = (run, checkAbort) => unsafeMake(function execute(env, onResult) {
+const unsafeMakeOptions = (run, checkAbort) => unsafeMake(function execute(env, onExit) {
   if (checkAbort && env.refs[currentInterruptible.key] !== false && env.refs[currentAbortSignal.key].aborted) {
-    return onResult(ResultAborted);
+    return onExit(exitInterrupt);
   }
   microDepthState.depth++;
   if (microDepthState.depth === 1) {
     microDepthState.maxDepthBeforeYield = envGet(env, currentMaxDepthBeforeYield);
   }
   if (microDepthState.depth >= microDepthState.maxDepthBeforeYield) {
-    yieldAdd(() => execute(env, onResult));
+    yieldAdd(() => execute(env, onExit));
   } else {
     try {
-      run(env, onResult);
+      run(env, onExit);
     } catch (err) {
-      onResult(ResultFailUnexpected(err));
+      onExit(exitDie(err));
     }
   }
   microDepthState.depth--;
@@ -539,26 +542,26 @@ const unsafeMakeOptions = (run, checkAbort) => unsafeMake(function execute(env,
  */
 const make = run => unsafeMakeOptions(run, true);
 /**
- * Converts a `Result` into a `Micro` effect.
+ * Converts a `MicroExit` into a `Micro` effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category constructors
  */
 exports.make = make;
-const fromResult = self => make(function (_env, onResult) {
-  onResult(self);
+const fromExit = self => make(function (_env, onExit) {
+  onExit(self);
 });
 /**
- * Converts a lazy `Result` into a `Micro` effect.
+ * Converts a lazy `MicroExit` into a `Micro` effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category constructors
  */
-exports.fromResult = fromResult;
-const fromResultSync = self => make(function (_env, onResult) {
-  onResult(self());
+exports.fromExit = fromExit;
+const fromExitSync = self => make(function (_env, onExit) {
+  onExit(self());
 });
 /**
  * Creates a `Micro` effect that will succeed with the specified constant value.
@@ -567,8 +570,8 @@ const fromResultSync = self => make(function (_env, onResult) {
  * @experimental
  * @category constructors
  */
-exports.fromResultSync = fromResultSync;
-const succeed = a => fromResult(ResultSuccess(a));
+exports.fromExitSync = fromExitSync;
+const succeed = a => fromExit(exitSucceed(a));
 /**
  * Creates a `Micro` effect that will succeed with `Option.Some` of the value.
  *
@@ -590,18 +593,18 @@ const succeedNone = exports.succeedNone = /*#__PURE__*/succeed( /*#__PURE__*/Opt
 /**
  * Creates a `Micro` effect that will fail with the specified error.
  *
- * This will result in a `FailureExpected`, where the error is tracked at the
+ * This will result in a `CauseFail`, where the error is tracked at the
  * type level.
  *
  * @since 3.4.0
  * @experimental
  * @category constructors
  */
-const fail = e => fromResult(ResultFail(e));
+const fail = e => fromExit(exitFail(e));
 /**
  * Creates a `Micro` effect that will fail with the lazily evaluated error.
  *
- * This will result in a `FailureExpected`, where the error is tracked at the
+ * This will result in a `CauseFail`, where the error is tracked at the
  * type level.
  *
  * @since 3.4.0
@@ -609,13 +612,13 @@ const fail = e => fromResult(ResultFail(e));
  * @category constructors
  */
 exports.fail = fail;
-const failSync = e => make(function (_env, onResult) {
-  onResult(ResultFail(e()));
+const failSync = e => make(function (_env, onExit) {
+  onExit(exitFail(e()));
 });
 /**
  * Creates a `Micro` effect that will die with the specified error.
  *
- * This will result in a `FailureUnexpected`, where the error is not tracked at
+ * This will result in a `CauseDie`, where the error is not tracked at
  * the type level.
  *
  * @since 3.4.0
@@ -623,38 +626,38 @@ const failSync = e => make(function (_env, onResult) {
  * @category constructors
  */
 exports.failSync = failSync;
-const die = defect => fromResult(ResultFailUnexpected(defect));
+const die = defect => fromExit(exitDie(defect));
 /**
- * Creates a `Micro` effect that will fail with the specified `Failure`.
+ * Creates a `Micro` effect that will fail with the specified `MicroCause`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category constructors
  */
 exports.die = die;
-const failWith = failure => fromResult(ResultFailWith(failure));
+const failCause = cause => fromExit(exitFailCause(cause));
 /**
- * Creates a `Micro` effect that will fail with the lazily evaluated `Failure`.
+ * Creates a `Micro` effect that will fail with the lazily evaluated `MicroCause`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category constructors
  */
-exports.failWith = failWith;
-const failWithSync = failure => fromResultSync(() => ResultFailWith(failure()));
+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
- * `FailureUnexpected`.
+ * `CauseDie`.
  *
  * @since 3.4.0
  * @experimental
  * @category constructors
  */
-exports.failWithSync = failWithSync;
-const sync = evaluate => make(function (_env, onResult) {
-  onResult(ResultSuccess(evaluate()));
+exports.failCauseSync = failCauseSync;
+const sync = evaluate => make(function (_env, onExit) {
+  onExit(exitSucceed(evaluate()));
 });
 /**
  * Converts an `Option` into a `Micro` effect, that will fail with
@@ -666,8 +669,8 @@ const sync = evaluate => make(function (_env, onResult) {
  * @category constructors
  */
 exports.sync = sync;
-const fromOption = option => make(function (_env, onResult) {
-  onResult(option._tag === "Some" ? ResultSuccess(option.value) : ResultFail(new NoSuchElementException({})));
+const fromOption = option => make(function (_env, onExit) {
+  onExit(option._tag === "Some" ? exitSucceed(option.value) : exitFail(new NoSuchElementException({})));
 });
 /**
  * Converts an `Either` into a `Micro` effect, that will fail with the left side
@@ -679,8 +682,8 @@ const fromOption = option => make(function (_env, onResult) {
  * @category constructors
  */
 exports.fromOption = fromOption;
-const fromEither = either => make(function (_env, onResult) {
-  onResult(either._tag === "Right" ? either : ResultFail(either.left));
+const fromEither = either => make(function (_env, onExit) {
+  onExit(either._tag === "Right" ? either : exitFail(either.left));
 });
 /**
  * Lazily creates a `Micro` effect from the given side-effect.
@@ -690,8 +693,8 @@ const fromEither = either => make(function (_env, onResult) {
  * @category constructors
  */
 exports.fromEither = fromEither;
-const suspend = evaluate => make(function (env, onResult) {
-  evaluate()[runSymbol](env, onResult);
+const suspend = evaluate => make(function (env, onExit) {
+  evaluate()[runSymbol](env, onExit);
 });
 exports.suspend = suspend;
 const void_ = exports.void = /*#__PURE__*/succeed(void 0);
@@ -706,16 +709,16 @@ const void_ = exports.void = /*#__PURE__*/succeed(void 0);
  * @experimental
  * @category constructors
  */
-const async = register => make(function (env, onResult) {
+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, fromResult(ResultAborted))));
+      resume(uninterruptible(andThen(cleanup, fromExit(exitInterrupt))));
     } else {
-      resume(fromResult(ResultAborted));
+      resume(fromExit(exitInterrupt));
     }
     if (controller !== undefined) {
       controller.abort();
@@ -727,24 +730,24 @@ const async = register => make(function (env, onResult) {
     }
     resumed = true;
     signal.removeEventListener("abort", onAbort);
-    effect[runSymbol](env, onResult);
+    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, onResult) {
+const try_ = options => make(function (_env, onExit) {
   try {
-    onResult(ResultSuccess(options.try()));
+    onExit(exitSucceed(options.try()));
   } catch (err) {
-    onResult(ResultFail(options.catch(err)));
+    onExit(exitFail(options.catch(err)));
   }
 });
 exports.try = try_;
 /**
  * Wrap a `Promise` into a `Micro` effect. Any errors will result in a
- * `FailureUnexpected`.
+ * `CauseDie`.
  *
  * @since 3.4.0
  * @experimental
@@ -807,8 +810,8 @@ const yieldAdd = task => {
  * @experimental
  * @category constructors
  */
-const yieldNow = exports.yieldNow = /*#__PURE__*/make(function (_env, onResult) {
-  yieldAdd(() => onResult(resultVoid));
+const yieldNow = exports.yieldNow = /*#__PURE__*/make(function (_env, onExit) {
+  yieldAdd(() => onExit(exitVoid));
 });
 /**
  * Flush any yielded effects that are waiting to be executed.
@@ -839,7 +842,7 @@ const never = exports.never = /*#__PURE__*/async(function () {
  * @experimental
  * @category constructors
  */
-const gen = (...args) => make(function (env, onResult) {
+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;
@@ -850,21 +853,21 @@ const gen = (...args) => make(function (env, onResult) {
       while (shouldContinue) {
         const result = iterator.next(value);
         if (result.done) {
-          return onResult(ResultSuccess(result.value));
+          return onExit(exitSucceed(result.value));
         }
         shouldContinue = false;
-        (0, _Utils.yieldWrapGet)(result.value)[runSymbol](env, function (result) {
-          if (result._tag === "Left") {
-            onResult(result);
+        (0, _Utils.yieldWrapGet)(result.value)[runSymbol](env, function (exit) {
+          if (exit._tag === "Left") {
+            onExit(exit);
           } else {
             shouldContinue = true;
-            value = result.right;
+            value = exit.right;
             if (!running) run();
           }
         });
       }
     } catch (err) {
-      onResult(ResultFailUnexpected(err));
+      onExit(exitDie(err));
     }
     running = false;
   }
@@ -881,8 +884,8 @@ const gen = (...args) => make(function (env, onResult) {
  * @category mapping & sequencing
  */
 exports.gen = gen;
-const flatten = self => make(function (env, onResult) {
-  self[runSymbol](env, result => result._tag === "Left" ? onResult(result) : result.right[runSymbol](env, onResult));
+const flatten = self => make(function (env, onExit) {
+  self[runSymbol](env, exit => exit._tag === "Left" ? onExit(exit) : exit.right[runSymbol](env, onExit));
 });
 /**
  * Transforms the success value of the `Micro` effect with the specified
@@ -893,9 +896,9 @@ const flatten = self => make(function (env, onResult) {
  * @category mapping & sequencing
  */
 exports.flatten = flatten;
-const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
-    onResult(result._tag === "Left" ? result : ResultSuccess(f(result.right)));
+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)));
   });
 }));
 /**
@@ -924,12 +927,12 @@ const asSome = self => map(self, Option.some);
  * @category mapping & sequencing
  */
 exports.asSome = asSome;
-const flatMap = exports.flatMap = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
-    if (result._tag === "Left") {
-      return onResult(result);
+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);
     }
-    f(result.right)[runSymbol](env, onResult);
+    f(exit.right)[runSymbol](env, onExit);
   });
 }));
 /**
@@ -939,7 +942,7 @@ const flatMap = exports.flatMap = /*#__PURE__*/(0, _Function.dual)(2, (self, f)
  * @experimental
  * @category mapping & sequencing
  */
-const flip = self => matchMicro(self, {
+const flip = self => matchEffect(self, {
   onFailure: succeed,
   onSuccess: fail
 });
@@ -955,18 +958,18 @@ const flip = self => matchMicro(self, {
  * @category mapping & sequencing
  */
 exports.flip = flip;
-const andThen = exports.andThen = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
-    if (result._tag === "Left") {
-      return onResult(result);
+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 onResult(ResultAborted);
+      return onExit(exitInterrupt);
     }
-    const value = isMicro(f) ? f : typeof f === "function" ? f(result.right) : f;
+    const value = isMicro(f) ? f : typeof f === "function" ? f(exit.right) : f;
     if (isMicro(value)) {
-      value[runSymbol](env, onResult);
+      value[runSymbol](env, onExit);
     } else {
-      onResult(ResultSuccess(value));
+      onExit(exitSucceed(value));
     }
   });
 }));
@@ -979,23 +982,23 @@ const andThen = exports.andThen = /*#__PURE__*/(0, _Function.dual)(2, (self, f)
  * @experimental
  * @category mapping & sequencing
  */
-const tap = exports.tap = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(function (env, onResult) {
-  self[runSymbol](env, function (selfResult) {
-    if (selfResult._tag === "Left") {
-      return onResult(selfResult);
+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 onResult(ResultAborted);
+      return onExit(exitInterrupt);
     }
-    const value = isMicro(f) ? f : typeof f === "function" ? f(selfResult.right) : f;
+    const value = isMicro(f) ? f : typeof f === "function" ? f(selfExit.right) : f;
     if (isMicro(value)) {
-      value[runSymbol](env, function (tapResult) {
-        if (tapResult._tag === "Left") {
-          return onResult(tapResult);
+      value[runSymbol](env, function (tapExit) {
+        if (tapExit._tag === "Left") {
+          return onExit(tapExit);
         }
-        onResult(selfResult);
+        onExit(selfExit);
       });
     } else {
-      onResult(selfResult);
+      onExit(selfExit);
     }
   });
 }));
@@ -1008,27 +1011,27 @@ const tap = exports.tap = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => make(
  */
 const asVoid = self => map(self, _ => void 0);
 /**
- * Access the `Result` of the given `Micro` effect.
+ * Access the `MicroExit` of the given `Micro` effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category mapping & sequencing
  */
 exports.asVoid = asVoid;
-const asResult = self => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
-    onResult(ResultSuccess(result));
+const exit = self => make(function (env, onExit) {
+  self[runSymbol](env, function (exit) {
+    onExit(exitSucceed(exit));
   });
 });
 /**
- * Replace the error type of the given `Micro` with the full `Failure` object.
+ * Replace the error type of the given `Micro` with the full `MicroCause` object.
  *
  * @since 3.4.0
  * @experimental
  * @category mapping & sequencing
  */
-exports.asResult = asResult;
-const sandbox = self => catchFailure(self, failure => fail(failure));
+exports.exit = exit;
+const sandbox = self => catchAllCause(self, cause => fail(cause));
 exports.sandbox = sandbox;
 function forkSignal(env) {
   const controller = new AbortController();
@@ -1054,25 +1057,25 @@ function forkSignal(env) {
  * @experimental
  * @category sequencing
  */
-const raceAll = all => make(function (env, onResult) {
+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 result = undefined;
-  const failures = [];
-  function onDone(result_) {
+  let exit = undefined;
+  const causes = [];
+  function onDone(exit_) {
     done++;
-    if (result_._tag === "Right" && result === undefined) {
+    if (exit_._tag === "Right" && exit === undefined) {
       len = index;
-      result = result_;
+      exit = exit_;
       onAbort();
-    } else if (result_._tag === "Left") {
-      failures.push(result_.left);
+    } else if (exit_._tag === "Left") {
+      causes.push(exit_.left);
     }
     if (done >= len) {
-      onResult(result ?? Either.left(failures[0]));
+      onExit(exit ?? Either.left(causes[0]));
     }
   }
   for (; index < len; index++) {
@@ -1089,23 +1092,23 @@ const raceAll = all => make(function (env, onResult) {
  * @category sequencing
  */
 exports.raceAll = raceAll;
-const raceAllFirst = all => make(function (env, onResult) {
+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 result = undefined;
-  const failures = [];
-  function onDone(result_) {
+  let exit = undefined;
+  const causes = [];
+  function onDone(exit_) {
     done++;
-    if (result === undefined) {
+    if (exit === undefined) {
       len = index;
-      result = result_;
+      exit = exit_;
       onAbort();
     }
     if (done >= len) {
-      onResult(result ?? Either.left(failures[0]));
+      onExit(exit ?? Either.left(causes[0]));
     }
   }
   for (; index < len; index++) {
@@ -1166,7 +1169,7 @@ const zipWith = exports.zipWith = /*#__PURE__*/(0, _Function.dual)(args => isMic
 // ----------------------------------------------------------------------------
 /**
  * Filter the specified effect with the provided function, failing with specified
- * `Failure` if the predicate fails.
+ * `MicroCause` if the predicate fails.
  *
  * In addition to the filtering capabilities discussed earlier, you have the option to further
  * refine and narrow down the type of the success channel by providing a
@@ -1175,7 +1178,7 @@ const zipWith = exports.zipWith = /*#__PURE__*/(0, _Function.dual)(args => isMic
  * @experimental
  * @category filtering & conditionals
  */
-const filterOrFailWith = exports.filterOrFailWith = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, refinement, orFailWith) => flatMap(self, a => refinement(a) ? succeed(a) : failWith(orFailWith(a))));
+const filterOrFailCause = exports.filterOrFailCause = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, refinement, orFailWith) => flatMap(self, a => refinement(a) ? succeed(a) : failCause(orFailWith(a))));
 /**
  * Filter the specified effect with the provided function, failing with specified
  * error if the predicate fails.
@@ -1203,34 +1206,34 @@ const when = exports.when = /*#__PURE__*/(0, _Function.dual)(2, (self, condition
  * Repeat the given `Micro` using the provided options.
  *
  * The `while` predicate will be checked after each iteration, and can use the
- * fall `Result` of the effect to determine if the repetition should continue.
+ * fall `MicroExit` of the effect to determine if the repetition should continue.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category repetition
  */
-const repeatResult = exports.repeatResult = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => make(function (env, onResult) {
-  const startedAt = options.delay ? Date.now() : 0;
+const repeatExit = exports.repeatExit = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => make(function (env, onExit) {
+  const startedAt = options.schedule ? Date.now() : 0;
   let attempt = 0;
-  self[runSymbol](env, function loop(result) {
-    if (options.while !== undefined && !options.while(result)) {
-      return onResult(result);
+  self[runSymbol](env, function loop(exit) {
+    if (options.while !== undefined && !options.while(exit)) {
+      return onExit(exit);
     } else if (options.times !== undefined && attempt >= options.times) {
-      return onResult(result);
+      return onExit(exit);
     }
     attempt++;
     let delayEffect = yieldNow;
-    if (options.delay !== undefined) {
+    if (options.schedule !== undefined) {
       const elapsed = Date.now() - startedAt;
-      const duration = options.delay(attempt, elapsed);
+      const duration = options.schedule(attempt, elapsed);
       if (Option.isNone(duration)) {
-        return onResult(result);
+        return onExit(exit);
       }
       delayEffect = sleep(duration.value);
     }
-    delayEffect[runSymbol](env, function (result) {
-      if (result._tag === "Left") {
-        return onResult(result);
+    delayEffect[runSymbol](env, function (exit) {
+      if (exit._tag === "Left") {
+        return onExit(exit);
       }
       self[runSymbol](env, loop);
     });
@@ -1244,9 +1247,9 @@ const repeatResult = exports.repeatResult = /*#__PURE__*/(0, _Function.dual)(2,
  * @experimental
  * @category repetition
  */
-const repeat = exports.repeat = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, options) => repeatResult(self, {
+const repeat = exports.repeat = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, options) => repeatExit(self, {
   ...options,
-  while: result => result._tag === "Right" && (options?.while === undefined || options.while(result.right))
+  while: exit => exit._tag === "Right" && (options?.while === undefined || options.while(exit.right))
 }));
 /**
  * Repeat the given `Micro` effect forever, only stopping if the effect fails.
@@ -1257,130 +1260,159 @@ const repeat = exports.repeat = /*#__PURE__*/(0, _Function.dual)(args => isMicro
  */
 const forever = self => repeat(self);
 /**
- * Create a `DelayFn` that will generate a duration with an exponential backoff.
+ * Create a `MicroSchedule` that will stop repeating after the specified number
+ * of attempts.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category delay fn
+ * @category scheduling
  */
 exports.forever = forever;
-const delayExponential = (baseMillis, factor = 2) => attempt => Option.some(attempt ** factor * baseMillis);
+const scheduleRecurs = n => attempt => attempt <= n ? Option.some(0) : Option.none();
 /**
- * Create a `DelayFn` that will generate a duration with fixed intervals.
+ * Create a `MicroSchedule` that will generate a constant delay.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category delay fn
+ * @category scheduling
  */
-exports.delayExponential = delayExponential;
-const delaySpaced = millis => _ => Option.some(millis);
+exports.scheduleRecurs = scheduleRecurs;
+const scheduleSpaced = millis => () => Option.some(millis);
 /**
- * Transform a `DelayFn` to one that will have a duration that will never exceed
+ * Create a `MicroSchedule` that will generate a delay with an exponential backoff.
+ *
+ * @since 3.4.6
+ * @experimental
+ * @category scheduling
+ */
+exports.scheduleSpaced = scheduleSpaced;
+const scheduleExponential = (baseMillis, factor = 2) => attempt => Option.some(Math.pow(factor, attempt) * baseMillis);
+/**
+ * Returns a new `MicroSchedule` with an added calculated delay to each delay
+ * returned by this schedule.
+ *
+ * @since 3.4.6
+ * @experimental
+ * @category scheduling
+ */
+exports.scheduleExponential = scheduleExponential;
+const scheduleAddDelay = exports.scheduleAddDelay = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => (attempt, elapsed) => Option.map(self(attempt, elapsed), duration => duration + f()));
+/**
+ * Transform a `MicroSchedule` to one that will have a delay that will never exceed
  * the specified maximum.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category delay fn
+ * @category scheduling
  */
-exports.delaySpaced = delaySpaced;
-const delayWithMax = exports.delayWithMax = /*#__PURE__*/(0, _Function.dual)(2, (self, max) => (attempt, elapsed) => Option.map(self(attempt, elapsed), duration => Math.min(duration, max)));
+const scheduleWithMaxDelay = exports.scheduleWithMaxDelay = /*#__PURE__*/(0, _Function.dual)(2, (self, max) => (attempt, elapsed) => Option.map(self(attempt, elapsed), duration => Math.min(duration, max)));
 /**
- * Transform a `DelayFn` to one that will stop repeating after the specified
+ * Transform a `MicroSchedule` to one that will stop repeating after the specified
  * amount of time.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category delay fn
+ * @category scheduling
  */
-const delayWithMaxElapsed = exports.delayWithMaxElapsed = /*#__PURE__*/(0, _Function.dual)(2, (self, max) => (attempt, elapsed) => elapsed < max ? self(attempt, elapsed) : Option.none());
+const scheduleWithMaxElapsed = exports.scheduleWithMaxElapsed = /*#__PURE__*/(0, _Function.dual)(2, (self, max) => (attempt, elapsed) => elapsed < max ? self(attempt, elapsed) : Option.none());
 /**
- * Transform a `DelayFn` to one that will stop repeating after the specified
- * number of attempts.
+ * Combines two `MicroSchedule`s, by recurring if either schedule wants to
+ * recur, using the minimum of the two durations between recurrences.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
- * @category delay fn
+ * @category scheduling
  */
-const delayWithRecurs = exports.delayWithRecurs = /*#__PURE__*/(0, _Function.dual)(2, (self, n) => (attempt, elapsed) => Option.filter(self(attempt, elapsed), () => attempt <= n));
+const scheduleUnion = exports.scheduleUnion = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => (attempt, elapsed) => Option.zipWith(self(attempt, elapsed), that(attempt, elapsed), (d1, d2) => Math.min(d1, d2)));
+/**
+ * Combines two `MicroSchedule`s, by recurring only if both schedules want to
+ * recur, using the maximum of the two durations between recurrences.
+ *
+ * @since 3.4.6
+ * @experimental
+ * @category scheduling
+ */
+const scheduleIntersect = exports.scheduleIntersect = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => (attempt, elapsed) => Option.zipWith(self(attempt, elapsed), that(attempt, elapsed), (d1, d2) => Math.max(d1, d2)));
 // ----------------------------------------------------------------------------
 // error handling
 // ----------------------------------------------------------------------------
 /**
- * Catch the full `Failure` object of the given `Micro` effect, allowing you to
- * recover from any kind of failure.
+ * Catch the full `MicroCause` object of the given `Micro` effect, allowing you to
+ * recover from any kind of cause.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const catchFailure = exports.catchFailure = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchFailureIf(self, _Function.constTrue, f));
+const catchAllCause = exports.catchAllCause = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchCauseIf(self, _Function.constTrue, f));
 /**
- * Selectively catch a `Failure` object of the given `Micro` effect,
+ * Selectively catch a `MicroCause` object of the given `Micro` effect,
  * using the provided predicate to determine if the failure should be caught.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const catchFailureIf = exports.catchFailureIf = /*#__PURE__*/(0, _Function.dual)(3, (self, refinement, f) => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
-    if (result._tag === "Right" || !refinement(result.left)) {
-      return onResult(result);
+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);
     }
-    f(result.left)[runSymbol](env, onResult);
   });
 }));
 /**
  * Catch the error of the given `Micro` effect, allowing you to recover from it.
  *
- * It only catches expected (`FailureExpected`) errors.
+ * It only catches expected (`MicroCause.Fail`) errors.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const catchExpected = exports.catchExpected = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchFailureIf(self, failureIsExpected, failure => f(failure.error)));
+const catchAll = exports.catchAll = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchAllCause(self, cause => causeIsFail(cause) ? f(cause.error) : failCause(cause)));
 /**
  * Catch any unexpected errors of the given `Micro` effect, allowing you to recover from them.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const catchUnexpected = exports.catchUnexpected = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchFailureIf(self, failureIsUnexpected, failure => f(failure.defect)));
+const catchAllDefect = exports.catchAllDefect = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchCauseIf(self, causeIsDie, die => f(die.defect)));
 /**
- * Perform a side effect using the full `Failure` object of the given `Micro`.
+ * Perform a side effect using the full `MicroCause` object of the given `Micro`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const tapFailure = exports.tapFailure = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapFailureIf(self, _Function.constTrue, f));
+const tapErrorCause = exports.tapErrorCause = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapErrorCauseIf(self, _Function.constTrue, f));
 /**
- * Perform a side effect using if a `Failure` object matches the specified
+ * Perform a side effect using if a `MicroCause` object matches the specified
  * predicate.
  *
  * @since 3.4.0
  * @experimental
  * @category error handling
  */
-const tapFailureIf = exports.tapFailureIf = /*#__PURE__*/(0, _Function.dual)(3, (self, refinement, f) => catchFailureIf(self, refinement, failure => andThen(f(failure), failWith(failure))));
+const tapErrorCauseIf = exports.tapErrorCauseIf = /*#__PURE__*/(0, _Function.dual)(3, (self, refinement, f) => catchCauseIf(self, refinement, cause => andThen(f(cause), failCause(cause))));
 /**
  * Perform a side effect from expected errors of the given `Micro`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const tapExpected = exports.tapExpected = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapFailureIf(self, failureIsExpected, failure => f(failure.error)));
+const tapError = exports.tapError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapErrorCauseIf(self, causeIsFail, fail => f(fail.error)));
 /**
  * Perform a side effect from unexpected errors of the given `Micro`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const tapUnexpected = exports.tapUnexpected = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapFailureIf(self, failureIsUnexpected, failure => f(failure.defect)));
+const tapDefect = exports.tapDefect = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => tapErrorCauseIf(self, causeIsDie, die => f(die.defect)));
 /**
  * Catch any expected errors that match the specified predicate.
  *
@@ -1388,7 +1420,7 @@ const tapUnexpected = exports.tapUnexpected = /*#__PURE__*/(0, _Function.dual)(2
  * @experimental
  * @category error handling
  */
-const catchIf = exports.catchIf = /*#__PURE__*/(0, _Function.dual)(3, (self, predicate, f) => catchFailureIf(self, f => failureIsExpected(f) && predicate(f.error), failure => f(failure.error)));
+const catchIf = exports.catchIf = /*#__PURE__*/(0, _Function.dual)(3, (self, predicate, f) => catchCauseIf(self, f => causeIsFail(f) && predicate(f.error), fail => f(fail.error)));
 /**
  * Recovers from the specified tagged error.
  *
@@ -1398,13 +1430,13 @@ const catchIf = exports.catchIf = /*#__PURE__*/(0, _Function.dual)(3, (self, pre
  */
 const catchTag = exports.catchTag = /*#__PURE__*/(0, _Function.dual)(3, (self, k, f) => catchIf(self, (0, _Predicate.isTagged)(k), f));
 /**
- * Transform the full `Failure` object of the given `Micro` effect.
+ * Transform the full `MicroCause` object of the given `Micro` effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category error handling
  */
-const mapFailure = exports.mapFailure = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchFailure(self, failure => failWith(f(failure))));
+const mapErrorCause = exports.mapErrorCause = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchAllCause(self, cause => failCause(f(cause))));
 /**
  * Transform any expected errors of the given `Micro` effect.
  *
@@ -1412,7 +1444,7 @@ const mapFailure = exports.mapFailure = /*#__PURE__*/(0, _Function.dual)(2, (sel
  * @experimental
  * @category error handling
  */
-const mapError = exports.mapError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchExpected(self, error => fail(f(error))));
+const mapError = exports.mapError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchAll(self, error => fail(f(error))));
 /**
  * Elevate any expected errors of the given `Micro` effect to unexpected errors,
  * resulting in an error type of `never`.
@@ -1421,7 +1453,7 @@ const mapError = exports.mapError = /*#__PURE__*/(0, _Function.dual)(2, (self, f
  * @experimental
  * @category error handling
  */
-const orDie = self => catchExpected(self, die);
+const orDie = self => catchAll(self, die);
 /**
  * Recover from all errors by succeeding with the given value.
  *
@@ -1430,7 +1462,7 @@ const orDie = self => catchExpected(self, die);
  * @category error handling
  */
 exports.orDie = orDie;
-const orElseSucceed = exports.orElseSucceed = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchExpected(self, _ => sync(f)));
+const orElseSucceed = exports.orElseSucceed = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => catchAll(self, _ => sync(f)));
 /**
  * Ignore any expected errors of the given `Micro` effect, returning `void`.
  *
@@ -1438,7 +1470,7 @@ const orElseSucceed = exports.orElseSucceed = /*#__PURE__*/(0, _Function.dual)(2
  * @experimental
  * @category error handling
  */
-const ignore = self => matchMicro(self, {
+const ignore = self => matchEffect(self, {
   onFailure: _ => void_,
   onSuccess: _ => void_
 });
@@ -1450,8 +1482,8 @@ const ignore = self => matchMicro(self, {
  * @category error handling
  */
 exports.ignore = ignore;
-const ignoreLogged = self => matchMicro(self, {
-  onFailure: failure => sync(() => console.error(failure)),
+const ignoreLogged = self => matchEffect(self, {
+  onFailure: error => sync(() => console.error(error)),
   onSuccess: _ => void_
 });
 /**
@@ -1490,13 +1522,13 @@ const either = self => match(self, {
  * @category error handling
  */
 exports.either = either;
-const retry = exports.retry = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, options) => repeatResult(self, {
+const retry = exports.retry = /*#__PURE__*/(0, _Function.dual)(args => isMicro(args[0]), (self, options) => repeatExit(self, {
   ...options,
-  while: result => result._tag === "Left" && result.left._tag === "Expected" && (options?.while === undefined || options.while(result.left.error))
+  while: exit => exit._tag === "Left" && exit.left._tag === "Fail" && (options?.while === undefined || options.while(exit.left.error))
 }));
 /**
  * Add a stack trace to any failures that occur in the effect. The trace will be
- * added to the `traces` field of the `Failure` object.
+ * added to the `traces` field of the `MicroCause` object.
  *
  * @since 3.4.0
  * @experimental
@@ -1507,21 +1539,21 @@ const withTrace = function () {
   globalThis.Error.stackTraceLimit = 2;
   const error = new globalThis.Error();
   globalThis.Error.stackTraceLimit = prevLimit;
-  function generate(name, failure) {
+  function generate(name, cause) {
     const stack = error.stack;
     if (!stack) {
-      return failure;
+      return cause;
     }
     const line = stack.split("\n")[2]?.trim().replace(/^at /, "");
     if (!line) {
-      return failure;
+      return cause;
     }
     const lineMatch = line.match(/\((.*)\)$/);
-    return failureWithTrace(failure, `at ${name} (${lineMatch ? lineMatch[1] : line})`);
+    return causeWithTrace(cause, `at ${name} (${lineMatch ? lineMatch[1] : line})`);
   }
-  const f = name => self => unsafeMakeOptions(function (env, onResult) {
-    self[runSymbol](env, function (result) {
-      onResult(result._tag === "Left" ? Either.left(generate(name, result.left)) : result);
+  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);
   if (arguments.length === 2) {
@@ -1533,37 +1565,37 @@ const withTrace = function () {
 // pattern matching
 // ----------------------------------------------------------------------------
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category pattern matching
  */
 exports.withTrace = withTrace;
-const matchFailureMicro = exports.matchFailureMicro = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => make(function (env, onResult) {
-  self[runSymbol](env, function (result) {
+const matchCauseEffect = exports.matchCauseEffect = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => make(function (env, onExit) {
+  self[runSymbol](env, function (exit) {
     try {
-      const next = result._tag === "Left" ? options.onFailure(result.left) : options.onSuccess(result.right);
-      next[runSymbol](env, onResult);
+      const next = exit._tag === "Left" ? options.onFailure(exit.left) : options.onSuccess(exit.right);
+      next[runSymbol](env, onExit);
     } catch (err) {
-      onResult(ResultFailUnexpected(err));
+      onExit(exitDie(err));
     }
   });
 }));
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category pattern matching
  */
-const matchFailure = exports.matchFailure = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchFailureMicro(self, {
-  onFailure: failure => sync(() => options.onFailure(failure)),
+const matchCause = exports.matchCause = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchCauseEffect(self, {
+  onFailure: cause => sync(() => options.onFailure(cause)),
   onSuccess: value => sync(() => options.onSuccess(value))
 }));
 /**
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category pattern matching
  */
-const matchMicro = exports.matchMicro = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchFailureMicro(self, {
-  onFailure: failure => failure._tag === "Expected" ? options.onFailure(failure.error) : failWith(failure),
+const matchEffect = exports.matchEffect = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchCauseEffect(self, {
+  onFailure: cause => cause._tag === "Fail" ? options.onFailure(cause.error) : failCause(cause),
   onSuccess: options.onSuccess
 }));
 /**
@@ -1571,7 +1603,7 @@ const matchMicro = exports.matchMicro = /*#__PURE__*/(0, _Function.dual)(2, (sel
  * @experimental
  * @category pattern matching
  */
-const match = exports.match = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchMicro(self, {
+const match = exports.match = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => matchEffect(self, {
   onFailure: error => sync(() => options.onFailure(error)),
   onSuccess: value => sync(() => options.onSuccess(value))
 }));
@@ -1614,6 +1646,21 @@ const delay = exports.delay = /*#__PURE__*/(0, _Function.dual)(2, (self, millis)
  * @category delays & timeouts
  */
 const timeoutOrElse = exports.timeoutOrElse = /*#__PURE__*/(0, _Function.dual)(2, (self, options) => raceFirst(self, andThen(interruptible(sleep(options.duration)), options.onTimeout)));
+/**
+ * Returns an effect that will timeout this effect, that will fail with a
+ * `TimeoutException` if the timeout elapses before the effect has produced a
+ * value.
+ *
+ * If the timeout elapses, the running effect will be safely interrupted.
+ *
+ * @since 3.4.0
+ * @experimental
+ * @category delays & timeouts
+ */
+const timeout = exports.timeout = /*#__PURE__*/(0, _Function.dual)(2, (self, millis) => timeoutOrElse(self, {
+  duration: millis,
+  onTimeout: () => fail(new TimeoutException())
+}));
 /**
  * Returns an effect that will timeout this effect, succeeding with a `None`
  * if the timeout elapses before the effect has produced a value; and `Some` of
@@ -1625,7 +1672,7 @@ const timeoutOrElse = exports.timeoutOrElse = /*#__PURE__*/(0, _Function.dual)(2
  * @experimental
  * @category delays & timeouts
  */
-const timeout = exports.timeout = /*#__PURE__*/(0, _Function.dual)(2, (self, millis) => raceFirst(asSome(self), as(interruptible(sleep(millis)), Option.none())));
+const timeoutOption = exports.timeoutOption = /*#__PURE__*/(0, _Function.dual)(2, (self, millis) => raceFirst(asSome(self), as(interruptible(sleep(millis)), Option.none())));
 // ----------------------------------------------------------------------------
 // resources & finalization
 // ----------------------------------------------------------------------------
@@ -1641,7 +1688,7 @@ const MicroScopeTypeId = exports.MicroScopeTypeId = /*#__PURE__*/Symbol.for("eff
  * @category resources & finalization
  */
 const MicroScope = exports.MicroScope = /*#__PURE__*/Context.GenericTag("effect/Micro/MicroScope");
-class ScopeImpl {
+class MicroScopeImpl {
   [MicroScopeTypeId];
   state = {
     _tag: "Open",
@@ -1661,7 +1708,7 @@ class ScopeImpl {
         this.state.finalizers.add(finalizer);
         return void_;
       }
-      return finalizer(this.state.result);
+      return finalizer(this.state.exit);
     });
   }
   unsafeRemoveFinalizer(finalizer) {
@@ -1669,28 +1716,28 @@ class ScopeImpl {
       this.state.finalizers.delete(finalizer);
     }
   }
-  close(result) {
+  close(microExit) {
     return suspend(() => {
       if (this.state._tag === "Open") {
         const finalizers = Array.from(this.state.finalizers).reverse();
         this.state = {
           _tag: "Closed",
-          result
+          exit: microExit
         };
-        return flatMap(forEach(finalizers, finalizer => asResult(finalizer(result))), results => asVoid(fromResult(Either.all(results))));
+        return flatMap(forEach(finalizers, finalizer => exit(finalizer(microExit))), exits => asVoid(fromExit(Either.all(exits))));
       }
       return void_;
     });
   }
   get fork() {
     return sync(() => {
-      const newScope = new ScopeImpl();
+      const newScope = new MicroScopeImpl();
       if (this.state._tag === "Closed") {
         newScope.state = this.state;
         return newScope;
       }
-      function fin(result) {
-        return newScope.close(result);
+      function fin(exit) {
+        return newScope.close(exit);
       }
       this.state.finalizers.add(fin);
       newScope.unsafeAddFinalizer(_ => sync(() => this.unsafeRemoveFinalizer(fin)));
@@ -1703,13 +1750,13 @@ class ScopeImpl {
  * @experimental
  * @category resources & finalization
  */
-const scopeMake = exports.scopeMake = /*#__PURE__*/sync(() => new ScopeImpl());
+const scopeMake = exports.scopeMake = /*#__PURE__*/sync(() => new MicroScopeImpl());
 /**
  * @since 3.4.0
  * @experimental
  * @category resources & finalization
  */
-const scopeUnsafeMake = () => new ScopeImpl();
+const scopeUnsafeMake = () => new MicroScopeImpl();
 /**
  * Access the current `MicroScope`.
  *
@@ -1736,8 +1783,8 @@ const provideScope = exports.provideScope = /*#__PURE__*/(0, _Function.dual)(2,
  * @category resources & finalization
  */
 const scoped = self => suspend(function () {
-  const scope = new ScopeImpl();
-  return onResult(provideService(self, MicroScope, scope), result => scope.close(result));
+  const scope = new MicroScopeImpl();
+  return onExit(provideService(self, MicroScope, scope), exit => scope.close(exit));
 });
 /**
  * Create a resource with a cleanup `Micro` effect, ensuring the cleanup is
@@ -1748,7 +1795,7 @@ const scoped = self => suspend(function () {
  * @category resources & finalization
  */
 exports.scoped = scoped;
-const acquireRelease = (acquire, release) => uninterruptible(flatMap(scope, scope => tap(acquire, a => scope.addFinalizer(result => release(a, result)))));
+const acquireRelease = (acquire, release) => uninterruptible(flatMap(scope, scope => tap(acquire, a => scope.addFinalizer(exit => release(a, exit)))));
 /**
  * Add a finalizer to the current `MicroScope`.
  *
@@ -1760,32 +1807,32 @@ exports.acquireRelease = acquireRelease;
 const addFinalizer = finalizer => flatMap(scope, scope => scope.addFinalizer(finalizer));
 /**
  * When the `Micro` effect is completed, run the given finalizer effect with the
- * `Result` of the executed effect.
+ * `MicroExit` of the executed effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category resources & finalization
  */
 exports.addFinalizer = addFinalizer;
-const onResult = exports.onResult = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onResultIf(self, _Function.constTrue, f));
+const onExit = exports.onExit = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onExitIf(self, _Function.constTrue, f));
 /**
  * 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 onResultIf = exports.onResultIf = /*#__PURE__*/(0, _Function.dual)(3, (self, refinement, f) => uninterruptibleMask(restore => make(function (env, onResult) {
-  restore(self)[runSymbol](env, function (result) {
-    if (!refinement(result)) {
-      return onResult(result);
+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(result)[runSymbol](env, function (finalizerResult) {
-      if (finalizerResult._tag === "Left") {
-        return onResult(finalizerResult);
+    f(exit)[runSymbol](env, function (finalizerExit) {
+      if (finalizerExit._tag === "Left") {
+        return onExit(finalizerExit);
       }
-      onResult(result);
+      onExit(exit);
     });
   });
 })));
@@ -1796,24 +1843,24 @@ const onResultIf = exports.onResultIf = /*#__PURE__*/(0, _Function.dual)(3, (sel
  * @experimental
  * @category resources & finalization
  */
-const ensuring = exports.ensuring = /*#__PURE__*/(0, _Function.dual)(2, (self, finalizer) => onResult(self, _ => finalizer));
+const ensuring = exports.ensuring = /*#__PURE__*/(0, _Function.dual)(2, (self, finalizer) => onExit(self, _ => finalizer));
 /**
  * When the `Micro` effect fails, run the given finalizer effect with the
- * `Failure` of the executed effect.
+ * `MicroCause` of the executed effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category resources & finalization
  */
-const onFailure = exports.onFailure = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onResultIf(self, resultIsFailure, result => f(result.left)));
+const onError = exports.onError = /*#__PURE__*/(0, _Function.dual)(2, (self, f) => onExitIf(self, exitIsFailure, exit => f(exit.left)));
 /**
  * If this `Micro` effect is aborted, run the finalizer effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category resources & finalization
  */
-const onAbort = exports.onAbort = /*#__PURE__*/(0, _Function.dual)(2, (self, finalizer) => onResultIf(self, resultIsAborted, _ => finalizer));
+const onInterrupt = exports.onInterrupt = /*#__PURE__*/(0, _Function.dual)(2, (self, finalizer) => onExitIf(self, exitIsInterrupt, _ => finalizer));
 /**
  * Acquire a resource, use it, and then release the resource when the `use`
  * effect has completed.
@@ -1822,22 +1869,22 @@ const onAbort = exports.onAbort = /*#__PURE__*/(0, _Function.dual)(2, (self, fin
  * @experimental
  * @category resources & finalization
  */
-const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(asResult(restore(use(a))), result => andThen(release(a, result), fromResult(result)))));
+const acquireUseRelease = (acquire, use, release) => uninterruptibleMask(restore => flatMap(acquire, a => flatMap(exit(restore(use(a))), exit => andThen(release(a, exit), fromExit(exit)))));
 // ----------------------------------------------------------------------------
 // interruption
 // ----------------------------------------------------------------------------
 /**
  * Abort the current `Micro` effect.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category interruption
  */
 exports.acquireUseRelease = acquireUseRelease;
-const abort = exports.abort = /*#__PURE__*/make(function (env, onResult) {
+const interrupt = exports.interrupt = /*#__PURE__*/make(function (env, onExit) {
   const controller = envGet(env, currentAbortController);
   controller.abort();
-  onResult(ResultAborted);
+  onExit(exitInterrupt);
 });
 /**
  * Wrap the given `Micro` effect in an uninterruptible region, preventing the
@@ -1847,13 +1894,13 @@ const abort = exports.abort = /*#__PURE__*/make(function (env, onResult) {
  * @experimental
  * @category interruption
  */
-const uninterruptible = self => unsafeMakeOptions(function (env, onResult) {
+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, onResult);
+  self[runSymbol](nextEnv, onExit);
 }, false);
 /**
  * Wrap the given `Micro` effect in an uninterruptible region, preventing the
@@ -1875,7 +1922,7 @@ const uninterruptible = self => unsafeMakeOptions(function (env, onResult) {
  * )
  */
 exports.uninterruptible = uninterruptible;
-const uninterruptibleMask = f => unsafeMakeOptions((env, onResult) => {
+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) {
@@ -1883,7 +1930,7 @@ const uninterruptibleMask = f => unsafeMakeOptions((env, onResult) => {
     env[currentAbortSignal.key] = new AbortController().signal;
     return env;
   }) : env;
-  effect[runSymbol](nextEnv, onResult);
+  effect[runSymbol](nextEnv, onExit);
 }, false);
 /**
  * Wrap the given `Micro` effect in an interruptible region, allowing the effect
@@ -1894,7 +1941,7 @@ const uninterruptibleMask = f => unsafeMakeOptions((env, onResult) => {
  * @category interruption
  */
 exports.uninterruptibleMask = uninterruptibleMask;
-const interruptible = self => make((env, onResult) => {
+const interruptible = self => make((env, onExit) => {
   const isInterruptible = envGet(env, currentInterruptible);
   let newEnv = env;
   if (!isInterruptible) {
@@ -1905,7 +1952,7 @@ const interruptible = self => make((env, onResult) => {
       return env;
     });
   }
-  self[runSymbol](newEnv, onResult);
+  self[runSymbol](newEnv, onExit);
 });
 /**
  * Runs all the provided effects in sequence respecting the structure provided in input.
@@ -1947,13 +1994,13 @@ const all = (arg, options) => {
  * @category collecting & elements
  */
 exports.all = all;
-const forEach = (iterable, f, options) => make(function (env, onResult) {
+const forEach = (iterable, f, options) => make(function (env, onExit) {
   const concurrencyOption = options?.concurrency === "inherit" ? envGet(env, currentConcurrency) : options?.concurrency ?? 1;
   const concurrency = concurrencyOption === "unbounded" ? Number.POSITIVE_INFINITY : Math.max(1, concurrencyOption);
   // abort
   const [envWithSignal, onAbort] = forkSignal(env);
   // iterate
-  let failure = undefined;
+  let result = undefined;
   const items = Array.from(iterable);
   let length = items.length;
   const out = options?.discard ? undefined : new Array(length);
@@ -1969,26 +2016,26 @@ const forEach = (iterable, f, options) => make(function (env, onResult) {
       index++;
       inProgress++;
       try {
-        f(item, currentIndex)[runSymbol](envWithSignal, function (result) {
-          if (result._tag === "Left") {
-            if (failure === undefined) {
-              failure = result;
+        f(item, currentIndex)[runSymbol](envWithSignal, function (exit) {
+          if (exit._tag === "Left") {
+            if (result === undefined) {
+              result = exit;
               length = index;
               onAbort();
             }
           } else if (out !== undefined) {
-            out[currentIndex] = result.right;
+            out[currentIndex] = exit.right;
           }
           doneCount++;
           inProgress--;
           if (doneCount === length) {
-            onResult(failure ?? Either.right(out));
+            onExit(result ?? Either.right(out));
           } else if (!pumping && inProgress < concurrency) {
             pump();
           }
         });
       } catch (err) {
-        failure = ResultFailUnexpected(err);
+        result = exitDie(err);
         length = index;
         onAbort();
       }
@@ -2010,7 +2057,7 @@ exports.forEach = forEach;
 const filter = (iterable, f, options) => filterMap(iterable, a => map(f(a), pass => {
   pass = options?.negate ? !pass : pass;
   return pass ? Option.some(a) : Option.none();
-}));
+}), options);
 /**
  * Effectfully filter the elements of the provided iterable.
  *
@@ -2081,7 +2128,7 @@ class HandleImpl {
   parentSignal;
   [HandleTypeId];
   observers = new Set();
-  _result = undefined;
+  _exit = undefined;
   _controller;
   isRoot;
   constructor(parentSignal, controller) {
@@ -2090,29 +2137,29 @@ class HandleImpl {
     this.isRoot = controller !== undefined;
     this._controller = controller ?? new AbortController();
     if (!this.isRoot) {
-      parentSignal.addEventListener("abort", this.unsafeAbort);
+      parentSignal.addEventListener("abort", this.unsafeInterrupt);
     }
   }
   unsafePoll() {
-    return this._result ?? null;
+    return this._exit ?? null;
   }
-  unsafeAbort = () => {
+  unsafeInterrupt = () => {
     this._controller.abort();
   };
-  emit(result) {
-    if (this._result) {
+  emit(exit) {
+    if (this._exit) {
       return;
     }
-    this._result = result;
+    this._exit = exit;
     if (!this.isRoot) {
-      this.parentSignal.removeEventListener("abort", this.unsafeAbort);
+      this.parentSignal.removeEventListener("abort", this.unsafeInterrupt);
     }
-    this.observers.forEach(observer => observer(result));
+    this.observers.forEach(observer => observer(exit));
     this.observers.clear();
   }
   addObserver(observer) {
-    if (this._result) {
-      return observer(this._result);
+    if (this._exit) {
+      return observer(this._exit);
     }
     this.observers.add(observer);
   }
@@ -2121,12 +2168,12 @@ class HandleImpl {
   }
   get await() {
     return suspend(() => {
-      if (this._result) {
-        return succeed(this._result);
+      if (this._exit) {
+        return succeed(this._exit);
       }
       return async(resume => {
-        function observer(result) {
-          resume(succeed(result));
+        function observer(exit) {
+          resume(succeed(exit));
         }
         this.addObserver(observer);
         return sync(() => {
@@ -2136,11 +2183,11 @@ class HandleImpl {
     });
   }
   get join() {
-    return flatMap(this.await, fromResult);
+    return flatMap(this.await, fromExit);
   }
-  get abort() {
+  get interrupt() {
     return suspend(() => {
-      this.unsafeAbort();
+      this.unsafeInterrupt();
       return this.await;
     });
   }
@@ -2155,7 +2202,7 @@ class HandleImpl {
  * @experimental
  * @category handle & forking
  */
-const fork = self => make(function (env, onResult) {
+const fork = self => make(function (env, onExit) {
   const signal = envGet(env, currentAbortSignal);
   const handle = new HandleImpl(signal);
   const nextEnv = envMutate(env, map => {
@@ -2164,11 +2211,11 @@ const fork = self => make(function (env, onResult) {
     return map;
   });
   yieldAdd(() => {
-    self[runSymbol](nextEnv, result => {
-      handle.emit(result);
+    self[runSymbol](nextEnv, exit => {
+      handle.emit(exit);
     });
   });
-  onResult(Either.right(handle));
+  onExit(Either.right(handle));
 });
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
@@ -2181,7 +2228,7 @@ const fork = self => make(function (env, onResult) {
  * @category handle & forking
  */
 exports.fork = fork;
-const forkDaemon = self => make(function (env, onResult) {
+const forkDaemon = self => make(function (env, onExit) {
   const controller = new AbortController();
   const handle = new HandleImpl(controller.signal, controller);
   const nextEnv = envMutate(env, map => {
@@ -2190,11 +2237,11 @@ const forkDaemon = self => make(function (env, onResult) {
     return map;
   });
   yieldAdd(() => {
-    self[runSymbol](nextEnv, result => {
-      handle.emit(result);
+    self[runSymbol](nextEnv, exit => {
+      handle.emit(exit);
     });
   });
-  onResult(Either.right(handle));
+  onExit(Either.right(handle));
 });
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
@@ -2207,7 +2254,7 @@ const forkDaemon = self => make(function (env, onResult) {
  * @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(onResult(self, result => scope.close(result)))), fiber => scope.addFinalizer(_ => asVoid(fiber.abort))))));
+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))))));
 /**
  * Run the `Micro` effect in a new `Handle` that can be awaited, joined, or
  * aborted.
@@ -2240,8 +2287,8 @@ const forkScoped = self => flatMap(scope, scope => forkIn(self, scope));
  *   Micro.runFork
  * )
  *
- * handle.addObserver((result) => {
- *   console.log(result)
+ * handle.addObserver((exit) => {
+ *   console.log(exit)
  * })
  */
 exports.forkScoped = forkScoped;
@@ -2252,17 +2299,17 @@ const runFork = (effect, options) => {
   refs[currentAbortSignal.key] = controller.signal;
   const env = envMake(refs);
   const handle = new HandleImpl(controller.signal, controller);
-  effect[runSymbol](envSet(env, currentAbortSignal, handle._controller.signal), result => {
-    handle.emit(result);
+  effect[runSymbol](envSet(env, currentAbortSignal, handle._controller.signal), exit => {
+    handle.emit(exit);
     if (options?.signal) {
-      options.signal.removeEventListener("abort", handle.unsafeAbort);
+      options.signal.removeEventListener("abort", handle.unsafeInterrupt);
     }
   });
   if (options?.signal) {
     if (options.signal.aborted) {
-      handle.unsafeAbort();
+      handle.unsafeInterrupt();
     } else {
-      options.signal.addEventListener("abort", handle.unsafeAbort, {
+      options.signal.addEventListener("abort", handle.unsafeInterrupt, {
         once: true
       });
     }
@@ -2271,14 +2318,14 @@ const runFork = (effect, options) => {
 };
 /**
  * Execute the `Micro` effect and return a `Promise` that resolves with the
- * `Result` of the computation.
+ * `MicroExit` of the computation.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category execution
  */
 exports.runFork = runFork;
-const runPromiseResult = (effect, options) => new Promise((resolve, _reject) => {
+const runPromiseExit = (effect, options) => new Promise((resolve, _reject) => {
   const handle = runFork(effect, options);
   handle.addObserver(resolve);
 });
@@ -2290,34 +2337,34 @@ const runPromiseResult = (effect, options) => new Promise((resolve, _reject) =>
  * @experimental
  * @category execution
  */
-exports.runPromiseResult = runPromiseResult;
-const runPromise = (effect, options) => runPromiseResult(effect, options).then(result => {
-  if (result._tag === "Left") {
-    throw result.left;
+exports.runPromiseExit = runPromiseExit;
+const runPromise = (effect, options) => runPromiseExit(effect, options).then(exit => {
+  if (exit._tag === "Left") {
+    throw exit.left;
   }
-  return result.right;
+  return exit.right;
 });
 /**
- * Attempt to execute the `Micro` effect synchronously and return the `Result`.
+ * Attempt to execute the `Micro` effect synchronously and return the `MicroExit`.
  *
  * If any asynchronous effects are encountered, the function will return a
- * FailureUnexpected containing the `Handle`.
+ * `CauseDie` containing the `Handle`.
  *
- * @since 3.4.0
+ * @since 3.4.6
  * @experimental
  * @category execution
  */
 exports.runPromise = runPromise;
-const runSyncResult = effect => {
+const runSyncExit = effect => {
   const handle = runFork(effect);
   while (yieldState.tasks.length > 0) {
     yieldRunTasks();
   }
-  const result = handle.unsafePoll();
-  if (result === null) {
-    return ResultFailUnexpected(handle);
+  const exit = handle.unsafePoll();
+  if (exit === null) {
+    return exitDie(handle);
   }
-  return result;
+  return exit;
 };
 /**
  * Attempt to execute the `Micro` effect synchronously and return the success
@@ -2327,19 +2374,19 @@ const runSyncResult = effect => {
  * @experimental
  * @category execution
  */
-exports.runSyncResult = runSyncResult;
+exports.runSyncExit = runSyncExit;
 const runSync = effect => {
-  const result = runSyncResult(effect);
-  if (result._tag === "Left") {
-    throw result.left;
+  const exit = runSyncExit(effect);
+  if (exit._tag === "Left") {
+    throw exit.left;
   }
-  return result.right;
+  return exit.right;
 };
 exports.runSync = runSync;
 const YieldableError = /*#__PURE__*/function () {
   class YieldableError extends globalThis.Error {
-    [runSymbol](_env, onResult) {
-      onResult(ResultFail(this));
+    [runSymbol](_env, onExit) {
+      onExit(exitFail(this));
     }
     toString() {
       return this.message ? `${this.name}: ${this.message}` : this.name;
@@ -2398,5 +2445,14 @@ const TaggedError = tag => {
  */
 exports.TaggedError = TaggedError;
 class NoSuchElementException extends TaggedError("NoSuchElementException") {}
+/**
+ * Represents a checked exception which occurs when a timeout occurs.
+ *
+ * @since 3.4.4
+ * @experimental
+ * @category errors
+ */
 exports.NoSuchElementException = NoSuchElementException;
+class TimeoutException extends TaggedError("TimeoutException") {}
+exports.TimeoutException = TimeoutException;
 //# sourceMappingURL=Micro.js.map