diff options
author | Erik Terpstra <39518+eterps@users.noreply.github.com> | 2020-05-11 18:54:26 +0200 |
---|---|---|
committer | Louis Pilfold <louis@lpil.uk> | 2020-05-12 11:05:04 +0100 |
commit | 16d2811b1dd64d59e1d73cc5cc88ad7250651362 (patch) | |
tree | 794e884771bcd1996256cc8fd266d918c020b094 /src | |
parent | 737d521b5c061b5a0dfee1b7b70c7194e3c4ab28 (diff) | |
download | gleam_stdlib-16d2811b1dd64d59e1d73cc5cc88ad7250651362.tar.gz gleam_stdlib-16d2811b1dd64d59e1d73cc5cc88ad7250651362.zip |
Update string.trim to call erl_trim function
Diffstat (limited to 'src')
-rw-r--r-- | src/gleam/string.gleam | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/gleam/string.gleam b/src/gleam/string.gleam index 3558dbb..91d54b4 100644 --- a/src/gleam/string.gleam +++ b/src/gleam/string.gleam @@ -310,6 +310,9 @@ pub fn join(strings: List(String), with separator: String) -> String { // // pub fn pad_right(string: String, to size: Int, with: String) {} +pub external fn erl_trim(String) -> String = + "gleam_stdlib" "string_trim" + /// Get rid of whitespace on both sides of a String. /// /// ## Examples @@ -317,8 +320,9 @@ pub fn join(strings: List(String), with separator: String) -> String { /// "hats" /// /// -pub external fn trim(String) -> String = - "gleam_stdlib" "string_trim" +pub fn trim(string: String) -> String { + erl_trim(string) +} // TODO // Get rid of whitespace on the left of a String. |