@typed/fx 0.0.3 → 0.0.4

package/esm/Ref/Ref.d.ts

@@ -1,40 +0,0 @@
-import { Eq } from 'hkt-ts/Typeclass/Eq';
-import * as Fx from "../Fx/index.js";
-import { InstanceOf } from "../Service/index.js";
-export interface RefApi<R, E, A> {
-    readonly get: Fx.Fx<R, E, A>;
-    readonly modify: <R2, E2, B>(f: (a: A) => Fx.Fx<R2, E2, readonly [B, A]>) => Fx.Fx<R | R2, E | E2, B>;
-}
-export declare type AnyRefApi = RefApi<any, any, any> | RefApi<never, never, any> | RefApi<never, any, any> | RefApi<any, never, any>;
-export declare type Ref<R, E, A> = ReturnType<typeof Ref<any, R, E, A>>;
-export declare type AnyRef = Ref<any, any, any> | Ref<never, never, any> | Ref<never, any, any> | Ref<any, never, any>;
-export declare type ResourcesOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _R : never;
-export declare type ErrorsOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _E : never;
-export declare type OutputOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _A : never;
-export declare function Ref<Tag extends string, R, E, A>(tag: Tag, initial: Fx.Fx<R, E, A>, Eq?: Eq<A>): {
-    new (get: RefApi<R, E, A>['get'], modify: RefApi<R, E, A>['modify']): {
-        readonly tag: Tag;
-        readonly get: RefApi<R, E, A>['get'];
-        readonly modify: RefApi<R, E, A>['modify'];
-        readonly name: string;
-        readonly id: import("../Service/index.js").Service<any>;
-    };
-    tag: Tag;
-    initial: Fx.Fx<R, E, A>;
-    Eq: Eq<A>;
-    make<S extends AnyRef>(this: S, get: RefApi<R, E, A>['get'], modify: RefApi<R, E, A>['modify']): InstanceOf<S>;
-    get<S_1 extends any>(this: S_1): Fx.Fx<R | InstanceOf<S_1>, E, A>;
-    modify<S_2 extends any, B, R2, E2>(this: S_2, f: (a: A) => Fx.Fx<R2, E2, readonly [B, A]>): Fx.Fx<R | R2 | InstanceOf<S_2>, E | E2, B>;
-    id<S_3 extends {
-        readonly name: string;
-    }>(this: S_3): import("../Service/index.js").Service<InstanceOf<S_3>>;
-    ask<S_4 extends {
-        new (...args: any): any;
-        readonly id: () => import("../Service/index.js").Service<any>;
-    }>(this: S_4): Fx.RIO<InstanceOf<S_4>, InstanceOf<S_4>>;
-    layer<S_5 extends {
-        new (...args: any): any;
-        readonly id: () => import("../Service/index.js").Service<any>;
-    }, R_1, E_1>(this: S_5, provider: Fx.Fx<import("../Scope/Scope.js").Scope | R_1, E_1, InstanceOf<S_5>>): import("../Layer/Layer.js").Layer<R_1, E_1, InstanceOf<S_5>>;
-};
-//# sourceMappingURL=Ref.d.ts.map

package/esm/Ref/Ref.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ref.d.ts","sourceRoot":"","sources":["../../src/Ref/Ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,EAAE,EAAE,MAAM,qBAAqB,CAAA;AAGpD,OAAO,KAAK,EAAE,uBAAqB;AACnC,OAAO,EAAM,UAAU,EAAE,4BAA0B;AAEnD,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EACzB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACxC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;CAC9B;AAED,oBAAY,SAAS,GACjB,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACrB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GACzB,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GACvB,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;AAE3B,oBAAY,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAE/D,oBAAY,MAAM,GACd,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAClB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GACtB,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GACpB,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;AAGxB,oBAAY,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AACrF,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AAClF,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AAGlF,wBAAgB,GAAG,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7C,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACvB,EAAE,GAAE,EAAE,CAAC,CAAC,CAAc;cASM,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UAAmB,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;sBAL9E,GAAG;sBAKS,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;yBAAmB,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;;;;SANhF,GAAG;;;yCAYR,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UACnB,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;;yDAc1B,CAAC;;;;;;;;;;;;EAQb"}

package/esm/Ref/Ref.js

