Type Alias EnsureProvides<Ret, Provides>

EnsureProvides: [ProvidedIds<Provides>] extends [CoveredBy<Ret>]
    ? unknown
    : {
        "Missing declared capabilities in activate return": Exclude<
            ProvidedIds<Provides>,
            CoveredBy<Ret>,
        >;
    }

Completeness constraint for a module's activate: evaluates to unknown (no-op) when every declared capability is covered by the return type, otherwise to an unconstructible branded type naming the missing capability identifiers.

Type Parameters

Ret
Provides extends readonly AnyTag[]

Type Alias EnsureProvides<Ret, Provides>

Type Parameters

Settings