diff options
Diffstat (limited to 'std/Pair.bruijn')
| -rw-r--r-- | std/Pair.bruijn | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/std/Pair.bruijn b/std/Pair.bruijn index cca4217..46302cc 100644 --- a/std/Pair.bruijn +++ b/std/Pair.bruijn @@ -5,32 +5,34 @@ # pairs two expressions into one pair [[[0 2 1]]] +(:) pair + # extracts first expression from pair -fst [0 T] +fst [0 K] # test fst with example pair of [[0]] and [[1]] -:test (fst (pair [[0]] [[1]])) ([[0]]) +:test (fst ([[0]] : [[1]])) ([[0]]) # extracts second expression from pair -snd [0 F] +snd [0 KI] # test snd with example pair of [[0]] and [[1]] -:test (snd (pair [[0]] [[1]])) ([[1]]) +:test (snd ([[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 ([[0]] : [[1]])) ([[1]]) # applies a function to the pair of two values -curry [[[2 (pair 1 0)]]] +curry [[[2 (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)] +swap [(snd 0) : (fst 0)] # test swap with example pair of [[0]] and [[1]] -:test (swap (pair [[0]] [[1]])) (pair [[1]] [[0]]) +:test (swap ([[0]] : [[1]])) ([[1]] : [[0]]) |