Type Alias MethodGuardRest<CK, Args, OptArgs>

If the rest argument guard is not M.raw(), all rest arguments are automatically hardened and must be Passable.

type MethodGuardRest<
    CK extends "sync"
    | "async" = "sync" | "async",
    Args extends ArgGuard[] = ArgGuard[],
    OptArgs extends ArgGuard[] = ArgGuard[],
> = {
    rest: <RG extends SyncValueGuard>(
        restArgGuard: RG,
    ) => MethodGuardReturns<CK, Args, OptArgs, RG>;
}

Type Parameters

CK extends "sync" | "async" = "sync" | "async"
Args extends ArgGuard[] = ArgGuard[]
OptArgs extends ArgGuard[] = ArgGuard[]

Index

Properties

Properties

rest

rest: <RG extends SyncValueGuard>(
restArgGuard: RG,
) => MethodGuardReturns<CK, Args, OptArgs, RG>