QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Change Char.to_lower/upper into String.to_lower/upper

Browse Source
This commit is contained in:
Hans Svensson
2020-02-26 14:15:49 +01:00
parent 0dddac3d86
commit a38a365181
4 changed files with 17 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files
priv/stdlib/String.aes
+3 -6
View File
@@ -10,6 +10,9 @@ namespace String =
function from_list(cs : list(char)) : string = StringInternal.from_list(cs)
function to_list(s : string) : list(char) = StringInternal.to_list(s)
function to_upper(s : string) = StringInternal.to_upper(s)
function to_lower(s : string) = StringInternal.to_lower(s)
function split(i : int, s : string) : string * string =
let cs = StringInternal.to_list(s)
(StringInternal.from_list(List.take(i, cs)), StringInternal.from_list(List.drop(i, cs)))
@@ -19,12 +22,6 @@ namespace String =
[] => None
x :: _ => Some(x)
function to_upper(s : string) =
StringInternal.from_list(List.map(Char.to_upper, StringInternal.to_list(s)))
function to_lower(s : string) =
StringInternal.from_list(List.map(Char.to_lower, StringInternal.to_list(s)))
function contains(str : string, substr : string) : option(int) =
if(substr == "") Some(0)
else