@systemfsoftware/effect-daemon-spec 1.0.0 → 3.0.0

package/dist/index.d.ts

@@ -1,15 +1,4 @@
 import { Cause, Context, Duration, Effect, Latch, Layer, Metric, Option, Schedule, Schema, Scope, Stream } from "effect";
-//#region src/Backoff.d.ts
-declare const cappedBackoff: (base: Duration.Input, cap: Duration.Input) => Schedule.Schedule<Duration.Duration>;
-//#endregion
-//#region src/Brands.d.ts
-declare const WorkerTypeId: unique symbol;
-type WorkerTypeId = typeof WorkerTypeId;
-declare const SupervisorTypeId: unique symbol;
-type SupervisorTypeId = typeof SupervisorTypeId;
-declare const DynamicSpecTypeId: unique symbol;
-type DynamicSpecTypeId = typeof DynamicSpecTypeId;
-//#endregion
 //#region src/DaemonHealth.schema.d.ts
 declare const DynamicLimitExceeded_base: Schema.Class<DynamicLimitExceeded, Schema.TaggedStruct<"DynamicLimitExceeded", {
   readonly limit: Schema.Int;
@@ -39,6 +28,51 @@ type ChildRef = {
   readonly removed: Effect.Effect<void>;
 };
 //#endregion
+//#region src/LeaderLock.schema.d.ts
+declare const LeaderLockNotAcquired_base: Schema.Class<LeaderLockNotAcquired, Schema.TaggedStruct<"LeaderLockNotAcquired", {
+  readonly key: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+declare class LeaderLockNotAcquired extends LeaderLockNotAcquired_base {}
+declare const LeaderLockInfraError_base: Schema.Class<LeaderLockInfraError, Schema.TaggedStruct<"LeaderLockInfraError", {
+  readonly key: Schema.String;
+  readonly cause: Schema.Unknown;
+}>, import("effect/Cause").YieldableError>;
+declare class LeaderLockInfraError extends LeaderLockInfraError_base {}
+type LeaderLockAcquireError = LeaderLockNotAcquired | LeaderLockInfraError;
+//#endregion
+//#region src/LockPrimitive.schema.d.ts
+declare const LockPrimitiveError_base: Schema.Class<LockPrimitiveError, Schema.TaggedStruct<"LockPrimitiveError", {
+  readonly key: Schema.String;
+  readonly cause: Schema.Unknown;
+}>, import("effect/Cause").YieldableError>;
+declare class LockPrimitiveError extends LockPrimitiveError_base {}
+//#endregion
+//#region src/LeaderLockAdapter.d.ts
+interface LeaderLockService {
+  readonly withLock: <A, E, R>(key: string, self: Effect.Effect<A, E, R>) => Effect.Effect<Option.Option<A>, E | LeaderLockInfraError, R>;
+}
+declare const LeaderLock_base: Context.ServiceClass<LeaderLock, "@systemfsoftware/effect-daemon-spec/LeaderLockAdapter/LeaderLock", LeaderLockService>;
+declare class LeaderLock extends LeaderLock_base {
+  static readonly Noop: Layer.Layer<LeaderLock>;
+}
+interface LockPrimitiveService {
+  readonly tryAcquire: (key: string) => Effect.Effect<boolean, LockPrimitiveError, Scope.Scope>;
+}
+declare const LockPrimitive_base: Context.ServiceClass<LockPrimitive, "@systemfsoftware/effect-daemon-spec/LeaderLockAdapter/LockPrimitive", LockPrimitiveService>;
+declare class LockPrimitive extends LockPrimitive_base {}
+declare const LeaderLockFromPrimitive: Layer.Layer<LeaderLock, never, LockPrimitive>;
+//#endregion
+//#region src/Backoff.d.ts
+declare const cappedBackoff: (base: Duration.Input, cap: Duration.Input) => Schedule.Schedule<Duration.Duration>;
+//#endregion
+//#region src/Brands.d.ts
+declare const WorkerTypeId: unique symbol;
+type WorkerTypeId = typeof WorkerTypeId;
+declare const SupervisorTypeId: unique symbol;
+type SupervisorTypeId = typeof SupervisorTypeId;
+declare const DynamicSpecTypeId: unique symbol;
+type DynamicSpecTypeId = typeof DynamicSpecTypeId;
+//#endregion
 //#region src/DaemonMetrics.d.ts
 declare const supervisorRestartsCounter: Metric.Counter<number>;
 declare const supervisorExhaustionsCounter: Metric.Counter<number>;
@@ -97,6 +131,26 @@ declare const DaemonReporter_base: Context.ServiceClass<DaemonReporter, "@system
 declare class DaemonReporter extends DaemonReporter_base {}
 declare const Noop: Layer.Layer<DaemonReporter>;
 //#endregion
+//#region src/LoopTags.d.ts
+/**
+ * Discriminants on the public Worker loop variants.
+ *
+ * These tags are part of the published type identity of `poll`, `stream`,
+ * and `subscription`. They are not unpublished wiring.
+ */
+declare const PollLoopTag: {
+  readonly _tag: 'Poll';
+};
+type PollLoopTag = typeof PollLoopTag;
+declare const StreamLoopTag: {
+  readonly _tag: 'Stream';
+};
+type StreamLoopTag = typeof StreamLoopTag;
+declare const SubscriptionLoopTag: {
+  readonly _tag: 'Subscription';
+};
+type SubscriptionLoopTag = typeof SubscriptionLoopTag;
+//#endregion
 //#region src/DaemonSpec.schema.d.ts
 type LockConfig = {
   mode: 'none';
@@ -133,19 +187,16 @@ interface ReporterPolicyHooks {
   readonly onRestart?: (cause: Cause.Cause<never>) => Effect.Effect<void>;
   readonly onExhausted?: (cause: Cause.Cause<never>) => Effect.Effect<void>;
 }
-type PollLoop<E, R> = {
-  readonly _tag: 'Poll';
+interface PollLoop<E, R> extends PollLoopTag {
   readonly gate: Effect.Effect<Option.Option<Effect.Effect<void, E, R>>, E, R>;
   readonly interval: Duration.Input;
-};
-type StreamLoop<E, R> = {
-  readonly _tag: 'Stream';
+}
+interface StreamLoop<E, R> extends StreamLoopTag {
   readonly stream: Stream.Stream<unknown, E, R>;
-};
-type SubscriptionLoop<E, R> = {
-  readonly _tag: 'Subscription';
+}
+interface SubscriptionLoop<E, R> extends SubscriptionLoopTag {
   readonly acquire: Effect.Effect<void, E, R>;
-};
+}
 type LoopShape<E, R> = PollLoop<E, R> | StreamLoop<E, R> | SubscriptionLoop<E, R>;
 interface Worker<E, R, L extends LockConfig = LockConfig> {
   readonly [WorkerTypeId]: WorkerTypeId;
@@ -190,61 +241,53 @@ interface SupervisorOpts<E, R, L extends LockConfig> {
   readonly reporter?: ReporterPolicyHooks;
 }
 //#endregion
-//#region src/LeaderLock.schema.d.ts
-declare const LeaderLockNotAcquired_base: Schema.Class<LeaderLockNotAcquired, Schema.TaggedStruct<"LeaderLockNotAcquired", {
-  readonly key: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-declare class LeaderLockNotAcquired extends LeaderLockNotAcquired_base {}
-declare const LeaderLockInfraError_base: Schema.Class<LeaderLockInfraError, Schema.TaggedStruct<"LeaderLockInfraError", {
-  readonly key: Schema.String;
-  readonly cause: Schema.Unknown;
-}>, import("effect/Cause").YieldableError>;
-declare class LeaderLockInfraError extends LeaderLockInfraError_base {}
-type LeaderLockAcquireError = LeaderLockNotAcquired | LeaderLockInfraError;
-//#endregion
-//#region src/LockPrimitive.schema.d.ts
-declare const LockPrimitiveError_base: Schema.Class<LockPrimitiveError, Schema.TaggedStruct<"LockPrimitiveError", {
-  readonly key: Schema.String;
-  readonly cause: Schema.Unknown;
-}>, import("effect/Cause").YieldableError>;
-declare class LockPrimitiveError extends LockPrimitiveError_base {}
+//#region src/RunDynamic.d.ts
+declare const dynamic$1: <E, R, Args>(spec: DynamicSpec<E, R, Args>) => Effect.Effect<DynamicHandle<Args, R | LeaderLock | DaemonReporter | Scope.Scope>, never, R | LeaderLock | DaemonReporter | Scope.Scope>;
 //#endregion
-//#region src/LeaderLockAdapter.d.ts
-interface LeaderLockService {
-  readonly withLock: <A, E, R>(key: string, self: Effect.Effect<A, E, R>) => Effect.Effect<Option.Option<A>, E | LeaderLockInfraError, R>;
-}
-declare const LeaderLock_base: Context.ServiceClass<LeaderLock, "@systemfsoftware/effect-daemon-spec/LeaderLockAdapter/LeaderLock", LeaderLockService>;
-declare class LeaderLock extends LeaderLock_base {
-  static readonly Noop: Layer.Layer<LeaderLock>;
-}
-interface LockPrimitiveService {
-  readonly tryAcquire: (key: string) => Effect.Effect<boolean, LockPrimitiveError, Scope.Scope>;
-}
-declare const LockPrimitive_base: Context.ServiceClass<LockPrimitive, "@systemfsoftware/effect-daemon-spec/LeaderLockAdapter/LockPrimitive", LockPrimitiveService>;
-declare class LockPrimitive extends LockPrimitive_base {}
-declare const LeaderLockFromPrimitive: Layer.Layer<LeaderLock, never, LockPrimitive>;
+//#region src/RunSupervisor.d.ts
+/**
+ * The supervisor: acquires the `DaemonReporter` and — unless the lock mode is none —
+ * the `LeaderLock` capabilities at the composition root, then hands them down to the
+ * supervisor body via the lock binding. The body itself only ever sees the service
+ * values.
+ */
+declare const supervisor: <E, R>(s: Supervisor<E, R, LockConfig>) => Effect.Effect<SupervisorHealth, never, R | DaemonReporter | LeaderLock | Scope.Scope>;
 //#endregion
-//#region src/internal/BuildDynamicExecutor.d.ts
-declare const dynamic$1: <E, R, Args>(spec: DynamicSpec<E, R, Args>) => Effect.Effect<DynamicHandle<Args, R | LeaderLock | DaemonReporter | Scope.Scope>, never, R | LeaderLock | DaemonReporter | Scope.Scope>;
+//#region src/RunWorker.d.ts
+/**
+ * Boots a worker. The leader-lock capability is acquired here, at the composition
+ * root, and handed down as part of the lock binding: the executor behind this
+ * entry point never sees the tag. A worker whose lock is `{ mode: 'none' }`
+ * takes no lock at all.
+ */
+declare const worker: {
+  <E, R>(w: Worker<E, R, {
+    mode: 'none';
+  }>): Effect.Effect<DaemonHealth, never, R | Scope.Scope>;
+  <E, R>(w: Worker<E, R, LockConfig>): Effect.Effect<DaemonHealth, never, R | LeaderLock | Scope.Scope>;
+};
 //#endregion
-//#region src/internal/WithLeaderLockExecutor.d.ts
+//#region src/WithLeaderLock.d.ts
 interface LeaderLockOptions {
   readonly key: string;
   readonly mode: 'required' | 'optional';
   readonly acquireRetryBackoff?: Schedule.Schedule<Duration.Duration>;
 }
+/**
+ * Runs `self` while holding the named leader lock.
+ */
 declare function withLeaderLock<A, E, R>(self: Effect.Effect<A, E, R>, options: LeaderLockOptions, lock: LeaderLock['Service']): Effect.Effect<A | void, E | LeaderLockAcquireError, R>;
 //#endregion
 //#region src/SupervisionCustom.d.ts
 declare const custom: <P>(policy: P) => Effect.Effect<P>;
 //#endregion
-//#region src/internal/SupervisionLeader.d.ts
+//#region src/SupervisionLeader.d.ts
 declare const LeaderConfig: Context.Reference<SupervisionConfig>;
 //#endregion
-//#region src/internal/SupervisionTask.d.ts
+//#region src/SupervisionTask.d.ts
 declare const TaskConfig: Context.Reference<SupervisionConfig>;
 //#endregion
-//#region src/internal/SupervisionWorker.d.ts
+//#region src/SupervisionWorker.d.ts
 declare const WorkerConfig: Context.Reference<SupervisionConfig>;
 //#endregion
 //#region src/mod.d.ts
@@ -260,31 +303,12 @@ declare const Daemon: {
   readonly stream: typeof stream;
   readonly subscription: typeof subscription;
 };
-/**
- * Boots a worker. The leader-lock capability is acquired here, at the composition
- * root, and handed down as part of the lock binding: the executor behind this
- * entry point never sees the tag. A worker whose lock is `{ mode: 'none' }`
- * takes no lock at all.
- */
-declare const worker: {
-  <E, R>(w: Worker<E, R, {
-    mode: 'none';
-  }>): Effect.Effect<DaemonHealth, never, R | Scope.Scope>;
-  <E, R>(w: Worker<E, R, LockConfig>): Effect.Effect<DaemonHealth, never, R | LeaderLock | Scope.Scope>;
-};
-/**
- * The supervisor: acquires the `DaemonReporter` and — unless the lock mode is none —
- * the `LeaderLock` capabilities at the composition root, then hands them down to the
- * supervisor body via the lock binding. The body itself only ever sees the service
- * values.
- */
-declare const supervisor: <E, R>(s: Supervisor<E, R, LockConfig>) => Effect.Effect<SupervisorHealth, never, R | DaemonReporter | LeaderLock | Scope.Scope>;
 declare const run: {
   readonly worker: {
     <E, R>(w: Worker<E, R, {
       mode: 'none';
-    }>): Effect.Effect<DaemonHealth, never, R | Scope.Scope>;
-    <E, R>(w: Worker<E, R, LockConfig>): Effect.Effect<DaemonHealth, never, R | LeaderLock | Scope.Scope>;
+    }>): Effect.Effect<DaemonHealth, never, R | import("effect/Scope").Scope>;
+    <E, R>(w: Worker<E, R, LockConfig>): Effect.Effect<DaemonHealth, never, R | LeaderLock | import("effect/Scope").Scope>;
   };
   readonly supervisor: typeof supervisor;
   readonly dynamic: typeof dynamic$1;
@@ -307,4 +331,4 @@ declare const oneForAll: <E, R, L extends LockConfig = LockConfig>(opts: Supervi
 declare const oneForOne: <E, R, L extends LockConfig = LockConfig>(opts: SupervisorOpts<E, R, L>) => Supervisor<E, R, L>;
 declare const restForOne: <E, R, L extends LockConfig = LockConfig>(opts: SupervisorOpts<E, R, L>) => Supervisor<E, R, L>;
 //#endregion
-export { BoundedIntensity, Child, ChildPolicyConfig, ChildRef, CommonOpts, Daemon, DaemonHealth, DaemonReporter, DaemonReporterService, DynamicHandle, DynamicLimitExceeded, DynamicSpec, DynamicSpecTypeId, Intensity, IntensityConfig, LeaderConfig, LeaderLock, LeaderLockAcquireError, LeaderLockFromPrimitive, LeaderLockInfraError, LeaderLockNotAcquired, type LeaderLockOptions, LeaderLockService, LockConfig, LockPolicyConfig, LockPrimitive, LockPrimitiveError, LockPrimitiveService, LoopShape, MaxChildren, Noop, PollLoop, PollOpts, ReporterPolicyHooks, StreamLoop, SubscriptionLoop, Supervision, SupervisionConfig, SupervisionPolicy, Supervisor, SupervisorHealth, SupervisorOpts, SupervisorTypeId, TaskConfig, TickPolicyConfig, TickPolicyHooks, UnboundedIntensity, Worker, WorkerConfig, WorkerTypeId, cappedBackoff, dynamic, healthStateGauge, leader, oneForAll, oneForOne, poll, restForOne, run, stream, subscription, supervision, supervisor, supervisorChildrenGauge, supervisorExhaustionsCounter, supervisorRestartsCounter, task, withLeaderLock, worker };
+export { BoundedIntensity, Child, ChildPolicyConfig, ChildRef, CommonOpts, Daemon, DaemonHealth, DaemonReporter, DaemonReporterService, DynamicHandle, DynamicLimitExceeded, DynamicSpec, DynamicSpecTypeId, Intensity, IntensityConfig, LeaderConfig, LeaderLock, LeaderLockAcquireError, LeaderLockFromPrimitive, LeaderLockInfraError, LeaderLockNotAcquired, type LeaderLockOptions, LeaderLockService, LockConfig, LockPolicyConfig, LockPrimitive, LockPrimitiveError, LockPrimitiveService, LoopShape, MaxChildren, Noop, PollLoop, PollLoopTag, PollOpts, ReporterPolicyHooks, StreamLoop, StreamLoopTag, SubscriptionLoop, SubscriptionLoopTag, Supervision, SupervisionConfig, SupervisionPolicy, Supervisor, SupervisorHealth, SupervisorOpts, SupervisorTypeId, TaskConfig, TickPolicyConfig, TickPolicyHooks, UnboundedIntensity, Worker, WorkerConfig, WorkerTypeId, cappedBackoff, dynamic, healthStateGauge, leader, oneForAll, oneForOne, poll, restForOne, run, stream, subscription, supervision, supervisor, supervisorChildrenGauge, supervisorExhaustionsCounter, supervisorRestartsCounter, task, withLeaderLock, worker };