diff options
Diffstat (limited to 'std/Pair.bruijn')
| -rw-r--r-- | std/Pair.bruijn | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/std/Pair.bruijn b/std/Pair.bruijn index 38046c8..cca4217 100644 --- a/std/Pair.bruijn +++ b/std/Pair.bruijn @@ -9,28 +9,28 @@ pair [[[0 2 1]]] fst [0 T] # test fst with example pair of [[0]] and [[1]] -:test fst (pair [[0]] [[1]]) = [[0]] +: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]] +: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]] +: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]] +: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]] +:test (swap (pair [[0]] [[1]])) (pair [[1]] [[0]]) |