@@ -1,30 +0,0 @@
-import { pipe } from 'hkt-ts';
-import { DeepEquals } from 'hkt-ts/Typeclass/Eq';
-import * as Fx from "../Fx/index.js";
-import { Id } from "../Service/index.js";
-/* eslint-enable @typescript-eslint/no-unused-vars */
-export function Ref(tag, initial, Eq = DeepEquals) {
-    return class Reference extends Id {
-        get;
-        modify;
-        static tag = tag;
-        tag = tag;
-        static initial = initial;
-        static Eq = Eq;
-        constructor(get, modify) {
-            super();
-            this.get = get;
-            this.modify = modify;
-        }
-        static make(get, modify) {
-            return new this(get, modify);
-        }
-        static get() {
-            return pipe(Fx.access((env) => env.get(this.id())), Fx.flatMap((r) => r.get));
-        }
-        static modify(f) {
-            return pipe(Fx.access((env) => env.get(this.id())), Fx.flatMap((r) => r.modify(f)));
-        }
-    };
-}
-//# sourceMappingURL=Ref.js.map

package/esm/Ref/Ref.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Ref.js","sourceRoot":"","sources":["../../src/Ref/Ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,EAAE,UAAU,EAAM,MAAM,qBAAqB,CAAA;AAGpD,OAAO,KAAK,EAAE,uBAAqB;AACnC,OAAO,EAAE,EAAE,EAAc,4BAA0B;AA2BnD,qDAAqD;AAErD,MAAM,UAAU,GAAG,CACjB,GAAQ,EACR,OAAuB,EACvB,KAAY,UAAU;IAEtB,OAAO,MAAM,SAAU,SAAQ,EAAE;QAOV;QAAsC;QAN3D,MAAM,CAAC,GAAG,GAAQ,GAAG,CAAA;QACZ,GAAG,GAAQ,GAAG,CAAA;QAEvB,MAAM,CAAC,OAAO,GAAG,OAAO,CAAA;QACxB,MAAM,CAAC,EAAE,GAAG,EAAE,CAAA;QAEd,YAAqB,GAA2B,EAAW,MAAiC;YAC1F,KAAK,EAAE,CAAA;YADY,QAAG,GAAH,GAAG,CAAwB;YAAW,WAAM,GAAN,MAAM,CAA2B;QAE5F,CAAC;QAED,MAAM,CAAC,IAAI,CAET,GAA2B,EAC3B,MAAiC;YAEjC,OAAO,IAAK,IAAqB,CAAC,GAAG,EAAE,MAAM,CAAkB,CAAA;QACjE,CAAC;QAED,MAAM,CAAC,GAAG;YACR,OAAO,IAAI,CACT,EAAE,CAAC,MAAM,CAAC,CAAC,GAAuB,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAC1D,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CACzB,CAAA;QACH,CAAC;QAED,MAAM,CAAC,MAAM,CAEX,CAA2C;YAE3C,OAAO,IAAI,CACT,EAAE,CAAC,MAAM,CAAC,CAAC,GAAuB,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAC1D,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC"}

package/esm/Ref/atomic.d.ts

@@ -1,5 +0,0 @@
-import { AnyRef, ErrorsOf, ResourcesOf } from './Ref.js';
-import { Layer } from "../Layer/Layer.js";
-import { InstanceOf } from "../Service/index.js";
-export declare function atomic<REF extends AnyRef>(ref: REF): Layer<ResourcesOf<REF>, ErrorsOf<REF>, InstanceOf<REF>>;
-//# sourceMappingURL=atomic.d.ts.map

package/esm/Ref/atomic.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../src/Ref/atomic.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAY,WAAW,EAAE,MAAM,UAAU,CAAA;AAIlE,OAAO,EAAE,KAAK,EAAE,0BAAwB;AAExC,OAAO,EAAE,UAAU,EAAE,4BAA0B;AAE/C,wBAAgB,MAAM,CAAC,GAAG,SAAS,MAAM,EACvC,GAAG,EAAE,GAAG,GACP,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAoBzD"}

package/esm/Ref/atomic.js

