diff options
| author | Marvin Borner | 2024-03-13 15:22:05 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-13 15:22:05 +0100 |
| commit | 004f853f260d321753af32318ecdeb2c585af7b0 (patch) | |
| tree | 9910e17715c0a94325d3e79014cb5b5368af46a2 /std/Number/Binary.bruijn | |
| parent | 7fc946443adcef9224a3c672b5929a93489c8c93 (diff) | |
Better string comparison using prefixed spaceship operator
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de>
Diffstat (limited to 'std/Number/Binary.bruijn')
| -rw-r--r-- | std/Number/Binary.bruijn | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn index 77ce09c..064889d 100644 --- a/std/Number/Binary.bruijn +++ b/std/Number/Binary.bruijn @@ -359,7 +359,7 @@ geq? \leq? ⧗ Binary → Binary → Boolean :test ((+2b) ≥? (+2b)) (true) :test ((+3b) ≥? (+2b)) (true) -# returns eq, lt, gt depending on comparison of two numbers +# returns eq, gt, lt depending on comparison of two numbers # TODO: remove ternary conversion compare-case [[[(T.compare-case 2 1 0) ⋔ binary→ternary]]] ⧗ a → b → c → Binary → Binary → d @@ -367,12 +367,15 @@ compare-case [[[(T.compare-case 2 1 0) ⋔ binary→ternary]]] ⧗ a → b → c # also: spaceship operator compare compare-case (+0) (+1) (-1) ⧗ Binary → Binary → Number +…<=>… compare + +<=>‣ &compare + :test (compare (+2b) (+2b)) ((+0)) :test (compare (+2b) (+1b)) ((+1)) :test (compare (+1b) (+2b)) ((-1)) -…<=>… compare - +# prefix for comparing functions # returns max number of two max [[(1 ≤? 0) 0 1]] ⧗ Binary → Binary → Binary |