Take a predicate to map the output of this function according to the mapper.
Example:
bindingset[x]
int toInt(string x) { result.toString() = x }
bindingset[x]
int double(int x) { result = x * 2 }
int doubleStringNumber(string x) {
// doubleStringNumber("4") = 8, doubleStringNumber("7") = 14, etc
result = Fn1<int, string, toInt/1>::Map<int, double/1>::fn(x)
}
To map the arguments, rather than the result, use TupleX::Map
Import path
import qtil.fn.generated.FnPredicates
| fn | Get the values that have been mapped from the oginal base predicate by the mapper function. |
Parameters
| R2 | InfiniteType | |
| f2 | fn |