diff options
Diffstat (limited to 'std/Pair.bruijn')
| -rw-r--r-- | std/Pair.bruijn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/std/Pair.bruijn b/std/Pair.bruijn index a955fe2..95995ee 100644 --- a/std/Pair.bruijn +++ b/std/Pair.bruijn @@ -21,6 +21,13 @@ snd [0 ki] ⧗ (Pair a b) → b :test (~([[0]] : [[1]])) ([[1]]) +# maps both elements to a function +map [[(1 ^0) : (1 ~0)]] ⧗ (a → b) → (Pair a a) → (Pair b b) + +…<$>… map + +:test ([[1]] <$> ([[0]] : [[1]])) ([[[0]]] : [[[1]]]) + # applies both elements of a pair to a function uncurry [[1 ^0 ~0]] ⧗ (a → b → c) → (Pair a b) → c |