regex
main
API
Generated with
halotukozak/regex
halotukozak/regex
regex/halotukozak.regex/Subset

Subset

halotukozak.regex.Subset$package.Subset
object Subset

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Subset.type

Members list

Value members

Concrete methods

def of(r: Regex): Subset

Lifts an existing Regex into Subset.

Lifts an existing Regex into Subset.

Attributes

def parse(pattern: String): Either[RegexParseError, Subset]

Parses a pattern into a Subset.

Parses a pattern into a Subset.

Attributes

Concrete fields

val empty: Subset

The empty-language subset; reference-equal to Regex.Empty under the opaque type.

The empty-language subset; reference-equal to Regex.Empty under the opaque type.

Attributes

Extensions

Extensions

extension (a: Subset)
def derive(c: Int): Subset

Brzozowski derivative of a with respect to code point c.

Brzozowski derivative of a with respect to code point c.

Attributes

def isEmpty: Boolean

true iff L(a) = ∅.

true iff L(a) = ∅.

Attributes

def nullable: Boolean

true iff ε ∈ L(a).

true iff ε ∈ L(a).

Attributes

def properSubset(b: Subset): Boolean

true iff L(a) ⊆ L(b) and L(a) ≠ L(b).

true iff L(a) ⊆ L(b) and L(a) ≠ L(b).

Attributes

def subset(b: Subset): Boolean

true iff L(a) ⊆ L(b).

true iff L(a) ⊆ L(b).

Attributes

def underlying: Regex

Underlying Regex.

Underlying Regex.

Attributes

def withAnySuffix: Subset

Σ*-extended view — matches every string having a as prefix.

Σ*-extended view — matches every string having a as prefix.

Attributes

Generated with
halotukozak/regex
halotukozak/regex