string
Type members
Types
Concatenation of two String singleton types.
Concatenation of two String singleton types.
val hello: "hello " + "world" = "hello world"
Length of a String singleton type.
Length of a String singleton type.
val helloSize: Length["hello"] = 5
Tests if this String singleton type matches the given
regular expression String singleton type.
Tests if this String singleton type matches the given
regular expression String singleton type.
val x: Matches["unhappy", "un.*"] = true
Substring of a String singleton type, with a singleton type
begin inclusive index IBeg, and a singleton type exclusive end index IEnd.
The substring begins at the specified IBeg and extends to the character at index IEnd - 1.
Thus the length of the substring is IEnd-IBeg.
Substring of a String singleton type, with a singleton type
begin inclusive index IBeg, and a singleton type exclusive end index IEnd.
The substring begins at the specified IBeg and extends to the character at index IEnd - 1.
Thus the length of the substring is IEnd-IBeg.
val x: Substring["hamburger", 4, 8] = "urge"
val y: Substring["smiles", 1, 5] = "mile"