diff options
author | Marvin Borner | 2023-02-24 16:52:27 +0100 |
---|---|---|
committer | Marvin Borner | 2023-02-24 16:53:38 +0100 |
commit | 4d482c44df180625a64e34019abf7796399038b0 (patch) | |
tree | a27f9d26f28d5ca843993e6f19891c28f6dcf0f4 /std/String.bruijn | |
parent | c6b97c4c0b8624f13034e7160b7992f94dd37cc0 (diff) |
Added more string/char functions
Diffstat (limited to 'std/String.bruijn')
-rw-r--r-- | std/String.bruijn | 7 |
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))) |