Package: effect
Module: ExecutionPlan
Computes the intersection of services provided by a list of execution-plan steps.
Signature
type StepProvides<Steps, Out> = Steps extends
readonly [infer Step, ...infer Rest] ? StepProvides<
Rest,
& Out
& (
(Step extends { readonly provide: Context.Context<infer P> | Layer.Layer<infer P, infer _E, infer _R> } ? P
: unknown)
)
> :
Out
Since v3.16.1