Adds a character to the end of the specified string.
```idris example
strSnoc "AB" 'C'
```
```idris example
strSnoc "" 'A'
```
Totality: total
Visibility: public export Alias of `strSnoc`
```idris example
"AB" +> 'C'
```
Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 5 Alias of `strCons`
```idris example
'A' <+ "AB"
```
Totality: total
Visibility: public export
Fixity Declaration: infixr operator, level 5 Take the first `n` characters from a string. Returns the whole string
if it's too short.
Totality: total
Visibility: public export Take the last `n` characters from a string. Returns the whole string
if it's too short.
Totality: total
Visibility: public export Remove the first `n` characters from a string. Returns the empty string if
the input string is too short.
Totality: total
Visibility: public export Remove the last `n` characters from a string. Returns the empty string if
the input string is too short.
Totality: total
Visibility: public export Remove the first and last `n` characters from a string. Returns the empty
string if the input string is too short.
Totality: total
Visibility: public export Concatenate the strings from a `Foldable` containing strings, separated by
the given string.
Totality: total
Visibility: public export Get a character from a string if the string is long enough.
Totality: total
Visibility: public export Indent each line of a given string by `n` spaces.
Totality: total
Visibility: public export Left-justify a string to the given length, using the
specified fill character on the right.
Totality: total
Visibility: export Right-justify a string to the given length, using the
specified fill character on the left.
Totality: total
Visibility: export