DaemonMakeOptions<E, RUser>Configuration for Daemon.make when using the config-object form (id is separate).
export interface interface DaemonMakeOptions<E, RUser>Configuration for
Daemon.make
when using the config-object form (id is separate).
DaemonMakeOptions<function (type parameter) E in DaemonMakeOptions<E, RUser>E, function (type parameter) RUser in DaemonMakeOptions<E, RUser>RUser> {
readonly DaemonMakeOptions<E, RUser>.effect: Effect.Effect<void, E, RUser>(property) DaemonMakeOptions<E, RUser>.effect: {
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
import EffectEffect.interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<void, function (type parameter) E in DaemonMakeOptions<E, RUser>E, function (type parameter) RUser in DaemonMakeOptions<E, RUser>RUser>;
/**
* @internal Wired by {@link layer} for store-backed execution history.
* Not part of the public {@link make} API.
*/
readonly DaemonMakeOptions<E, RUser>._store?: DaemonStoreWriter<StoreScopeTag> | undefined_store?: interface DaemonStoreWriter<Tag extends StoreScopeTag = StoreScopeTag>Engine-facing daemon store recorder — Storage-free writes at run boundaries.
Built in
buildDaemonImpl
from pipe(Store.effects, Store.catchWriteErrors) with
Storage discharged once via
Store.provideContext
(queue / gate golden pattern).
DaemonStoreWriter;
/** @internal Tag SSOT paired with {@link _store}. */
readonly DaemonMakeOptions<E, RUser>._storeScopeTag?: StoreScopeTag | undefined_storeScopeTag?: StoreScopeTag;
/** @internal Success ref paired with value-returning layer builds. */
readonly DaemonMakeOptions<E, RUser>._resultRef?: SubscriptionRef.SubscriptionRef<Option.Option<unknown>>_resultRef?: import SubscriptionRefSubscriptionRef.interface SubscriptionRef<in out A>A mutable reference whose updates are serialized and published to
subscribers.
When to use
Use to observe the current value and subsequent updates as a
stream.
The SubscriptionRef namespace containing type definitions associated with
subscription references.
SubscriptionRef<import OptionOption.type Option<A> = Option.None<A> | Option.Some<A>The Option data type represents optional values. An Option<A> is either
Some<A>, containing a value of type A, or None, representing absence.
When to use
Use to represent initial values that may not yet exist
- Returning from partial functions (not defined for all inputs)
- Managing optional fields in data structures
Namespace containing utility types for Option.
When to use
Use to access type-level helpers associated with Option.
Option<unknown>>;
/** Optional polling layer for in-instance repeat cadence. */
readonly DaemonMakeOptions<E, RUser>.polling?: DaemonPollingInput | undefinedOptional polling layer for in-instance repeat cadence.
polling?: type AnyPollingLayer = Layer.Layer<
PollingTag,
never,
never
>
DaemonMakeOptions<E, RUser>.schedule?: DaemonScheduleInitializer<RUser> | AnyScheduleLayerOptional schedule layer or initializer.
When omitted, defaults to
DaemonSchedule.alwaysArmed
. Use
DaemonSchedule.empty
or
DaemonSchedule.inMemory
for an
empty store (disarmed until entries are added).
schedule?: type DaemonScheduleInitializer<
R = never
> = (
controls: DaemonScheduleControls
) => Effect.Effect<void, never, R>
A function that seeds a daemon's schedule via its
DaemonScheduleControls
.
DaemonScheduleInitializer<function (type parameter) RUser in DaemonMakeOptions<E, RUser>RUser> | type AnyScheduleLayer = Layer.Layer<
DaemonScheduleTag,
never,
never
>
DaemonMakeOptions<E, RUser>.scheduleLayer?: DaemonScheduleLayerInput | undefinedExplicit schedule service layer. When set, takes precedence over schedule.
When both schedule and scheduleLayer are omitted,
DaemonSchedule.alwaysArmed
is used.
scheduleLayer?: type AnyScheduleLayer = Layer.Layer<
DaemonScheduleTag,
never,
never
>