ArraysAn array or tuple type.
Details
elements are the fixed positional elements, or tuple prefix, and each may
be optional. rest contains the variadic tail types; a single-element
rest with no elements produces a plain Array<T>. checks holds
array-specific constraints, such as minLength, maxLength, and unique checks.
Source effect/SchemaRepresentation.ts:3317 lines
export interface Arrays {
readonly Arrays._tag: "Arrays"_tag: "Arrays"
readonly Arrays.annotations?: anyannotations?: import SchemaSchema.declareAnnotations.type Schema.Annotations.Annotations = /*unresolved*/ anyAnnotations | undefined
readonly Arrays.elements: ReadonlyArray<Element>elements: interface ReadonlyArray<T>ReadonlyArray<Element>
readonly Arrays.rest: ReadonlyArray<Representation>rest: interface ReadonlyArray<T>ReadonlyArray<type Representation =
| Declaration
| Reference
| Suspend
| Null
| Undefined
| Void
| Never
| Unknown
| Any
| String
| Number
| Boolean
| BigInt
| Symbol
| Literal
| UniqueSymbol
| ObjectKeyword
| Enum
| TemplateLiteral
| Arrays
| Objects
| Union
The core tagged union of all supported schema shapes.
Details
Each variant has a _tag discriminator. Switch on _tag to handle each
shape. Most variants carry optional annotations and some carry checks
for validation constraints.
Representation>
readonly Arrays.checks: ReadonlyArray<Check<ArraysMeta>>checks: interface ReadonlyArray<T>ReadonlyArray<type Check<M> = Filter<M> | FilterGroup<M>A validation constraint attached to a type. Either a single
Filter
or a
FilterGroup
combining multiple checks.
Check<type ArraysMeta = anyMetadata union for array-specific validation checks (minLength, maxLength,
length, unique).
ArraysMeta>>
}Referenced by 2 symbols