PatternMatchResultFunctions2(R, A, B)

patmatch1.spad line 100 [edit on github]

• R: SetCategory

• A: SetCategory

• B: SetCategory

Lifts maps to pattern matching results.

map: (A -> B, PatternMatchResult(R, A)) -> PatternMatchResult(R, B)

map(f, [(v1, a1), ..., (vn, an)]) returns the matching result [(v1, f(a1)), …, (vn, f(an))].