@fncts/io 0.0.21 → 0.0.22

package/Queue/definition.d.ts

@@ -1,31 +1,178 @@
-import { Future } from "@fncts/io/Future";
-import { IO } from "@fncts/io/IO/definition";
-import type { MutableQueue } from "../internal/MutableQueue.js";
-import type { UIO } from "../IO.js";
-import type { Strategy } from "./strategy.js";
-import type { Maybe } from "@fncts/base/data/Maybe";
-import type { AtomicBoolean } from "@fncts/base/internal/AtomicBoolean";
+import { UIO, IO } from "@fncts/io/IO/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
+export declare const EnqueueTypeId: unique symbol;
+export type EnqueueTypeId = typeof EnqueueTypeId;
+export declare const DequeueTypeId: unique symbol;
+export type DequeueTypeId = typeof DequeueTypeId;
 export declare const QueueTypeId: unique symbol;
 export type QueueTypeId = typeof QueueTypeId;
-export interface CommonQueue {
+/**
+ * A `PQueue<RA, RB, EA, EB, A, B>` is a lightweight, asynchronous queue into which values of
+ * type `A` can be enqueued and of which elements of type `B` can be dequeued. The queue's
+ * enqueueing operations may utilize an environment of type `RA` and may fail with errors of
+ * type `EA`. The dequeueing operations may utilize an environment of type `RB` and may fail
+ * with errors of type `EB`.
+ *
+ * @tsplus type fncts.io.Queue
+ */
+export interface PQueue<RA, RB, EA, EB, A, B> extends PEnqueue<RA, RB, EA, EB, A, B>, PDequeue<RA, RB, EA, EB, A, B> {
+}
+/**
+ * @tsplus type fncts.io.Queue
+ */
+export interface PQueueCommon<RA, RB, EA, EB, A, B> {
+    readonly [QueueTypeId]: QueueTypeId;
+    readonly _RA: () => RA;
+    readonly _RB: () => RB;
+    readonly _EA: () => EA;
+    readonly _EB: () => EB;
+    readonly _A: (_: A) => void;
+    readonly _B: () => B;
+}
+/**
+ * @tsplus type fncts.io.Queue
+ * @tsplus type fncts.io.Queue.Enqueue
+ */
+export interface PEnqueue<RA, RB, EA, EB, A, B> extends PQueueCommon<RA, RB, EA, EB, A, B> {
+    readonly [EnqueueTypeId]: EnqueueTypeId;
+}
+/**
+ * @tsplus type fncts.io.Queue
+ * @tsplus type fncts.io.Queue.Dequeue
+ */
+export interface PDequeue<RA, RB, EA, EB, A, B> extends PQueueCommon<RA, RB, EA, EB, A, B> {
+    readonly [DequeueTypeId]: DequeueTypeId;
+}
+/**
+ * @tsplus type fncts.io.QueueOps
+ */
+export interface QueueOps {
+}
+export declare const Queue: QueueOps;
+/**
+ * @optimize remove
+ */
+export declare function concrete<RA, RB, EA, EB, A, B>(_: PQueue<RA, RB, EA, EB, A, B>): asserts _ is QueueInternal<RA, RB, EA, EB, A, B>;
+export declare function concrete<RA, RB, EA, EB, A, B>(_: PDequeue<RA, RB, EA, EB, A, B>): asserts _ is PDequeueInternal<RA, RB, EA, EB, A, B>;
+export declare function concrete<RA, RB, EA, EB, A, B>(_: PEnqueue<RA, RB, EA, EB, A, B>): asserts _ is PEnqueueInternal<RA, RB, EA, EB, A, B>;
+export declare function concrete<RA, RB, EA, EB, A, B>(_: PQueueCommon<RA, RB, EA, EB, A, B>): asserts _ is PQueueCommonInternal<RA, RB, EA, EB, A, B>;
+/**
+ * A `Queue<RA, RB, EA, EB, A, B>` is a lightweight, asynchronous queue into which values of
+ * type `A` can be enqueued and of which elements of type `B` can be dequeued. The queue's
+ * enqueueing operations may utilize an environment of type `RA` and may fail with errors of
+ * type `EA`. The dequeueing operations may utilize an environment of type `RB` and may fail
+ * with errors of type `EB`.
+ */
+export declare abstract class QueueInternal<RA, RB, EA, EB, A, B> implements PQueue<RA, RB, EA, EB, A, B>, PEnqueue<RA, RB, EA, EB, A, B>, PDequeue<RA, RB, EA, EB, A, B> {
     readonly [QueueTypeId]: QueueTypeId;
+    readonly [DequeueTypeId]: DequeueTypeId;
+    readonly [EnqueueTypeId]: EnqueueTypeId;
+    readonly _RA: () => RA;
+    readonly _RB: () => RB;
+    readonly _EA: () => EA;
+    readonly _EB: () => EB;
+    readonly _A: (_: A) => void;
+    readonly _B: () => B;
+    /**
+     * Waits until the queue is shutdown.
+     * The `IO` returned by this method will not resume until the queue has been shutdown.
+     * If the queue is already shutdown, the `IO` will resume right away.
+     */
+    abstract readonly awaitShutdown: UIO<void>;
     /**
      * How many elements can hold in the queue
      */
-    get capacity(): number;
+    abstract readonly capacity: number;
+    /**
+     * `true` if `shutdown` has been called.
+     */
+    abstract readonly isShutdown: UIO<boolean>;
+    /**
+     * Places one value in the queue.
+     */
+    abstract offer(a: A, __tsplusTrace?: string): IO<RA, EA, boolean>;
+    /**
+     * For Bounded Queue: uses the `BackPressure` Strategy, places the values in the queue and always returns true.
+     * If the queue has reached capacity, then
+     * the fiber performing the `offerAll` will be suspended until there is room in
+     * the queue.
+     *
+     * For Unbounded Queue:
+     * Places all values in the queue and returns true.
+     *
+     * For Sliding Queue: uses `Sliding` Strategy
+     * If there is room in the queue, it places the values otherwise it removes the old elements and
+     * enqueues the new ones. Always returns true.
+     *
+     * For Dropping Queue: uses `Dropping` Strategy,
+     * It places the values in the queue but if there is no room it will not enqueue them and return false.
+     *
+     */
+    abstract offerAll(as: Iterable<A>, __tsplusTrace?: string): IO<RA, EA, boolean>;
+    /**
+     * Interrupts any fibers that are suspended on `offer` or `take`.
+     * Future calls to `offer*` and `take*` will be interrupted immediately.
+     */
+    abstract readonly shutdown: UIO<void>;
     /**
      * Retrieves the size of the queue, which is equal to the number of elements
      * in the queue. This may be negative if fibers are suspended waiting for
      * elements to be added to the queue.
      */
-    readonly size: UIO<number>;
+    abstract readonly size: UIO<number>;
+    /**
+     * Removes the oldest value in the queue. If the queue is empty, this will
+     * return a computation that resumes when an item has been added to the queue.
+     */
+    abstract readonly take: IO<RB, EB, B>;
+    /**
+     * Removes all the values in the queue and returns the list of the values. If the queue
+     * is empty returns empty list.
+     */
+    abstract readonly takeAll: IO<RB, EB, Conc<B>>;
+    /**
+     * Takes up to max number of values in the queue.
+     */
+    abstract takeUpTo(n: number, __tsplusTrace?: string): IO<RB, EB, Conc<B>>;
+}
+/**
+ * A `Queue<A>` is a lightweight, asynchronous queue into which
+ * values of type `A` can be enqueued and dequeued.
+ *
+ * @tsplus type fncts.io.Queue
+ */
+export interface Queue<A> extends PQueue<never, never, never, never, A, A> {
+}
+export declare namespace Queue {
+    /**
+     * A queue that can only be dequeued.
+     */
+    interface Dequeue<A> extends PDequeue<never, never, never, never, A, A> {
+    }
+    /**
+     * A queue that can only be enqueued.
+     */
+    interface Enqueue<A> extends PEnqueue<never, never, never, never, A, A> {
+    }
+}
+export interface PQueueCommonInternal<RA, RB, EA, EB, A, B> {
+    readonly _RA: () => RA;
+    readonly _RB: () => RB;
+    readonly _EA: () => EA;
+    readonly _EB: () => EB;
+    readonly _A: (_: A) => void;
+    readonly _B: () => B;
+    readonly [QueueTypeId]: QueueTypeId;
     /**
      * Waits until the queue is shutdown.
      * The `IO` returned by this method will not resume until the queue has been shutdown.
      * If the queue is already shutdown, the `IO` will resume right away.
      */
     readonly awaitShutdown: UIO<void>;
+    /**
+     * How many elements can hold in the queue
+     */
+    readonly capacity: number;
     /**
      * `true` if `shutdown` has been called.
      */
@@ -36,20 +183,18 @@ export interface CommonQueue {
      */
     readonly shutdown: UIO<void>;
     /**
-     * Checks whether the queue is currently full.
-     */
-    readonly isFull: UIO<boolean>;
-    /**
-     * Checks whether the queue is currently empty.
+     * Retrieves the size of the queue, which is equal to the number of elements
+     * in the queue. This may be negative if fibers are suspended waiting for
+     * elements to be added to the queue.
      */
-    readonly isEmpty: UIO<boolean>;
+    readonly size: UIO<number>;
 }
-export interface Enqueue<in A> extends CommonQueue {
-    readonly _In: (_: A) => void;
+export interface PEnqueueInternal<RA, RB, EA, EB, A, B> extends PQueueCommonInternal<RA, RB, EA, EB, A, B> {
+    readonly [EnqueueTypeId]: EnqueueTypeId;
     /**
      * Places one value in the queue.
      */
-    offer(this: this, a: A, __tsplusTrace?: string): UIO<boolean>;
+    offer(a: A, __tsplusTrace?: string): IO<RA, EA, boolean>;
     /**
      * For Bounded Queue: uses the `BackPressure` Strategy, places the values in the queue and always returns true.
      * If the queue has reached capacity, then
@@ -67,72 +212,22 @@ export interface Enqueue<in A> extends CommonQueue {
      * It places the values in the queue but if there is no room it will not enqueue them and return false.
      *
      */
-    offerAll(this: this, as: Iterable<A>, __tsplusTrace?: string): UIO<boolean>;
+    offerAll(as: Iterable<A>, __tsplusTrace?: string): IO<RA, EA, boolean>;
 }
-export interface Dequeue<out A> extends CommonQueue {
-    readonly _Out: (_: never) => A;
+export interface PDequeueInternal<RA, RB, EA, EB, A, B> extends PQueueCommonInternal<RA, RB, EA, EB, A, B> {
+    readonly [DequeueTypeId]: DequeueTypeId;
     /**
      * Removes the oldest value in the queue. If the queue is empty, this will
      * return a computation that resumes when an item has been added to the queue.
      */
-    readonly take: UIO<A>;
+    readonly take: IO<RB, EB, B>;
     /**
      * Removes all the values in the queue and returns the list of the values. If the queue
      * is empty returns empty list.
      */
-    readonly takeAll: UIO<Conc<A>>;
+    readonly takeAll: IO<RB, EB, Conc<B>>;
     /**
      * Takes up to max number of values in the queue.
      */
-    takeUpTo(this: this, max: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    /**
-     * Takes the specified number of elements from the queue. If there are fewer
-     * than the specified number of elements available, it suspends until they
-     * become available.
-     */
-    takeN(this: this, n: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    /**
-     * Takes a number of elements from the queue between the specified minimum and
-     * maximum. If there are fewer than the minimum number of elements available,
-     * suspends until at least the minimum number of elements have been collected.
-     */
-    takeBetween(this: this, min: number, max: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    /**
-     * Take the head option of values in the queue.
-     */
-    readonly poll: UIO<Maybe<A>>;
-}
-/**
- * A `Queue` is a lightweight, asynchronous queue into which values can be
- * enqueued and of which elements can be dequeued.
- *
- * @tsplus type fncts.io.Queue
- * @tsplus companion fncts.io.QueueOps
- */
-export declare class Queue<A> implements Enqueue<A>, Dequeue<A> {
-    readonly queue: MutableQueue<A>;
-    readonly takers: MutableQueue<Future<never, A>>;
-    readonly shutdownHook: Future<never, void>;
-    readonly shutdownFlag: AtomicBoolean;
-    readonly strategy: Strategy<A>;
-    readonly [QueueTypeId]: typeof QueueTypeId;
-    _In: (_: A) => void;
-    _Out: (_: never) => A;
-    constructor(queue: MutableQueue<A>, takers: MutableQueue<Future<never, A>>, shutdownHook: Future<never, void>, shutdownFlag: AtomicBoolean, strategy: Strategy<A>);
-    offer(this: this, a: A, __tsplusTrace?: string): UIO<boolean>;
-    offerAll(this: this, as: Iterable<A>, __tsplusTrace?: string): UIO<boolean>;
-    get capacity(): number;
-    size: UIO<number>;
-    awaitShutdown: import("../IO.js").IO<never, never, void>;
-    isShutdown: UIO<boolean>;
-    shutdown: UIO<void>;
-    isFull: UIO<boolean>;
-    isEmpty: UIO<boolean>;
-    take: UIO<A>;
-    takeAll: UIO<Conc<A>>;
-    takeUpTo(this: this, max: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    private takeRemainder;
-    takeBetween(this: this, min: number, max: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    takeN(this: this, n: number, __tsplusTrace?: string): UIO<Conc<A>>;
-    poll: UIO<Maybe<A>>;
+    takeUpTo(n: number, __tsplusTrace?: string): IO<RB, EB, Conc<B>>;
 }

package/Queue/internal.d.ts

@@ -1,10 +1,12 @@
-import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { Future } from "@fncts/io/Future";
+import { UIO, IO } from "@fncts/io/IO/definition";
+import { Conc } from "@fncts/base/collection/immutable/Conc";
+import { Queue } from "@fncts/io/Queue/definition";
 import type { MutableQueue } from "@fncts/io/internal/MutableQueue";
 import type { Strategy } from "@fncts/io/Queue/strategy";
+export declare function unsafeMakeQueue<A>(strategy: Strategy<A>): (queue: MutableQueue<A>) => IO<never, never, Queue<A>>;
 export declare function unsafeOfferAll<A>(q: MutableQueue<A>, as: Conc<A>): Conc<A>;
 export declare function unsafePollAll<A>(q: MutableQueue<A>): Conc<A>;
 export declare function unsafeCompletePromise<A>(p: Future<never, A>, a: A): void;
 export declare function unsafeRemove<A>(q: MutableQueue<A>, a: A): import("@fncts/base/collection/immutable/Conc").Conc<A>;
-export declare function unsafePollN<A>(q: MutableQueue<A>, max: number): Conc<A>;
 export declare function unsafeCompleteTakers<A>(strategy: Strategy<A>, queue: MutableQueue<A>, takers: MutableQueue<Future<never, A>>): void;

package/Queue.d.ts

@@ -1,3 +1,5 @@
+export * from "./Queue/api.js";
 export * from "./Queue/constructors.js";
 export * from "./Queue/definition.js";
+export * from "./Queue/internal.js";
 export * from "./Queue/strategy.js";

package/Ref/Atomic.d.ts

@@ -1,15 +1,22 @@
-import { UIO, IO } from "@fncts/io/IO/definition";
-import { Ref } from "./definition.js";
+import { Either } from "@fncts/base/data/Either/definition";
+import { UIO } from "@fncts/io/IO/definition";
+import type { PRef } from "./definition.js";
+import type { AtomicReference } from "@fncts/base/internal/AtomicReference";
+import { RefInternal } from "./definition.js";
+export declare const AtomicTypeId: unique symbol;
+export type AtomicTypeId = typeof AtomicTypeId;
 /**
  * @tsplus type fncts.io.Ref.Atomic
  */
-export declare class Atomic<A> extends Ref<A> {
-    private value;
-    readonly _tag = "Atomic";
-    constructor(value: A);
+export declare class Atomic<A> extends RefInternal<never, never, never, never, A, A> {
+    readonly value: AtomicReference<A>;
+    readonly [AtomicTypeId]: AtomicTypeId;
+    constructor(value: AtomicReference<A>);
+    match<EC, ED, C, D>(_ea: (_: never) => EC, _eb: (_: never) => ED, ca: (_: C) => Either<EC, A>, bd: (_: A) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
+    matchAll<EC, ED, C, D>(_ea: (_: never) => EC, _eb: (_: never) => ED, _ec: (_: never) => EC, ca: (_: C) => (_: A) => Either<EC, A>, bd: (_: A) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
     get unsafeGet(): A;
     unsafeSet(a: A): void;
-    get: UIO<A>;
+    get get(): UIO<A>;
     set(a: A): UIO<void>;
-    modify<B>(f: (a: A) => readonly [B, A], __tsplusTrace?: string): import("../IO.js").UIO<B>;
+    modify<B>(f: (a: A) => readonly [B, A], __tsplusTrace?: string | undefined): UIO<B>;
 }

package/Ref/Derived.d.ts

@@ -0,0 +1,16 @@
+import { Either } from "@fncts/base/data/Either/definition";
+import { FIO } from "@fncts/io/IO/definition";
+import type { Atomic } from "./Atomic.js";
+import type { PRef } from "./definition.js";
+import { IO } from "@fncts/io/IO";
+import { RefInternal } from "./definition.js";
+export declare class Derived<EA, EB, A, B> extends RefInternal<never, never, EA, EB, A, B> {
+    readonly use: <X>(f: <S>(value: Atomic<S>, getEither: (s: S) => Either<EB, B>, setEither: (a: A) => Either<EA, S>) => X) => X;
+    readonly _tag = "Derived";
+    constructor(use: <X>(f: <S>(value: Atomic<S>, getEither: (s: S) => Either<EB, B>, setEither: (a: A) => Either<EA, S>) => X) => X);
+    match<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ca: (_: C) => Either<EC, A>, bd: (_: B) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
+    matchAll<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ec: (_: EB) => EC, ca: (_: C) => (_: B) => Either<EC, A>, bd: (_: B) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
+    get get(): FIO<EB, B>;
+    set(a: A): FIO<EA, void>;
+    modify<C>(f: (b: B) => readonly [C, A], __tsplusTrace?: string | undefined): IO<never, EA | EB, C>;
+}

package/Ref/DerivedAll.d.ts

@@ -0,0 +1,18 @@
+import { Either } from "@fncts/base/data/Either/definition";
+import { FIO } from "@fncts/io/IO/definition";
+import type { Atomic } from "./Atomic.js";
+import type { PRef } from "./definition.js";
+import { IO } from "@fncts/io/IO";
+import { RefInternal } from "./definition.js";
+export declare const DerivedAllTypeId: unique symbol;
+export type DerivedAllTypeId = typeof DerivedAllTypeId;
+export declare class DerivedAll<EA, EB, A, B> extends RefInternal<never, never, EA, EB, A, B> {
+    readonly use: <X>(f: <S>(value: Atomic<S>, getEither: (s: S) => Either<EB, B>, setEither: (a: A) => (s: S) => Either<EA, S>) => X) => X;
+    readonly [DerivedAllTypeId]: DerivedAllTypeId;
+    constructor(use: <X>(f: <S>(value: Atomic<S>, getEither: (s: S) => Either<EB, B>, setEither: (a: A) => (s: S) => Either<EA, S>) => X) => X);
+    match<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ca: (_: C) => Either<EC, A>, bd: (_: B) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
+    matchAll<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ec: (_: EB) => EC, ca: (_: C) => (_: B) => Either<EC, A>, bd: (_: B) => Either<ED, D>): PRef<never, never, EC, ED, C, D>;
+    get get(): FIO<EB, B>;
+    set(a: A): FIO<EA, void>;
+    modify<C>(f: (b: B) => readonly [C, A], __tsplusTrace?: string | undefined): IO<never, EA | EB, C>;
+}

package/Ref/Synchronized/api.d.ts

@@ -0,0 +1,102 @@
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { IO } from "@fncts/io/IO/definition";
+import type { PRef } from "../definition.js";
+/**
+ * Maps and filters the `get` value of the `SRef` with the specified
+ * effectual partial function, returning a `SRef` with a `get` value that
+ * succeeds with the result of the partial function if it is defined or else
+ * fails with `None`.
+ * @tsplus pipeable fncts.io.Ref.Synchronized collectIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function collectIO<B, RC, EC, C>(f: (b: B) => Maybe<IO<RC, EC, C>>, __tsplusTrace?: string): <RA, RB, EA, EB, A>(ref: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RA, RC | RB, EA, import("@fncts/base/data/Maybe.js").Maybe<EC | EB>, A, C>;
+/**
+ * Transforms the `set` value of the `SRef` with the specified effectual
+ * function.
+ * @tsplus pipeable fncts.io.Ref.Synchronized contramapIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function contramapIO<A, RC, EC, C>(f: (c: C) => IO<RC, EC, A>, __tsplusTrace?: string): <RA, RB, EA, EB, B>(ref: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RC | RA, RB, EC | EA, EB, C, B>;
+/**
+ * Transforms both the `set` and `get` values of the `Synchronized` with the
+ * specified effectual functions.
+ * @tsplus pipeable fncts.io.Ref.Synchronized dimapIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function dimapIO<A, B, RC, EC, RD, ED, C = A, D = B>(f: (c: C) => IO<RC, EC, A>, g: (b: B) => IO<RD, ED, D>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RC | RA, RD | RB, EC | EA, ED | EB, C, D>;
+/**
+ * Filters the `set` value of the `SRef` with the specified effectual
+ * predicate, returning a `SRef` with a `set` value that succeeds if the
+ * predicate is satisfied or else fails with `None`.
+ * @tsplus pipeable fncts.io.Ref.Synchronized filterInputIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function filterInputIO<RA, RB, EA, EB, B, A, RC, EC, A1 extends A = A>(f: (a: A1) => IO<RC, EC, boolean>, __tsplusTrace?: string): (self: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RA | RC, RB, Maybe<EC | EA>, EB, A1, B>;
+/**
+ * Filters the `get` value of the `SRef` with the specified effectual predicate,
+ * returning a `SRef` with a `get` value that succeeds if the predicate is
+ * satisfied or else fails with `None`.
+ * @tsplus pipeable fncts.io.Ref.Synchronized filterOutputIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function filterOutputIO<B, RC, EC>(f: (b: B) => IO<RC, EC, boolean>, __tsplusTrace?: string): <RA, RB, EA, EB, A>(ref: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RA, RC | RB, EA, import("@fncts/base/data/Maybe.js").Maybe<EC | EB>, A, B>;
+/**
+ * Atomically modifies the `Synchronized` with the specified function, returning the
+ * value immediately before modification.
+ * @tsplus pipeable fncts.io.Ref.Synchronized getAndUpdateIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function getAndUpdateIO<A, R1, E1>(f: (a: A) => IO<R1, E1, A>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, A>;
+/**
+ * Atomically modifies the `Synchronized` with the specified function, returning the
+ * value immediately before modification.
+ */
+export declare function getAndUpdateJustIO<A, R1, E1>(f: (a: A) => Maybe<IO<R1, E1, A>>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, A>;
+/**
+ * @tsplus pipeable fncts.io.Ref.Synchronized matchIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function matchIO<EA, EB, A, B, RC, RD, EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ca: (_: C) => IO<RC, EC, A>, bd: (_: B) => IO<RD, ED, D>, __tsplusTrace?: string): <RA, RB>(self: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RC | RA, RD | RB, EC, ED, C, D>;
+/**
+ * @tsplus pipeable fncts.io.Ref.Synchronized matchAllIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function matchAllIO<EA, EB, A, B, RC, RD, EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ec: (_: EB) => EC, ca: (_: C) => (_: B) => IO<RC, EC, A>, bd: (_: B) => IO<RD, ED, D>, __tsplusTrace?: string): <RA, RB>(self: PRef.Synchronized<RA, RB, EA, EB, A, B>) => PRef.Synchronized<RC | RA | RB, RD | RB, EC, ED, C, D>;
+/**
+ * @tsplus pipeable fncts.io.Ref.Synchronized modifyIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function modifyIO<A, R1, E1, B>(f: (a: A) => IO<R1, E1, readonly [B, A]>, __tsplusTrace?: string): <RA, RB, EA, EB>(self: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, B>;
+/**
+ * Atomically modifies the `Synchronized` with the specified function, which computes
+ * a return value for the modification if the function is defined in the current value
+ * otherwise it returns a default value.
+ * This is a more powerful version of `updateJust`.
+ * @tsplus pipeable fncts.io.Ref.Synchronized modifyJustIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function modifyJustIO<A, R1, E1, B>(def: B, f: (a: A) => Maybe<IO<R1, E1, readonly [B, A]>>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, B>;
+/**
+ * Atomically modifies the `SRef` with the specified function.
+ * @tsplus pipeable fncts.io.Ref.Synchronized updateAndGetIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function updateAndGetIO<A, R1, E1>(f: (a: A) => IO<R1, E1, A>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, void>;
+/**
+ * Atomically modifies the `Synchronized` with the specified function.
+ * @tsplus pipeable fncts.io.Ref.Synchronized updateIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function updateIO<A, R1, E1>(f: (a: A) => IO<R1, E1, A>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, void>;
+/**
+ * Atomically modifies the `SRef` with the specified function.
+ * @tsplus pipeable fncts.io.Ref.Synchronized updateJustAndGetIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function updateJustAndGetIO<A, R1, E1>(f: (a: A) => Maybe<IO<R1, E1, A>>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, A>;
+/**
+ * Atomically modifies the `SRef` with the specified function.
+ * @tsplus pipeable fncts.io.Ref.Synchronized updateJustIO
+ * @tsplus location "@fncts/io/Ref/Synchronized/api"
+ */
+export declare function updateJustIO<A, R1, E1>(f: (a: A) => Maybe<IO<R1, E1, A>>, __tsplusTrace?: string): <RA, RB, EA, EB>(ref: PRef.Synchronized<RA, RB, EA, EB, A, A>) => import("../../IO.js").IO<R1 | RA | RB, E1 | EA | EB, void>;

package/Ref/Synchronized/constructors.d.ts

@@ -0,0 +1,8 @@
+import { Lazy } from "@fncts/base/data/function/definition";
+import { UIO } from "@fncts/io/IO/definition";
+import { Ref } from "@fncts/io/Ref/definition";
+/**
+ * @tsplus static fncts.io.Ref.SynchronizedOps make
+ * @tsplus location "@fncts/io/Ref/Synchronized/constructors"
+ */
+export declare function makeSynchronized<A>(a: Lazy<A>, __tsplusTrace?: string): UIO<Ref.Synchronized<A>>;

package/Ref/Synchronized/definition.d.ts

@@ -0,0 +1,44 @@
+import { TSemaphore } from "@fncts/io/TSemaphore/definition";
+import { Either } from "@fncts/base/data/Either/definition";
+import type { PRef } from "../definition.js";
+import { IO } from "@fncts/io/IO";
+import { RefInternal } from "../definition.js";
+/**
+ * @tsplus type fncts.io.Ref.Synchronized
+ */
+export interface PSynchronized<RA, RB, EA, EB, A, B> extends PRef<RA, RB, EA, EB, A, B> {
+    readonly _tag: "Synchronized";
+}
+/**
+ * @tsplus type fncts.io.Ref.SynchronizedOps
+ */
+export interface PSynchronizedOps {
+}
+/**
+ * @tsplus static fncts.io.RefOps Synchronized
+ * @tsplus location "@fncts/io/Ref/Synchronized/definition"
+ */
+export declare const Synchronized: PSynchronizedOps;
+/**
+ * @tsplus type fncts.io.Ref.Synchronized
+ */
+export declare class PSynchronizedInternal<RA, RB, EA, EB, A, B> extends RefInternal<RA, RB, EA, EB, A, B> {
+    readonly semaphore: TSemaphore;
+    readonly unsafeGet: IO<RB, EB, B>;
+    readonly unsafeSet: (a: A) => IO<RA, EA, void>;
+    readonly _tag = "Synchronized";
+    constructor(semaphore: TSemaphore, unsafeGet: IO<RB, EB, B>, unsafeSet: (a: A) => IO<RA, EA, void>);
+    get get(): IO<RB, EB, B>;
+    set(a: A, __tsplusTrace?: string): IO<RA, EA, void>;
+    modify<C>(f: (b: B) => readonly [C, A], __tsplusTrace?: string | undefined): IO<RA | RB, EA | EB, C>;
+    modifyIO<R1, E1, C>(f: (b: B) => IO<R1, E1, readonly [C, A]>, __tsplusTrace?: string): IO<RA | RB | R1, EA | EB | E1, C>;
+    matchAllIO<RC, RD, EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ec: (_: EB) => EC, ca: (_: C) => (_: B) => IO<RC, EC, A>, bd: (_: B) => IO<RD, ED, D>, __tsplusTrace?: string): PSynchronizedInternal<RA | RC | RB, RB | RD, EC, ED, C, D>;
+    matchIO<RC, RD, EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ca: (_: C) => IO<RC, EC, A>, bd: (_: B) => IO<RD, ED, D>, __tsplusTrace?: string): PSynchronizedInternal<RA | RC, RB | RD, EC, ED, C, D>;
+    match<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ca: (_: C) => Either<EC, A>, bd: (_: B) => Either<ED, D>, __tsplusTrace?: string): PSynchronizedInternal<RA, RB, EC, ED, C, D>;
+    matchAll<EC, ED, C, D>(ea: (_: EA) => EC, eb: (_: EB) => ED, ec: (_: EB) => EC, ca: (_: C) => (_: B) => Either<EC, A>, bd: (_: B) => Either<ED, D>, __tsplusTrace?: string): PSynchronizedInternal<RA, RB, EC, ED, C, D>;
+    withPermit<R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
+}
+/**
+ * @tsplus macro remove
+ */
+export declare function concreteSynchronized<RA, RB, EA, EB, A, B>(self: PSynchronized<RA, RB, EA, EB, A, B>): asserts self is PSynchronizedInternal<RA, RB, EA, EB, A, B>;

package/Ref/Synchronized.d.ts

@@ -1,72 +1,3 @@
-import { TSemaphore } from "@fncts/io/TSemaphore/definition";
-import { UIO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe/definition";
-import { IO } from "@fncts/io/IO";
-import { Ref } from "./definition.js";
-/**
- * @tsplus type fncts.io.Ref.Synchronized
- * @tsplus companion fncts.io.Ref.SynchronizedOps
- * @tsplus static fncts.io.RefOps Synchronized
- */
-export declare class Synchronized<A> extends Ref<A> {
-    readonly semaphore: TSemaphore;
-    readonly unsafeGet: UIO<A>;
-    readonly unsafeSet: (a: A) => UIO<void>;
-    constructor(semaphore: TSemaphore, unsafeGet: UIO<A>, unsafeSet: (a: A) => UIO<void>);
-    /**
-     * Reads the value from the `Ref`.
-     */
-    get get(): UIO<A>;
-    /**
-     * Writes a new value to the `Ref`, with a guarantee of immediate
-     * consistency (at some cost to performance).
-     */
-    set(a: A, __tsplusTrace?: string): UIO<void>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified function,
-     * which computes a return value for the modification. This is a more
-     * powerful version of `update`.
-     */
-    modifyIO<R, E, B>(f: (a: A) => IO<R, E, readonly [B, A]>, __tsplusTrace?: string): IO<R, E, B>;
-    modify<B>(f: (a: A) => readonly [B, A], __tsplusTrace?: string | undefined): UIO<B>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified function,
-     * returning the value immediately before modification.
-     */
-    getAndUpdateIO<R, E>(f: (a: A) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified partial
-     * function, returning the value immediately before modification. If the
-     * function is undefined on the current value it doesn't change it.
-     */
-    getAndUpdateJustIO<R, E>(f: (a: A) => Maybe<IO<R, E, A>>): IO<R, E, A>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified function,
-     * which computes a return value for the modification if the function is
-     * defined in the current value otherwise it returns a default value. This
-     * is a more powerful version of `updateSome`.
-     */
-    modifyJustIO<R, E, B>(orElse: B, f: (a: A) => Maybe<IO<R, E, readonly [B, A]>>, __tsplusTrace?: string): IO<R, E, B>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified function.
-     */
-    updateIO<R, E>(f: (a: A) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, void>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified function,
-     * returning the value immediately after modification.
-     */
-    updateAndGetIO<R, E>(f: (a: A) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified partial
-     * function. If the function is undefined on the current value it doesn't
-     * change it.
-     */
-    updateJustIO<R, E>(f: (a: A) => Maybe<IO<R, E, A>>, __tsplusTrace?: string): IO<R, E, void>;
-    /**
-     * Atomically modifies the `Ref.Synchronized` with the specified partial
-     * function. If the function is undefined on the current value it returns
-     * the old value without changing it.
-     */
-    updateJustAndGetIO<R, E>(f: (a: A) => Maybe<IO<R, E, A>>, __tsplusTrace?: string): IO<R, E, A>;
-    protected withPermit<R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
-}
+export * from "./Synchronized/api.js";
+export * from "./Synchronized/constructors.js";
+export * from "./Synchronized/definition.js";

package/Ref/api/collect.d.ts

@@ -0,0 +1,11 @@
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import type { PRef } from "../definition.js";
+/**
+ * Maps and filters the `get` value of the `Ref` with the specified partial
+ * function, returning a `Ref` with a `get` value that succeeds with the
+ * result of the partial function if it is defined or else fails with `None`.
+ * @tsplus pipeable fncts.io.Ref collect
+ * @tsplus pipeable fncts.io.Ref.Synchronized collect
+ * @tsplus location "@fncts/io/Ref/api/collect"
+ */
+export declare function collect<B, C>(pf: (_: B) => Maybe<C>, __tsplusTrace?: string): <RA, RB, EA, EB, A>(ref: PRef<RA, RB, EA, EB, A, B>) => PRef<RA, RB, EA, import("@fncts/base/data/Maybe.js").Maybe<EB>, A, C>;