effect-io-ai

Package: effect
Module: Schema

Schema.TupleWithRest.Encoded

Computes the encoded tuple type for TupleWithRest.

Details

The leading tuple’s encoded elements are kept first. The encoded type of the first rest schema may repeat zero or more times, and the encoded types of any additional rest schemas become required trailing tuple elements.

Signature

type Encoded<E, Rest> = Rest extends
    readonly [infer Head extends Constraint, ...infer Tail extends ReadonlyArray<Constraint>] ? readonly [
      ...E,
      ...Array<Head["Encoded"]>,
      ...{ readonly [K in keyof Tail]: Tail[K]["Encoded"] }
    ] :
    E

Source

Since v3.10.0