@@ -1,16 +0,0 @@
-import { pipe } from 'hkt-ts';
-import { Atomic } from "../Atomic/Atomic.js";
-import { Fx, fromLazy, lazy, map } from "../Fx/Fx.js";
-import { Layer } from "../Layer/Layer.js";
-import { Lock, acquire } from "../Semaphore/Semaphore.js";
-export function atomic(ref) {
-    const service = ref.id();
-    return Layer(service, () => Fx(function* () {
-        const atomic = Atomic(yield* ref.initial);
-        const get = fromLazy(atomic.get);
-        const locked = acquire(new Lock());
-        const modify = (f) => pipe(lazy(() => f(atomic.get())), map((computed) => atomic.modify(() => computed)), locked);
-        return new ref(get, modify);
-    }));
-}
-//# sourceMappingURL=atomic.js.map

package/esm/Ref/atomic.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../src/Ref/atomic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAI7B,OAAO,EAAE,MAAM,EAAE,4BAA0B;AAC3C,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAkB;AACpD,OAAO,EAAE,KAAK,EAAE,0BAAwB;AACxC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,kCAAgC;AAGxD,MAAM,UAAU,MAAM,CACpB,GAAQ;IAER,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,EAAE,CAAA;IAExB,OAAO,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CACzB,EAAE,CAAC,QAAQ,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACzC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;QAClC,MAAM,MAAM,GAAG,CACb,CAAgE,EACjD,EAAE,CACjB,IAAI,CACF,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAC3B,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,EAChD,MAAM,CACP,CAAA;QAEH,OAAO,IAAI,GAAG,CAAC,GAAU,EAAE,MAAM,CAAQ,CAAA;IAC3C,CAAC,CAAC,CACH,CAAA;AACH,CAAC"}

package/esm/Ref/index.d.ts

@@ -1,3 +0,0 @@
-export * from './atomic.js';
-export * from './Ref.js';
-//# sourceMappingURL=index.d.ts.map

package/esm/Ref/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Ref/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA"}

package/esm/Ref/index.js

@@ -1,3 +0,0 @@
-export * from './atomic.js';
-export * from './Ref.js';
-//# sourceMappingURL=index.js.map

package/esm/Ref/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Ref/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,UAAU,CAAA"}

package/esm/Scheduler/scheduled.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"scheduled.d.ts","sourceRoot":"","sources":["../../src/Scheduler/scheduled.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,0BAAwB;AACzC,OAAO,EAAE,EAAE,EAAE,oBAAkB;AAC/B,OAAO,EAAE,QAAQ,EAAE,gCAA8B;AACjD,OAAO,EAAE,aAAa,EAAE,qCAAmC;AAC3D,OAAO,EAAE,KAAK,EAAE,yBAAuB;AAEvC;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACf,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,KAAK,CAAC,KAAK,EAClB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACpD,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAiBzB"}

package/esm/Scheduler/scheduled.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"scheduled.js","sourceRoot":"","sources":["../../src/Scheduler/scheduled.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,oBAAkB;AAE/B,OAAO,EAAE,aAAa,EAAE,qCAAmC;AAG3D;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,EAAe,EACf,QAAkB,EAClB,KAAkB,EAClB,KAAqD;IAErD,OAAO,EAAE,CAAC,QAAQ,CAAC;QACjB,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,IAAI,aAAa,EAAE,CAAC,CAAA;QAElF,OAAO,QAAQ,CAAC,GAAG,KAAK,UAAU,EAAE;YAClC,uDAAuD;YACvD,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;YAEhC,yCAAyC;YACzC,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,KAAK,CAAC,CAAA;YAC9E,KAAK,GAAG,SAAS,CAAA;YACjB,QAAQ,GAAG,YAAY,CAAA;SACxB;QAED,yBAAyB;QACzB,OAAO,KAAK,CAAA;IACd,CAAC,oEAAC,CAAA;AACJ,CAAC"}

package/esm/internal.d.ts

