diff options
Diffstat (limited to 'std/Pair.bruijn')
| -rw-r--r-- | std/Pair.bruijn | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/std/Pair.bruijn b/std/Pair.bruijn index 75d8680..38046c8 100644 --- a/std/Pair.bruijn +++ b/std/Pair.bruijn @@ -7,20 +7,30 @@ pair [[[0 2 1]]] # extracts first expression from pair fst [0 T] + +# test fst with example pair of [[0]] and [[1]] :test fst (pair [[0]] [[1]]) = [[0]] # extracts second expression from pair snd [0 F] + +# test snd with example pair of [[0]] and [[1]] :test snd (pair [[0]] [[1]]) = [[1]] # applies both elements of a pair to a function uncurry [[1 (fst 0) (snd 0)]] + +# test uncurry with example pair of [[0]] and [[1]] and some combinator :test uncurry W (pair [[0]] [[1]]) = [[1]] # applies a function to the pair of two values curry [[[2 (pair 1 0)]]] + +# test curry with example pair of [[0]] and [[1]] and fst :test curry fst [[0]] [[1]] = [[0]] # swaps the values of a pair swap [pair (snd 0) (fst 0)] + +# test swap with example pair of [[0]] and [[1]] :test swap (pair [[0]] [[1]]) = pair [[1]] [[0]] |