diff options
Diffstat (limited to 'sucl/basic.dcl')
| -rw-r--r-- | sucl/basic.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl index c0d1de8..0f2118f 100644 --- a/sucl/basic.dcl +++ b/sucl/basic.dcl @@ -118,6 +118,9 @@ mappair :: .(.a -> .b) .(.c -> .d) !(.a,.c) -> (.b,.d) // Map a function onto the second element of a 2-tuple. mapsnd :: v:(.a -> .b) -> u:((.c,.a) -> (.c,.b)), [u <= v] +// Map a function on the second element of a triple. +mapsnd3 :: v:(.a -> .b) -> u:((.c,.a,.d) -> (.c,.b,.d)), [u <= v] + // Map a function onto the tail of a list. maptl :: .(x:[.a] -> u:[.a]) !w:[.a] -> v:[.a], [u <= v, w <= x] |