@@ -1,18 +0,0 @@
-import { ListOf } from 'ts-toolbelt/out/Union/ListOf.js';
-/**
- * Redistribute every union and strictly exclude values.
- */
-export declare type StrictExclude<T, U> = ListOf<T> extends readonly [infer Head, ...infer Tail] ? Head extends U ? StrictExclude<Tail[number], U> : Head | StrictExclude<Tail[number], U> : never;
-/**
- * Redistribute every union and strictly extract values.
- */
-export declare type StrictExtract<T, U> = ListOf<T> extends readonly [infer Head, ...infer Tail] ? Head extends U ? Head | StrictExtract<Tail[number], U> : StrictExtract<Tail[number], U> : never;
-export declare type StrictExcludeAll<T, U extends readonly any[]> = U extends readonly [
-    infer Head,
-    ...infer Tail
-] ? StrictExcludeAll<StrictExclude<T, Head>, Tail> : T;
-export declare type StrictExtractAll<T, U extends readonly any[]> = U extends readonly [
-    infer Head,
-    ...infer Tail
-] ? StrictExtractAll<StrictExtract<T, Head>, Tail> : T;
-//# sourceMappingURL=internal.d.ts.map

package/esm/internal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../src/internal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAA;AAExD;;GAEG;AACH,oBAAY,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACpF,IAAI,SAAS,CAAC,GACZ,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAC9B,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GACvC,KAAK,CAAA;AAET;;GAEG;AACH,oBAAY,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACpF,IAAI,SAAS,CAAC,GACZ,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GACrC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAChC,KAAK,CAAA;AAET,oBAAY,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,CAAC,SAAS,SAAS;IAC7E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,GAC9C,CAAC,CAAA;AAEL,oBAAY,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,CAAC,SAAS,SAAS;IAC7E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI;CACd,GACG,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,GAC9C,CAAC,CAAA"}

package/esm/internal.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=internal.js.map

package/esm/internal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"internal.js","sourceRoot":"","sources":["../src/internal.ts"],"names":[],"mappings":""}

package/src/Ref/Ref.test.ts

@@ -1,34 +0,0 @@
-import { deepStrictEqual } from 'assert'
-
-import { pipe } from 'hkt-ts'
-
-import { Ref } from './Ref.js'
-import { atomic } from './atomic.js'
-
-import { runTest } from '@/Fx/Fx.test.js'
-import * as Fx from '@/Fx/index.js'
-
-describe(new URL(import.meta.url).pathname, () => {
-  describe(Ref.name, () => {
-    class Foo extends Ref('Foo', Fx.now(1)) {}
-    class Bar extends Ref('Bar', Fx.now(1)) {}
-
-    const foobar = pipe(
-      Foo.modify((a) => Fx.now([a + 1, a + 1] as const)),
-      Fx.flatMap((foo) =>
-        pipe(
-          Bar.get(),
-          Fx.map((bar) => foo + bar),
-        ),
-      ),
-    )
-
-    describe(atomic.name, () => {
-      it('allows providing for a Ref', async () => {
-        const test = pipe(foobar, Fx.provideLayers(atomic(Foo), atomic(Bar)))
-
-        deepStrictEqual(await runTest(test), 3)
-      })
-    })
-  })
-})

package/src/Ref/Ref.ts

@@ -1,76 +0,0 @@
-import { pipe } from 'hkt-ts'
-import { DeepEquals, Eq } from 'hkt-ts/Typeclass/Eq'
-
-import { Env } from '@/Env/Env.js'
-import * as Fx from '@/Fx/index.js'
-import { Id, InstanceOf } from '@/Service/index.js'
-
-export interface RefApi<R, E, A> {
-  readonly get: Fx.Fx<R, E, A>
-  readonly modify: <R2, E2, B>(
-    f: (a: A) => Fx.Fx<R2, E2, readonly [B, A]>,
-  ) => Fx.Fx<R | R2, E | E2, B>
-}
-
-export type AnyRefApi =
-  | RefApi<any, any, any>
-  | RefApi<never, never, any>
-  | RefApi<never, any, any>
-  | RefApi<any, never, any>
-
-export type Ref<R, E, A> = ReturnType<typeof Ref<any, R, E, A>>
-
-export type AnyRef =
-  | Ref<any, any, any>
-  | Ref<never, never, any>
-  | Ref<never, any, any>
-  | Ref<any, never, any>
-
-/* eslint-disable @typescript-eslint/no-unused-vars */
-export type ResourcesOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _R : never
-export type ErrorsOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _E : never
-export type OutputOf<T> = T extends Ref<infer _R, infer _E, infer _A> ? _A : never
-/* eslint-enable @typescript-eslint/no-unused-vars */
-
-export function Ref<Tag extends string, R, E, A>(
-  tag: Tag,
-  initial: Fx.Fx<R, E, A>,
-  Eq: Eq<A> = DeepEquals,
-) {
-  return class Reference extends Id implements RefApi<R, E, A> {
-    static tag: Tag = tag
-    readonly tag: Tag = tag
-
-    static initial = initial
-    static Eq = Eq
-
-    constructor(readonly get: RefApi<R, E, A>['get'], readonly modify: RefApi<R, E, A>['modify']) {
-      super()
-    }
-
-    static make<S extends AnyRef>(
-      this: S,
-      get: RefApi<R, E, A>['get'],
-      modify: RefApi<R, E, A>['modify'],
-    ): InstanceOf<S> {
-      return new (this as Ref<R, E, A>)(get, modify) as InstanceOf<S>
-    }
-
-    static get<S extends typeof Reference>(this: S): Fx.Fx<R | InstanceOf<S>, E, A> {
-      return pipe(
-        Fx.access((env: Env<InstanceOf<S>>) => env.get(this.id())),
-        Fx.flatMap((r) => r.get),
-      )
-    }
-
-    static modify<S extends typeof Reference, B, R2, E2>(
-      this: S,
-      f: (a: A) => Fx.Fx<R2, E2, readonly [B, A]>,
-    ): Fx.Fx<R | R2 | InstanceOf<S>, E | E2, B> {
-      return pipe(
-        Fx.access((env: Env<InstanceOf<S>>) => env.get(this.id())),
-        Fx.flatMap((r) => r.modify(f)),
-      )
-    }
-  }
-}

