diff options
Diffstat (limited to 'stdlib/bytes.ml')
| -rw-r--r-- | stdlib/bytes.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/bytes.ml b/stdlib/bytes.ml index 4170ad02e..b3e7679a6 100644 --- a/stdlib/bytes.ml +++ b/stdlib/bytes.ml @@ -206,6 +206,9 @@ let mapi f s = let uppercase s = map Char.uppercase s let lowercase s = map Char.lowercase s +let uppercase_ascii s = map Char.uppercase_ascii s +let lowercase_ascii s = map Char.lowercase_ascii s + let apply1 f s = if length s = 0 then s else begin let r = copy s in @@ -216,6 +219,9 @@ let apply1 f s = let capitalize s = apply1 Char.uppercase s let uncapitalize s = apply1 Char.lowercase s +let capitalize_ascii s = apply1 Char.uppercase_ascii s +let uncapitalize_ascii s = apply1 Char.lowercase_ascii s + let rec index_rec s lim i c = if i >= lim then raise Not_found else if unsafe_get s i = c then i else index_rec s lim (i + 1) c;; |