Module Tp2::ExtendMapSecond

Maps the set of second values in the set of tuples that satisfy the given predicate, against a mapper function, and use the result to add a column to this tuple set.

Sibling function of ExtendRelateSecond, which operates on “relations” instead of “functions.”

Example:

predicate hasName(Person person, string name) { ... }
string getInitials(string name) { ... }

// Selects (person, name, initials)
import Tp2<Person, string, hasName/2>
  ::ExtendMapSecond<string, getInitials/1>
  ::Query