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

Type members

Types

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

Concatenation of two String singleton types.

Concatenation of two String singleton types.

import compiletime.ops.string._
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.

import string._
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.

import compiletime.ops.string._
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.

import compiletime.ops.string._
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.

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

Attributes

Source
string.scala