Package: effect
Module: Schema
Computes the decoded tuple type for a TupleWithRest.
Details
The output starts with the fixed tuple elements, continues with zero or more values decoded by the first rest schema, and includes any trailing rest schemas as fixed tuple positions.
Signature
type Type<T, Rest> = Rest extends
readonly [infer Head extends Constraint, ...infer Tail extends ReadonlyArray<Constraint>] ? Readonly<[
...T,
...Array<Head["Type"]>,
...{ readonly [K in keyof Tail]: Tail[K]["Type"] }
]> :
T
Since v3.10.0