Scala 3/scala.compiletime.ops/string

string

object string
Source:
string.scala
class Object
trait Matchable
class Any
string.type

Type members

Types

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

Concatenation of two String singleton types.

Concatenation of two String singleton types.

package scala.compiletime.ops
trait Snippet0 { self: string.type =>
  val hello: "hello " + "world" = "hello world"
}
Source:
string.scala
type Length[X <: String] <: Int

Length of a String singleton type.

Length of a String singleton type.

package scala.compiletime.ops
trait Snippet0 { self: string.type =>
  val helloSize: Length["hello"] = 5
}
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.

package scala.compiletime.ops
trait Snippet0 { self: string.type =>
  val x: Matches["unhappy", "un.*"] = true
}
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.

package scala.compiletime.ops
trait Snippet0 { self: string.type =>
  val x: Substring["hamburger", 4, 8] = "urge"
  val y: Substring["smiles", 1, 5] = "mile"
}
Source:
string.scala