aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/String.bruijn
diff options
context:
space:
mode:
authorMarvin Borner2023-02-24 16:52:27 +0100
committerMarvin Borner2023-02-24 16:53:38 +0100
commit4d482c44df180625a64e34019abf7796399038b0 (patch)
treea27f9d26f28d5ca843993e6f19891c28f6dcf0f4 /std/String.bruijn
parentc6b97c4c0b8624f13034e7160b7992f94dd37cc0 (diff)
Added more string/char functions
Diffstat (limited to 'std/String.bruijn')
-rw-r--r--std/String.bruijn7
1 files changed, 7 insertions, 0 deletions
diff --git a/std/String.bruijn b/std/String.bruijn
index db526fe..9267f20 100644
--- a/std/String.bruijn
+++ b/std/String.bruijn
@@ -1,5 +1,7 @@
# MIT License, Copyright (c) 2022 Marvin Borner
+:import std/Char C
+:import std/Number .
:import std/Number/Binary B
:input std/List
@@ -26,6 +28,11 @@ ni? \in?
:test ("ab" ∋ 'b') (true)
:test ("ab" ∋ 'c') (false)
+# converts a string of digits into a number
+number! from-digits ∘ (map C.number!)
+
+:test ((number! "123") =? (+123)) (true)
+
# splits string by newline character
lines z [[rec]]
rec ∅?(~broken) (^broken : empty) (^broken : (1 ~(~broken)))