Concatenation of twoString singleton types.

import compiletime.ops.string.*val hello: "hello " + "world" = "hello world"

Attributes

Source

string.scala

Returns the Char type at the specified index. An index ranges from 0 to Length[S] - 1. The first Char of the sequence is at index 0, the next at index 1, and so on.

import string.*val c: CharAt["hello", 0] = 'h'

Attributes

Source

string.scala

Length of aString singleton type.

import compiletime.ops.string.*val helloSize: Length["hello"] = 5

Attributes

Source

string.scala

Tests if thisString singleton type matches the given regular expressionString singleton type.

import compiletime.ops.string.*val x: Matches["unhappy", "un.*"] = true

Attributes

Source

string.scala

Substring of aString singleton type, with a singleton type begin inclusive indexIBeg, and a singleton type exclusive end indexIEnd. 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.

import compiletime.ops.string.*val x: Substring["hamburger", 4, 8] = "urge"val y: Substring["smiles", 1, 5] = "mile"

Attributes

Source

string.scala