From 004f853f260d321753af32318ecdeb2c585af7b0 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 13 Mar 2024 15:22:05 +0100 Subject: Better string comparison using prefixed spaceship operator Co-authored-by: JoJoBarthold2 --- std/String.bruijn | 53 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) (limited to 'std/String.bruijn') diff --git a/std/String.bruijn b/std/String.bruijn index 645eda3..e1f4f4b 100644 --- a/std/String.bruijn +++ b/std/String.bruijn @@ -17,6 +17,59 @@ eq? eq? B.eq? ⧗ String → String → Boolean # prefix for comparing functions ?‣ &eq? +# returns eq, gt, lt depending on comparison of two numbers +compare-case B.<=>compare-case ⧗ a → b → c → String → String → d + +# returns 1 if a>b, -1 if a… compare + +<=>‣ &compare + +:test (compare "2" "2") ((+0)) +:test (compare "2" "1") ((+1)) +:test (compare "1" "2") ((-1)) +:test (compare "12" "1") ((-1)) +:test (compare "1" "12") ((+1)) + +# returns true if string is lexically less than other string +les? c-les? ∘∘ compare ⧗ String → String → Boolean + +…?… gre? + +:test ("1" >? "2") (false) +:test ("2" >? "2") (false) +:test ("3" >? "2") (true) + +# returns true if string is lexically less than or equal to other string +leq? not! ∘∘ gre? ⧗ String → String → Boolean + +…≤?… leq? + +:test ("1" ≤? "2") (true) +:test ("2" ≤? "2") (true) +:test ("3" ≤? "2") (false) + +# returns true if number is greater than or equal to other string +geq? \leq? ⧗ String → String → Boolean + +…≥?… geq? + +:test ("1" ≥? "2") (false) +:test ("2" ≥? "2") (true) +:test ("3" ≥? "2") (true) + # returns true if character is part of a string in? B.?in? ⧗ Char → String → Boolean -- cgit v1.2.3