Type Alias ArrayPattern

ArrayPattern:
    | { variant: "Any" }
    | { variant: "Elements"; pattern: Pattern }
    | { variant: "Length"; length: Interval }

A pattern over arrays: any array, an element pattern, or a length.

Type Declaration

{ variant: "Any" }
- Readonlyvariant: "Any"
  
  The discriminant.
{ variant: "Elements"; pattern: Pattern }
- Readonlyvariant: "Elements"
  
  The discriminant.
- Readonlypattern: Pattern
  
  The pattern the array's elements must match.
{ variant: "Length"; length: Interval }
- Readonlyvariant: "Length"
  
  The discriminant.
- Readonlylength: Interval
  
  The interval the array's length must lie in.