Fix some Str docs

This commit is contained in:
Richard Feldman 2022-11-14 11:33:17 -05:00
parent d9774109f1
commit c23e23abf5
No known key found for this signature in database
GPG key ID: BAF1322FA6809A13

View file

@ -145,17 +145,17 @@ Utf8Problem : { byteIndex : Nat, problem : Utf8ByteProblem }
## expect Str.isEmpty "" == Bool.true
isEmpty : Str -> Bool
## Combines two strings.
## Concatenates two strings together.
##
## expect Str.concat "ab" "cd" == "abcd"
## expect Str.concat "hello" "" == "hello"
## expect Str.concat "" "" == ""
concat : Str, Str -> Str
## Returns a string of the specified capacity without any content
## Returns a string of the specified capacity without any content.
withCapacity : Nat -> Str
## Combines a list of strings into a single strings, with a separator
## Combines a [List] of strings into a single string, with a separator
## string in between each.
##
## expect Str.joinWith ["one", "two", "three"] ", " == "one, two, three"