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
indentLines : Nat -> String -> String
  Indent each line of a given string by `n` spaces.

Totality: total
index : Nat -> String -> MaybeChar
  Get a character from a string if the string is long enough.

Totality: total
join : String -> Foldablet => tString -> 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
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