package/src/Ref/atomic.ts

@@ -1,33 +0,0 @@
-import { pipe } from 'hkt-ts'
-
-import { AnyRef, ErrorsOf, OutputOf, ResourcesOf } from './Ref.js'
-
-import { Atomic } from '@/Atomic/Atomic.js'
-import { Fx, fromLazy, lazy, map } from '@/Fx/Fx.js'
-import { Layer } from '@/Layer/Layer.js'
-import { Lock, acquire } from '@/Semaphore/Semaphore.js'
-import { InstanceOf } from '@/Service/index.js'
-
-export function atomic<REF extends AnyRef>(
-  ref: REF,
-): Layer<ResourcesOf<REF>, ErrorsOf<REF>, InstanceOf<REF>> {
-  const service = ref.id()
-
-  return Layer(service, () =>
-    Fx(function* () {
-      const atomic = Atomic(yield* ref.initial)
-      const get = fromLazy(atomic.get)
-      const locked = acquire(new Lock())
-      const modify = <R2, E2, B>(
-        f: (a: OutputOf<REF>) => Fx<R2, E2, readonly [B, OutputOf<REF>]>,
-      ): Fx<R2, E2, B> =>
-        pipe(
-          lazy(() => f(atomic.get())),
-          map((computed) => atomic.modify(() => computed)),
-          locked,
-        )
-
-      return new ref(get as any, modify) as any
-    }),
-  )
-}

package/src/Ref/index.ts

@@ -1,2 +0,0 @@
-export * from './atomic.js'
-export * from './Ref.js'

package/src/internal.ts

@@ -1,33 +0,0 @@
-import { ListOf } from 'ts-toolbelt/out/Union/ListOf.js'
-
-/**
- * Redistribute every union and strictly exclude values.
- */
-export type StrictExclude<T, U> = ListOf<T> extends readonly [infer Head, ...infer Tail]
-  ? Head extends U
-    ? StrictExclude<Tail[number], U>
-    : Head | StrictExclude<Tail[number], U>
-  : never
-
-/**
- * Redistribute every union and strictly extract values.
- */
-export type StrictExtract<T, U> = ListOf<T> extends readonly [infer Head, ...infer Tail]
-  ? Head extends U
-    ? Head | StrictExtract<Tail[number], U>
-    : StrictExtract<Tail[number], U>
-  : never
-
-export type StrictExcludeAll<T, U extends readonly any[]> = U extends readonly [
-  infer Head,
-  ...infer Tail,
-]
-  ? StrictExcludeAll<StrictExclude<T, Head>, Tail>
-  : T
-
-export type StrictExtractAll<T, U extends readonly any[]> = U extends readonly [
-  infer Head,
-  ...infer Tail,
-]
-  ? StrictExtractAll<StrictExtract<T, Head>, Tail>
-  : T