PatternMatchListAggregate(S, R, L)

patmatch1.spad line 571 [edit on github]

• S: SetCategory

• R: PatternMatchable S

• L: ListAggregate R

This package provides pattern matching functions on lists.

patternMatch: (L, Pattern S, PatternMatchListResult(S, R, L)) -> PatternMatchListResult(S, R, L)

patternMatch(l, pat, res) matches the pattern pat to the list l; res contains the variables of pat which are already matched and their matches.