Previous: Transfer, Up: List Combinators


2.7.13.6 Mapcur

An alternative form of recursive definition is the following.

T27
[[mapcur]] p = ((nil,nil),((nil,nil),(p,nil)))

This form is convenient for applications that cause themselves to be applied recursively to a list of arguments. It has this semantics.

P34
([[mapcur]] p) x = [[map meta]] [[distribute]] ([[field]] p) x