Additional operations on String
Function or value | Description | ||
Full Usage:
String.contains char source
Parameters:
char
source : string
Returns: bool
|
|||
Full Usage:
String.drop count source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.endsWith subString source
Parameters:
string
source : string
Returns: bool
|
|||
Full Usage:
String.findIndex predicate source
Parameters:
char -> bool
source : string
Returns: int
|
|||
Full Usage:
String.findLastSliceIndex slice source
Parameters:
string
source : string
Returns: int
The index of the slice.
|
|
||
Full Usage:
String.findSliceIndex slice source
Parameters:
string
source : string
Returns: int
The index of the slice.
|
|
||
Full Usage:
String.getBytes encoding source
Parameters:
Encoding
source : string
Returns: byte[]
|
|||
Full Usage:
String.intercalate separator source
Parameters:
string
source : string seq
Returns: string
|
|||
Full Usage:
String.intersperse element source
Parameters:
char
source : string
Returns: string
|
|||
Full Usage:
String.isSubString subString source
Parameters:
string
source : string
Returns: bool
|
|||
Full Usage:
String.item index source
Parameters:
int
source : string
Returns: char
|
|||
Full Usage:
String.normalize normalizationForm source
Parameters:
NormalizationForm
source : string
Returns: string
|
|||
|
|||
Full Usage:
String.ofCodePoints source
Parameters:
int seq
Returns: string
|
|||
|
|||
Full Usage:
String.ofSeq source
Parameters:
char seq
Returns: string
|
|||
Full Usage:
String.padLeft totalLength source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.padLeftWith totalLength paddingChar source
Parameters:
int
paddingChar : char
source : string
Returns: string
|
|||
Full Usage:
String.padRight totalLength source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.padRightWith totalLength paddingChar source
Parameters:
int
paddingChar : char
source : string
Returns: string
|
|||
Full Usage:
String.removeDiacritics source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.replace oldValue newValue source
Parameters:
string
newValue : string
source : string
Returns: string
|
|||
|
|||
Full Usage:
String.skip count source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.skipWhile predicate source
Parameters:
char -> bool
source : string
Returns: string
|
|||
Full Usage:
String.split separators source
Parameters:
string seq
source : string
Returns: string seq
|
|||
Full Usage:
String.startsWith subString source
Parameters:
string
source : string
Returns: bool
|
|||
Full Usage:
String.take count source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.takeWhile predicate source
Parameters:
char -> bool
source : string
Returns: string
|
|||
Full Usage:
String.toArray source
Parameters:
string
Returns: char[]
|
|||
Full Usage:
String.toCodePoints source
Parameters:
string
Returns: int seq
|
|||
Full Usage:
String.toList source
Parameters:
string
Returns: char list
|
|||
Full Usage:
String.toLower source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.toSeq source
Parameters:
string
Returns: char seq
|
|||
Full Usage:
String.toUpper source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.trim trimChars source
Parameters:
char seq
source : string
Returns: string
|
|||
Full Usage:
String.trimEnd trimChars source
Parameters:
char seq
source : string
Returns: string
|
|||
Full Usage:
String.trimEndWhiteSpaces source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.trimStart trimChars source
Parameters:
char seq
source : string
Returns: string
|
|||
Full Usage:
String.trimStartWhiteSpaces source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.trimWhiteSpaces source
Parameters:
string
Returns: string
|
|||
Full Usage:
String.truncate count source
Parameters:
int
source : string
Returns: string
|
|||
Full Usage:
String.tryFindIndex predicate source
Parameters:
char -> bool
source : string
Returns: int option
|
|||
Full Usage:
String.tryFindLastSliceIndex slice source
Parameters:
string
source : string
Returns: int option
The index of the slice or None .
|
|||
Full Usage:
String.tryFindSliceIndex slice source
Parameters:
string
source : string
Returns: int option
The index of the slice or None .
|
|||
Full Usage:
String.tryHead source
Parameters:
string
Returns: char option
|
|||
Full Usage:
String.tryItem index source
Parameters:
int
source : string
Returns: char option
|
|||
Full Usage:
String.tryLast source
Parameters:
string
Returns: char option
|