string

scala.compiletime.ops.string
object string

Attributes

Source
string.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
string.type

Members list

Keywords
  • no keywords
  • infix

Type members

Types

infix type +[X <: String, Y <: String] <: String

Concatenation of two String singleton types.

Concatenation of two String singleton types.

val hello: "hello " + "world" = "hello world"

Attributes

Source
string.scala
type CharAt[S <: String, Idx <: Int] <: Char

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.

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.

val c: CharAt["hello", 0] = 'h'

Attributes

Source
string.scala
type Length[X <: String] <: Int

Length of a String singleton type.

Length of a String singleton type.

val helloSize: Length["hello"] = 5

Attributes

Source
string.scala
type Matches[S <: String, Regex <: String] <: Boolean

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

Attributes

Source
string.scala
type Substring[S <: String, IBeg <: Int, IEnd <: Int] <: String

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"

Attributes

Source
string.scala