PatternMatchResultFunctions2(R, A, B)ΒΆ

patmatch1.spad line 100

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))].