PatternMatchResultFunctions2(R, A, B)

patmatch1.spad line 100 [edit on github]

• R : SetCategory
• A : SetCategory
• B : SetCategory

Lifts maps to pattern matching results.

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

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