Written as a list of sub-patterns. Matches a specimen iff the specimen is a list with exactly the same number of elements, and each subpattern matches the corresponding element. The normal E left to right scoping and execution rules apply. Each pattern may use variables defined by patterns to its left, and all variables defined by any of these patterns are variables defined by the tuple pattern as a whole. |
||||||||||||||||||||||||
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|