effect 3.7.3 → 3.8.1

package/dist/esm/internal/subscriptionRef.js

@@ -1,6 +1,6 @@
 import * as Effect from "../Effect.js";
+import * as Effectable from "../Effectable.js";
 import { dual, pipe } from "../Function.js";
-import { pipeArguments } from "../Pipeable.js";
 import * as PubSub from "../PubSub.js";
 import * as Readable from "../Readable.js";
 import * as Ref from "../Ref.js";
@@ -18,25 +18,24 @@ const subscriptionRefVariance = {
   _A: _ => _
 };
 /** @internal */
-class SubscriptionRefImpl {
+class SubscriptionRefImpl extends Effectable.Class {
   ref;
   pubsub;
   semaphore;
-  [Readable.TypeId];
-  [Subscribable.TypeId];
+  [Readable.TypeId] = Readable.TypeId;
+  [Subscribable.TypeId] = Subscribable.TypeId;
   [Ref.RefTypeId] = _ref.refVariance;
   [Synchronized.SynchronizedRefTypeId] = _circular.synchronizedVariance;
   [SubscriptionRefTypeId] = subscriptionRefVariance;
   constructor(ref, pubsub, semaphore) {
+    super();
     this.ref = ref;
     this.pubsub = pubsub;
     this.semaphore = semaphore;
-    this[Readable.TypeId] = Readable.TypeId;
-    this[Subscribable.TypeId] = Subscribable.TypeId;
     this.get = Ref.get(this.ref);
   }
-  pipe() {
-    return pipeArguments(this, arguments);
+  commit() {
+    return this.get;
   }
   get;
   get changes() {

package/dist/esm/internal/subscriptionRef.js.map

@@ -1 +1 @@
-{"version":3,"file":"subscriptionRef.js","names":["Effect","dual","pipe","pipeArguments","PubSub","Readable","Ref","Subscribable","Synchronized","_circular","_ref","stream","SubscriptionRefSymbolKey","SubscriptionRefTypeId","Symbol","for","subscriptionRefVariance","_A","_","SubscriptionRefImpl","ref","pubsub","semaphore","TypeId","RefTypeId","refVariance","SynchronizedRefTypeId","synchronizedVariance","constructor","get","arguments","changes","flatMap","a","map","fromPubSub","scoped","s","concat","make","withPermits","unwrapScoped","modify","f","modifyEffect","succeed","b","set","as","zipLeft","publish","self","value","all","unbounded","makeSemaphore"],"sources":["../../../src/internal/subscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,SAASC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAC3C,SAASC,aAAa,QAAQ,gBAAgB;AAC9C,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,QAAQ,MAAM,gBAAgB;AAC1C,OAAO,KAAKC,GAAG,MAAM,WAAW;AAEhC,OAAO,KAAKC,YAAY,MAAM,oBAAoB;AAElD,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAKC,SAAS,MAAM,sBAAsB;AACjD,OAAO,KAAKC,IAAI,MAAM,UAAU;AAChC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;AACA,MAAMC,wBAAwB,GAAG,wBAAwB;AAEzD;AACA,OAAO,MAAMC,qBAAqB,gBAA0CC,MAAM,CAACC,GAAG,CACpFH,wBAAwB,CACgB;AAE1C,MAAMI,uBAAuB,GAAG;EAC9B;EACAC,EAAE,EAAGC,CAAM,IAAKA;CACjB;AAED;AACA,MAAMC,mBAAmB;EAOZC,GAAA;EACAC,MAAA;EACAC,SAAA;EARF,CAACjB,QAAQ,CAACkB,MAAM;EAChB,CAAChB,YAAY,CAACgB,MAAM;EACpB,CAACjB,GAAG,CAACkB,SAAS,IAAId,IAAI,CAACe,WAAW;EAClC,CAACjB,YAAY,CAACkB,qBAAqB,IAAIjB,SAAS,CAACkB,oBAAoB;EACrE,CAACd,qBAAqB,IAAIG,uBAAuB;EAC1DY,YACWR,GAAe,EACfC,MAAwB,EACxBC,SAA2B;IAF3B,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAC,SAAS,GAATA,SAAS;IAElB,IAAI,CAACjB,QAAQ,CAACkB,MAAM,CAAC,GAAGlB,QAAQ,CAACkB,MAAM;IACvC,IAAI,CAAChB,YAAY,CAACgB,MAAM,CAAC,GAAGhB,YAAY,CAACgB,MAAM;IAC/C,IAAI,CAACM,GAAG,GAAGvB,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC;EAC9B;EACAlB,IAAIA,CAAA;IACF,OAAOC,aAAa,CAAC,IAAI,EAAE2B,SAAS,CAAC;EACvC;EACSD,GAAG;EACZ,IAAIE,OAAOA,CAAA;IACT,OAAO7B,IAAI,CACTI,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC,EACjBpB,MAAM,CAACgC,OAAO,CAAEC,CAAC,IACfjC,MAAM,CAACkC,GAAG,CACRvB,MAAM,CAACwB,UAAU,CAAC,IAAI,CAACd,MAAM,EAAE;MAAEe,MAAM,EAAE;IAAI,CAAE,CAAC,EAC/CC,CAAC,IACA1B,MAAM,CAAC2B,MAAM,CACX3B,MAAM,CAAC4B,IAAI,CAACN,CAAC,CAAC,EACdI,CAAC,CACF,CACJ,CACF,EACD,IAAI,CAACf,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,EAC7B7B,MAAM,CAAC8B,YAAY,CACpB;EACH;EACAC,MAAMA,CAAIC,CAA4B;IACpC,OAAO,IAAI,CAACC,YAAY,CAAEX,CAAC,IAAKjC,MAAM,CAAC6C,OAAO,CAACF,CAAC,CAACV,CAAC,CAAC,CAAC,CAAC;EACvD;EACAW,YAAYA,CAAUD,CAAiD;IACrE,OAAOzC,IAAI,CACTI,GAAG,CAACuB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC,EACjBpB,MAAM,CAACgC,OAAO,CAACW,CAAC,CAAC,EACjB3C,MAAM,CAACgC,OAAO,CAAC,CAAC,CAACc,CAAC,EAAEb,CAAC,CAAC,KACpB/B,IAAI,CACFI,GAAG,CAACyC,GAAG,CAAC,IAAI,CAAC3B,GAAG,EAAEa,CAAC,CAAC,EACpBjC,MAAM,CAACgD,EAAE,CAACF,CAAC,CAAC,EACZ9C,MAAM,CAACiD,OAAO,CAAC7C,MAAM,CAAC8C,OAAO,CAAC,IAAI,CAAC7B,MAAM,EAAEY,CAAC,CAAC,CAAC,CAC/C,CACF,EACD,IAAI,CAACX,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,CAC9B;EACH;;AAGF;AACA,OAAO,MAAMX,GAAG,GAAOsB,IAAwC,IAAuB7C,GAAG,CAACuB,GAAG,CAACsB,IAAI,CAAC/B,GAAG,CAAC;AAEvG;AACA,OAAO,MAAMmB,IAAI,GAAOa,KAAQ,IAC9BlD,IAAI,CACFF,MAAM,CAACqD,GAAG,CAAC,CACTjD,MAAM,CAACkD,SAAS,EAAK,EACrBhD,GAAG,CAACiC,IAAI,CAACa,KAAK,CAAC,EACfpD,MAAM,CAACuD,aAAa,CAAC,CAAC,CAAC,CACxB,CAAC,EACFvD,MAAM,CAACkC,GAAG,CAAC,CAAC,CAACb,MAAM,EAAED,GAAG,EAAEE,SAAS,CAAC,KAAK,IAAIH,mBAAmB,CAACC,GAAG,EAAEC,MAAM,EAAEC,SAAS,CAAC,CAAC,CAC1F;AAEH;AACA,OAAO,MAAMoB,MAAM,gBAAGzC,IAAI,CAMxB,CAAC,EAAE,CACHkD,IAAwC,EACxCR,CAA4B,KACPQ,IAAI,CAACT,MAAM,CAACC,CAAC,CAAC,CAAC;AAEtC;AACA,OAAO,MAAMC,YAAY,gBAAG3C,IAAI,CAQ9B,CAAC,EAAE,CACHkD,IAAwC,EACxCR,CAAiD,KACtBQ,IAAI,CAACP,YAAY,CAACD,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAMI,GAAG,gBAAG9C,IAAI,CAMrB,CAAC,EAAE,CACHkD,IAAwC,EACxCC,KAAQ,KAERlD,IAAI,CACFI,GAAG,CAACyC,GAAG,CAACI,IAAI,CAAC/B,GAAG,EAAEgC,KAAK,CAAC,EACxBpD,MAAM,CAACiD,OAAO,CAAC7C,MAAM,CAAC8C,OAAO,CAACC,IAAI,CAAC9B,MAAM,EAAE+B,KAAK,CAAC,CAAC,EAClDD,IAAI,CAAC7B,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,CAC9B,CAAC","ignoreList":[]}
+{"version":3,"file":"subscriptionRef.js","names":["Effect","Effectable","dual","pipe","PubSub","Readable","Ref","Subscribable","Synchronized","_circular","_ref","stream","SubscriptionRefSymbolKey","SubscriptionRefTypeId","Symbol","for","subscriptionRefVariance","_A","_","SubscriptionRefImpl","Class","ref","pubsub","semaphore","TypeId","RefTypeId","refVariance","SynchronizedRefTypeId","synchronizedVariance","constructor","get","commit","changes","flatMap","a","map","fromPubSub","scoped","s","concat","make","withPermits","unwrapScoped","modify","f","modifyEffect","succeed","b","set","as","zipLeft","publish","self","value","all","unbounded","makeSemaphore"],"sources":["../../../src/internal/subscriptionRef.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,UAAU,MAAM,kBAAkB;AAC9C,SAASC,IAAI,EAAEC,IAAI,QAAQ,gBAAgB;AAC3C,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,OAAO,KAAKC,QAAQ,MAAM,gBAAgB;AAC1C,OAAO,KAAKC,GAAG,MAAM,WAAW;AAEhC,OAAO,KAAKC,YAAY,MAAM,oBAAoB;AAElD,OAAO,KAAKC,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAKC,SAAS,MAAM,sBAAsB;AACjD,OAAO,KAAKC,IAAI,MAAM,UAAU;AAChC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;AACA,MAAMC,wBAAwB,GAAG,wBAAwB;AAEzD;AACA,OAAO,MAAMC,qBAAqB,gBAA0CC,MAAM,CAACC,GAAG,CACpFH,wBAAwB,CACgB;AAE1C,MAAMI,uBAAuB,GAAG;EAC9B;EACAC,EAAE,EAAGC,CAAM,IAAKA;CACjB;AAED;AACA,MAAMC,mBAA8B,SAAQlB,UAAU,CAACmB,KAAQ;EAOlDC,GAAA;EACAC,MAAA;EACAC,SAAA;EARF,CAAClB,QAAQ,CAACmB,MAAM,IAAqBnB,QAAQ,CAACmB,MAAM;EACpD,CAACjB,YAAY,CAACiB,MAAM,IAAyBjB,YAAY,CAACiB,MAAM;EAChE,CAAClB,GAAG,CAACmB,SAAS,IAAIf,IAAI,CAACgB,WAAW;EAClC,CAAClB,YAAY,CAACmB,qBAAqB,IAAIlB,SAAS,CAACmB,oBAAoB;EACrE,CAACf,qBAAqB,IAAIG,uBAAuB;EAC1Da,YACWR,GAAe,EACfC,MAAwB,EACxBC,SAA2B;IAEpC,KAAK,EAAE;IAJE,KAAAF,GAAG,GAAHA,GAAG;IACH,KAAAC,MAAM,GAANA,MAAM;IACN,KAAAC,SAAS,GAATA,SAAS;IAGlB,IAAI,CAACO,GAAG,GAAGxB,GAAG,CAACwB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC;EAC9B;EACAU,MAAMA,CAAA;IACJ,OAAO,IAAI,CAACD,GAAG;EACjB;EACSA,GAAG;EACZ,IAAIE,OAAOA,CAAA;IACT,OAAO7B,IAAI,CACTG,GAAG,CAACwB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC,EACjBrB,MAAM,CAACiC,OAAO,CAAEC,CAAC,IACflC,MAAM,CAACmC,GAAG,CACRxB,MAAM,CAACyB,UAAU,CAAC,IAAI,CAACd,MAAM,EAAE;MAAEe,MAAM,EAAE;IAAI,CAAE,CAAC,EAC/CC,CAAC,IACA3B,MAAM,CAAC4B,MAAM,CACX5B,MAAM,CAAC6B,IAAI,CAACN,CAAC,CAAC,EACdI,CAAC,CACF,CACJ,CACF,EACD,IAAI,CAACf,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,EAC7B9B,MAAM,CAAC+B,YAAY,CACpB;EACH;EACAC,MAAMA,CAAIC,CAA4B;IACpC,OAAO,IAAI,CAACC,YAAY,CAAEX,CAAC,IAAKlC,MAAM,CAAC8C,OAAO,CAACF,CAAC,CAACV,CAAC,CAAC,CAAC,CAAC;EACvD;EACAW,YAAYA,CAAUD,CAAiD;IACrE,OAAOzC,IAAI,CACTG,GAAG,CAACwB,GAAG,CAAC,IAAI,CAACT,GAAG,CAAC,EACjBrB,MAAM,CAACiC,OAAO,CAACW,CAAC,CAAC,EACjB5C,MAAM,CAACiC,OAAO,CAAC,CAAC,CAACc,CAAC,EAAEb,CAAC,CAAC,KACpB/B,IAAI,CACFG,GAAG,CAAC0C,GAAG,CAAC,IAAI,CAAC3B,GAAG,EAAEa,CAAC,CAAC,EACpBlC,MAAM,CAACiD,EAAE,CAACF,CAAC,CAAC,EACZ/C,MAAM,CAACkD,OAAO,CAAC9C,MAAM,CAAC+C,OAAO,CAAC,IAAI,CAAC7B,MAAM,EAAEY,CAAC,CAAC,CAAC,CAC/C,CACF,EACD,IAAI,CAACX,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,CAC9B;EACH;;AAGF;AACA,OAAO,MAAMX,GAAG,GAAOsB,IAAwC,IAAuB9C,GAAG,CAACwB,GAAG,CAACsB,IAAI,CAAC/B,GAAG,CAAC;AAEvG;AACA,OAAO,MAAMmB,IAAI,GAAOa,KAAQ,IAC9BlD,IAAI,CACFH,MAAM,CAACsD,GAAG,CAAC,CACTlD,MAAM,CAACmD,SAAS,EAAK,EACrBjD,GAAG,CAACkC,IAAI,CAACa,KAAK,CAAC,EACfrD,MAAM,CAACwD,aAAa,CAAC,CAAC,CAAC,CACxB,CAAC,EACFxD,MAAM,CAACmC,GAAG,CAAC,CAAC,CAACb,MAAM,EAAED,GAAG,EAAEE,SAAS,CAAC,KAAK,IAAIJ,mBAAmB,CAACE,GAAG,EAAEC,MAAM,EAAEC,SAAS,CAAC,CAAC,CAC1F;AAEH;AACA,OAAO,MAAMoB,MAAM,gBAAGzC,IAAI,CAMxB,CAAC,EAAE,CACHkD,IAAwC,EACxCR,CAA4B,KACPQ,IAAI,CAACT,MAAM,CAACC,CAAC,CAAC,CAAC;AAEtC;AACA,OAAO,MAAMC,YAAY,gBAAG3C,IAAI,CAQ9B,CAAC,EAAE,CACHkD,IAAwC,EACxCR,CAAiD,KACtBQ,IAAI,CAACP,YAAY,CAACD,CAAC,CAAC,CAAC;AAElD;AACA,OAAO,MAAMI,GAAG,gBAAG9C,IAAI,CAMrB,CAAC,EAAE,CACHkD,IAAwC,EACxCC,KAAQ,KAERlD,IAAI,CACFG,GAAG,CAAC0C,GAAG,CAACI,IAAI,CAAC/B,GAAG,EAAEgC,KAAK,CAAC,EACxBrD,MAAM,CAACkD,OAAO,CAAC9C,MAAM,CAAC+C,OAAO,CAACC,IAAI,CAAC9B,MAAM,EAAE+B,KAAK,CAAC,CAAC,EAClDD,IAAI,CAAC7B,SAAS,CAACkB,WAAW,CAAC,CAAC,CAAC,CAC9B,CAAC","ignoreList":[]}

package/dist/esm/internal/version.js

@@ -1,4 +1,4 @@
-let moduleVersion = "3.7.3";
+let moduleVersion = "3.8.1";
 export const getCurrentVersion = () => moduleVersion;
 export const setCurrentVersion = version => {
   moduleVersion = version;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.7.3",
+  "version": "3.8.1",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {
@@ -302,6 +302,11 @@
       "import": "./dist/esm/Logger.js",
       "default": "./dist/cjs/Logger.js"
     },
+    "./Mailbox": {
+      "types": "./dist/dts/Mailbox.d.ts",
+      "import": "./dist/esm/Mailbox.js",
+      "default": "./dist/cjs/Mailbox.js"
+    },
     "./ManagedRuntime": {
       "types": "./dist/dts/ManagedRuntime.d.ts",
       "import": "./dist/esm/ManagedRuntime.js",
@@ -998,6 +1003,9 @@
       "Logger": [
         "./dist/dts/Logger.d.ts"
       ],
+      "Mailbox": [
+        "./dist/dts/Mailbox.d.ts"
+      ],
       "ManagedRuntime": [
         "./dist/dts/ManagedRuntime.d.ts"
       ],

package/src/Deferred.ts

@@ -10,8 +10,8 @@ import * as core from "./internal/core.js"
 import * as internal from "./internal/deferred.js"
 import type * as MutableRef from "./MutableRef.js"
 import type * as Option from "./Option.js"
-import type { Pipeable } from "./Pipeable.js"
 import type * as Types from "./Types.js"
+import type * as Unify from "./Unify.js"
 
 /**
  * @since 2.0.0
@@ -37,11 +37,30 @@ export type DeferredTypeId = typeof DeferredTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Deferred<in out A, in out E = never> extends Deferred.Variance<A, E>, Pipeable {
+export interface Deferred<in out A, in out E = never> extends Effect.Effect<A, E>, Deferred.Variance<A, E> {
   /** @internal */
   readonly state: MutableRef.MutableRef<internal.State<A, E>>
   /** @internal */
   readonly blockingOn: FiberId.FiberId
+  readonly [Unify.typeSymbol]?: unknown
+  readonly [Unify.unifySymbol]?: DeferredUnify<this>
+  readonly [Unify.ignoreSymbol]?: DeferredUnifyIgnore
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface DeferredUnify<A extends { [Unify.typeSymbol]?: any }> extends Effect.EffectUnify<A> {
+  Deferred?: () => Extract<A[Unify.typeSymbol], Deferred<any>>
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface DeferredUnifyIgnore extends Effect.EffectUnifyIgnore {
+  Effect?: true
 }
 
 /**

package/src/Duration.ts

@@ -282,23 +282,61 @@ export const weeks = (weeks: number): Duration => make(weeks * 604_800_000)
  * @since 2.0.0
  * @category getters
  */
-export const toMillis = (self: DurationInput): number => {
-  const _self = decode(self)
-  switch (_self.value._tag) {
-    case "Infinity":
-      return Infinity
-    case "Nanos":
-      return Number(_self.value.nanos) / 1_000_000
-    case "Millis":
-      return _self.value.millis
-  }
-}
+export const toMillis = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis,
+    onNanos: (nanos) => Number(nanos) / 1_000_000
+  })
 
 /**
  * @since 2.0.0
  * @category getters
  */
-export const toSeconds = (self: DurationInput): number => toMillis(self) / 1_000
+export const toSeconds = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis / 1_000,
+    onNanos: (nanos) => Number(nanos) / 1_000_000_000
+  })
+
+/**
+ * @since 3.8.0
+ * @category getters
+ */
+export const toMinutes = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis / 60_000,
+    onNanos: (nanos) => Number(nanos) / 60_000_000_000
+  })
+
+/**
+ * @since 3.8.0
+ * @category getters
+ */
+export const toHours = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis / 3_600_000,
+    onNanos: (nanos) => Number(nanos) / 3_600_000_000_000
+  })
+
+/**
+ * @since 3.8.0
+ * @category getters
+ */
+export const toDays = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis / 86_400_000,
+    onNanos: (nanos) => Number(nanos) / 86_400_000_000_000
+  })
+
+/**
+ * @since 3.8.0
+ * @category getters
+ */
+export const toWeeks = (self: DurationInput): number =>
+  match(self, {
+    onMillis: (millis) => millis / 604_800_000,
+    onNanos: (nanos) => Number(nanos) / 604_800_000_000_000
+  })
 
 /**
  * Get the duration in nanoseconds as a bigint.
@@ -501,6 +539,7 @@ const _max = order.max(Order)
 
 /**
  * @since 2.0.0
+ * @category order
  */
 export const max: {
   (that: DurationInput): (self: DurationInput) => Duration
@@ -511,6 +550,7 @@ const _clamp = order.clamp(Order)
 
 /**
  * @since 2.0.0
+ * @category order
  */
 export const clamp: {
   (options: {
@@ -707,10 +747,54 @@ export const equals: {
   (self: DurationInput, that: DurationInput): boolean
 } = dual(2, (self: DurationInput, that: DurationInput): boolean => Equivalence(decode(self), decode(that)))
 
+/**
+ * Converts a `Duration` to its parts.
+ *
+ * @since 3.8.0
+ * @category conversions
+ */
+export const parts = (self: DurationInput): {
+  days: number
+  hours: number
+  minutes: number
+  seconds: number
+  millis: number
+  nanos: number
+} => {
+  const duration = decode(self)
+  if (duration.value._tag === "Infinity") {
+    return {
+      days: Infinity,
+      hours: Infinity,
+      minutes: Infinity,
+      seconds: Infinity,
+      millis: Infinity,
+      nanos: Infinity
+    }
+  }
+
+  const nanos = unsafeToNanos(duration)
+  const ms = nanos / bigint1e6
+  const sec = ms / bigint1e3
+  const min = sec / bigint60
+  const hr = min / bigint60
+  const days = hr / bigint24
+
+  return {
+    days: Number(days),
+    hours: Number(hr % bigint24),
+    minutes: Number(min % bigint60),
+    seconds: Number(sec % bigint60),
+    millis: Number(ms % bigint1e3),
+    nanos: Number(nanos % bigint1e6)
+  }
+}
+
 /**
  * Converts a `Duration` to a human readable string.
- * @since 2.0.0
  *
+ * @since 2.0.0
+ * @category conversions
  * @example
  * import { Duration } from "effect"
  *
@@ -719,42 +803,35 @@ export const equals: {
  */
 export const format = (self: DurationInput): string => {
   const duration = decode(self)
-  const parts = []
-
   if (duration.value._tag === "Infinity") {
     return "Infinity"
   }
 
-  const nanos = unsafeToNanos(duration)
-
-  if (nanos % bigint1e6) {
-    parts.push(`${nanos % bigint1e6}ns`)
+  const fragments = parts(duration)
+  const pieces = []
+  if (fragments.days !== 0) {
+    pieces.push(`${fragments.days}d`)
   }
 
-  const ms = nanos / bigint1e6
-  if (ms % bigint1e3 !== bigint0) {
-    parts.push(`${ms % bigint1e3}ms`)
+  if (fragments.hours !== 0) {
+    pieces.push(`${fragments.hours}h`)
   }
 
-  const sec = ms / bigint1e3
-  if (sec % bigint60 !== bigint0) {
-    parts.push(`${sec % bigint60}s`)
+  if (fragments.minutes !== 0) {
+    pieces.push(`${fragments.minutes}m`)
   }
 
-  const min = sec / bigint60
-  if (min % bigint60 !== bigint0) {
-    parts.push(`${min % bigint60}m`)
+  if (fragments.seconds !== 0) {
+    pieces.push(`${fragments.seconds}s`)
   }
 
-  const hr = min / bigint60
-  if (hr % bigint24 !== bigint0) {
-    parts.push(`${hr % bigint24}h`)
+  if (fragments.millis !== 0) {
+    pieces.push(`${fragments.millis}ms`)
   }
 
-  const days = hr / bigint24
-  if (days !== bigint0) {
-    parts.push(`${days}d`)
+  if (fragments.nanos !== 0) {
+    pieces.push(`${fragments.nanos}ns`)
   }
 
-  return parts.reverse().join(" ")
+  return pieces.join(" ")
 }

package/src/Effect.ts

@@ -5374,6 +5374,8 @@ export interface Permit {
 export interface Semaphore {
   /** when the given amount of permits are available, run the effect and release the permits when finished */
   withPermits(permits: number): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R>
+  /** only if the given permits are available, run the effect and release the permits when finished */
+  withPermitsIfAvailable(permits: number): <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>, E, R>
   /** take the given amount of permits, suspending if they are not yet available */
   take(permits: number): Effect<number>
   /** release the given amount of permits, and return the resulting available permits */
@@ -5398,6 +5400,56 @@ export const unsafeMakeSemaphore: (permits: number) => Semaphore = circular.unsa
  */
 export const makeSemaphore: (permits: number) => Effect<Semaphore> = circular.makeSemaphore
 
+// -------------------------------------------------------------------------------------
+// latch
+// -------------------------------------------------------------------------------------
+
+/**
+ * @category latch
+ * @since 3.8.0
+ */
+export interface Latch {
+  /** open the latch, releasing all fibers waiting on it */
+  readonly open: Effect<void>
+  /** release all fibers waiting on the latch, without opening it */
+  readonly release: Effect<void>
+  /** wait for the latch to be opened */
+  readonly await: Effect<void>
+  /** close the latch */
+  readonly close: Effect<void>
+  /** only run the given effect when the latch is open */
+  readonly whenOpen: <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R>
+}
+
+/**
+ * @category latch
+ * @since 3.8.0
+ */
+export const unsafeMakeLatch: (open?: boolean | undefined) => Latch = circular.unsafeMakeLatch
+
+/**
+ * @category latch
+ * @since 3.8.0
+ * @example
+ * import { Effect } from "effect"
+ *
+ * Effect.gen(function*() {
+ *   // Create a latch, starting in the closed state
+ *   const latch = yield* Effect.makeLatch(false)
+ *
+ *   // Fork a fiber that logs "open sesame" when the latch is opened
+ *   const fiber = yield* Effect.log("open sesame").pipe(
+ *     latch.whenOpen,
+ *     Effect.fork
+ *   )
+ *
+ *   // Open the latch
+ *   yield* latch.open
+ *   yield* fiber.await
+ * })
+ */
+export const makeLatch: (open?: boolean | undefined) => Effect<Latch, never, never> = circular.makeLatch
+
 // -------------------------------------------------------------------------------------
 // execution
 // -------------------------------------------------------------------------------------

package/src/Fiber.ts

@@ -2,6 +2,8 @@
  * @since 2.0.0
  */
 import type * as Cause from "./Cause.js"
+import type { Context } from "./Context.js"
+import type { DefaultServices } from "./DefaultServices.js"
 import type * as Effect from "./Effect.js"
 import type * as Either from "./Either.js"
 import type * as Exit from "./Exit.js"
@@ -16,10 +18,13 @@ import * as internal from "./internal/fiber.js"
 import * as fiberRuntime from "./internal/fiberRuntime.js"
 import type * as Option from "./Option.js"
 import type * as order from "./Order.js"
-import type { Pipeable } from "./Pipeable.js"
 import type * as RuntimeFlags from "./RuntimeFlags.js"
+import type { Scheduler } from "./Scheduler.js"
 import type * as Scope from "./Scope.js"
+import type { Supervisor } from "./Supervisor.js"
+import type { AnySpan, Tracer } from "./Tracer.js"
 import type * as Types from "./Types.js"
+import type * as Unify from "./Unify.js"
 
 /**
  * @since 2.0.0
@@ -57,7 +62,7 @@ export type RuntimeFiberTypeId = typeof RuntimeFiberTypeId
  * @since 2.0.0
  * @category models
  */
-export interface Fiber<out A, out E = never> extends Fiber.Variance<A, E>, Pipeable {
+export interface Fiber<out A, out E = never> extends Effect.Effect<A, E>, Fiber.Variance<A, E> {
   /**
    * The identity of the fiber.
    */
@@ -92,6 +97,26 @@ export interface Fiber<out A, out E = never> extends Fiber.Variance<A, E>, Pipea
    * resume immediately. Otherwise, the effect will resume when the fiber exits.
    */
   interruptAsFork(fiberId: FiberId.FiberId): Effect.Effect<void>
+
+  readonly [Unify.typeSymbol]?: unknown
+  readonly [Unify.unifySymbol]?: FiberUnify<this>
+  readonly [Unify.ignoreSymbol]?: FiberUnifyIgnore
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface FiberUnify<A extends { [Unify.typeSymbol]?: any }> extends Effect.EffectUnify<A> {
+  Fiber?: () => A[Unify.typeSymbol] extends Fiber<infer A0, infer E0> | infer _ ? Fiber<A0, E0> : never
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface FiberUnifyIgnore extends Effect.EffectUnifyIgnore {
+  Effect?: true
 }
 
 /**
@@ -155,6 +180,57 @@ export interface RuntimeFiber<out A, out E = never> extends Fiber<A, E>, Fiber.R
    * resume immediately. Otherwise, the effect will resume when the fiber exits.
    */
   unsafeInterruptAsFork(fiberId: FiberId.FiberId): void
+
+  /**
+   * Gets the current context
+   */
+  get currentContext(): Context<never>
+
+  /**
+   * Gets the current context
+   */
+  get currentDefaultServices(): Context<DefaultServices>
+
+  /**
+   * Gets the current scheduler
+   */
+  get currentScheduler(): Scheduler
+
+  /**
+   * Gets the current tracer
+   */
+  get currentTracer(): Tracer
+
+  /**
+   * Gets the current span
+   */
+  get currentSpan(): AnySpan | undefined
+
+  /**
+   * Gets the current supervisor
+   */
+  get currentSupervisor(): Supervisor<unknown>
+
+  readonly [Unify.typeSymbol]?: unknown
+  readonly [Unify.unifySymbol]?: RuntimeFiberUnify<this>
+  readonly [Unify.ignoreSymbol]?: RuntimeFiberUnifyIgnore
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface RuntimeFiberUnify<A extends { [Unify.typeSymbol]?: any }> extends FiberUnify<A> {
+  RuntimeFiber?: () => A[Unify.typeSymbol] extends RuntimeFiber<infer A0, infer E0> | infer _ ? RuntimeFiber<A0, E0>
+    : never
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface RuntimeFiberUnifyIgnore extends FiberUnifyIgnore {
+  Fiber?: true
 }
 
 /**

package/src/FiberRef.ts

@@ -18,7 +18,6 @@ import type * as LogLevel from "./LogLevel.js"
 import type * as LogSpan from "./LogSpan.js"
 import type * as MetricLabel from "./MetricLabel.js"
 import type * as Option from "./Option.js"
-import type { Pipeable } from "./Pipeable.js"
 import type * as Request from "./Request.js"
 import type * as RuntimeFlags from "./RuntimeFlags.js"
 import * as Scheduler from "./Scheduler.js"
@@ -26,6 +25,7 @@ import type * as Scope from "./Scope.js"
 import type * as Supervisor from "./Supervisor.js"
 import type * as Tracer from "./Tracer.js"
 import type * as Types from "./Types.js"
+import type * as Unify from "./Unify.js"
 
 /**
  * @since 2.0.0
@@ -43,7 +43,7 @@ export type FiberRefTypeId = typeof FiberRefTypeId
  * @since 2.0.0
  * @category model
  */
-export interface FiberRef<in out A> extends Variance<A>, Pipeable {
+export interface FiberRef<in out A> extends Effect.Effect<A>, Variance<A> {
   /** @internal */
   readonly initial: A
   /** @internal */
@@ -56,6 +56,25 @@ export interface FiberRef<in out A> extends Variance<A>, Pipeable {
   readonly fork: unknown
   /** @internal */
   join(oldValue: A, newValue: A): A
+  readonly [Unify.typeSymbol]?: unknown
+  readonly [Unify.unifySymbol]?: FiberRefUnify<this>
+  readonly [Unify.ignoreSymbol]?: FiberRefUnifyIgnore
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface FiberRefUnify<A extends { [Unify.typeSymbol]?: any }> extends Effect.EffectUnify<A> {
+  FiberRef?: () => Extract<A[Unify.typeSymbol], FiberRef<any>>
+}
+
+/**
+ * @category models
+ * @since 3.8.0
+ */
+export interface FiberRefUnifyIgnore extends Effect.EffectUnifyIgnore {
+  Effect?: true
 }
 
 /**

package/src/Logger.ts

@@ -238,6 +238,28 @@ export const batched: {
  */
 export const withConsoleLog: <M, O>(self: Logger<M, O>) => Logger<M, void> = fiberRuntime.loggerWithConsoleLog
 
+/**
+ * Takes a `Logger<M, O>` and returns a logger that calls the respective `Console` method
+ * based on the log level.
+ *
+ * @example
+ * import { Logger, Effect } from "effect"
+ *
+ * const loggerLayer = Logger.replace(
+ *   Logger.defaultLogger,
+ *   Logger.withLeveledConsole(Logger.stringLogger),
+ * )
+ *
+ * Effect.gen(function* () {
+ *   yield* Effect.logError("an error")
+ *   yield* Effect.logInfo("an info")
+ * }).pipe(Effect.provide(loggerLayer))
+ *
+ * @since 3.8.0
+ * @category console
+ */
+export const withLeveledConsole: <M, O>(self: Logger<M, O>) => Logger<M, void> = fiberRuntime.loggerWithLeveledLog
+
 /**
  * @since 2.0.0
  * @category console
@@ -475,6 +497,14 @@ export const prettyLogger: (
   }
 ) => Logger<unknown, void> = internal.prettyLogger
 
+/**
+ * A default version of the pretty logger.
+ *
+ * @since 3.8.0
+ * @category constructors
+ */
+export const prettyLoggerDefault: Logger<unknown, void> = internal.prettyLoggerDefault
+
 /**
  * The structured logger provides detailed log outputs, structured in a way that
  * retains comprehensive traceability of the events, suitable for deeper