Function defineExoClassKit

defineExoClassKit<
 GK extends Record<string, InterfaceGuard>,
 I extends (...args: readonly any[]) => any,
 F extends
 {
 [K in string | number | symbol]: TypeFromInterfaceGuard<GK[K]> & Methods
 },
>(
 tag: string,
 interfaceGuardKit: GK,
 init: I,
 methodsKit: {
 [K in string | number | symbol]: F[K] & ThisType<
 { facets: GuardedKit<F, GK>; state: ReturnType },
 >
 },
 options?: FarClassOptions<
 KitContext<ReturnType, GuardedKit<F, GK>>,
 GuardedKit<F, GK>,
 >,
): (...args: Parameters) => GuardedKit<F, GK>
Define an exo class kit whose facet methods are type-checked against the InterfaceGuardKit.

When the guard kit carries typed InterfaceGuards, each facet's methods are constrained to match the corresponding guard's inferred signatures.
Type Parameters
- GK extends Record<string, InterfaceGuard>
- I extends (...args: readonly any[]) => any
- F extends { [K in string | number | symbol]: TypeFromInterfaceGuard<GK[K]> & Methods }
Parameters
- tag: string
- interfaceGuardKit: GK
- init: I
- methodsKit: {
 [K in string | number | symbol]: F[K] & ThisType<
 { facets: GuardedKit<F, GK>; state: ReturnType },
 >
 }
- Optionaloptions: FarClassOptions<KitContext<ReturnType, GuardedKit<F, GK>>, GuardedKit<F, GK>>
Returns (...args: Parameters) => GuardedKit<F, GK>
- Defined in types-index.d.ts:115
defineExoClassKit any,
 F extends Record<string, Methods>,
>(
 tag: string,
 interfaceGuardKit: Record<string, InterfaceGuard> | undefined,
 init: I,
 methodsKit: {
 [K in string | number | symbol]: F[K] & ThisType<
 { facets: GuardedKit<F>; state: ReturnType },
 >
 },
 options?: FarClassOptions<
 KitContext<
 ReturnType,
 GuardedKit<
 F,
 {
 [K in string
 | number
 | symbol]: InterfaceGuard<
 { [M in string
 | number
 | symbol]: MethodGuard },
 >
 },
 >,
 >,
 GuardedKit<
 F,
 {
 [K in string
 | number
 | symbol]: InterfaceGuard<
 { [M in string
 | number
 | symbol]: MethodGuard },
 >
 },
 >,
 >,
): (...args: Parameters) => GuardedKit<F>
Define an exo class kit whose facet methods are type-checked against the InterfaceGuardKit.

When the guard kit carries typed InterfaceGuards, each facet's methods are constrained to match the corresponding guard's inferred signatures.
Type Parameters
- I extends (...args: readonly any[]) => any
- F extends Record<string, Methods>
Parameters
- tag: string
- interfaceGuardKit: Record<string, InterfaceGuard> | undefined
- init: I
- methodsKit: {
 [K in string | number | symbol]: F[K] & ThisType<
 { facets: GuardedKit<F>; state: ReturnType },
 >
 }
- Optionaloptions: FarClassOptions<
 KitContext<
 ReturnType,
 GuardedKit<
 F,
 {
 [K in string
 | number
 | symbol]: InterfaceGuard<
 { [M in string
 | number
 | symbol]: MethodGuard },
 >
 },
 >,
 >,
 GuardedKit<
 F,
 {
 [K in string
 | number
 | symbol]: InterfaceGuard<
 { [M in string
 | number
 | symbol]: MethodGuard },
 >
 },
 >,
 >
Returns (...args: Parameters) => GuardedKit<F>
- Defined in types-index.d.ts:140

Function defineExoClassKit

Type Parameters

Parameters

Returns (...args: Parameters<I>) => GuardedKit<F, GK>

Type Parameters

Parameters

Returns (...args: Parameters<I>) => GuardedKit<F>

Settings