Idris2Doc : Data.String.Extra

Data.String.Extra

(+>) : String -> Char -> String
Alias of `strSnoc`

```idris example
"AB" +> 'C'
```
Totality: total
Fixity Declaration: infixl operator, level 5
(<+) : Char -> String -> String
Alias of `strCons`

```idris example
'A' <+ "AB"
```
Totality: total
Fixity Declaration: infixr operator, level 5
drop : Nat -> String -> String
Remove the first `n` characters from a string. Returns the empty string if
the input string is too short.
Totality: total
dropLast : Nat -> String -> String
Remove the last `n` characters from a string. Returns the empty string if
the input string is too short.
Totality: total
fastReplicate : Nat -> Char -> String
Return a string of the given character repeated
`n` times.
Totality: total
indent : Nat -> String -> String
Indent a given string by `n` spaces.
Totality: total
indentLines : Nat -> String -> String
Indent each line of a given string by `n` spaces.
Totality: total
index : Nat -> String -> Maybe Char
Get a character from a string if the string is long enough.
Totality: total
join : String -> Foldablet => t String -> String
Concatenate the strings from a `Foldable` containing strings, separated by
the given string.
Totality: total
justifyLeft : Nat -> Char -> String -> String
Left-justify a string to the given length, using the
specified fill character on the right.
Totality: total
justifyRight : Nat -> Char -> String -> String
Right-justify a string to the given length, using the
specified fill character on the left.
Totality: total
replicate : Nat -> Char -> String
Produce a string by repeating the character `c` `n` times.
Totality: total
shrink : Nat -> String -> String
Remove the first and last `n` characters from a string. Returns the empty
string if the input string is too short.
Totality: total
strSnoc : String -> Char -> String
Adds a character to the end of the specified string.

```idris example
strSnoc "AB" 'C'
```
```idris example
strSnoc "" 'A'
```
Totality: total
take : Nat -> String -> String
Take the first `n` characters from a string. Returns the whole string
if it's too short.
Totality: total
takeLast : Nat -> String -> String
Take the last `n` characters from a string. Returns the whole string
if it's too short.
Totality: total