Regex

Definitions for Regex api

instance Regex.instCoeStringSlice_regex : Coe String String.Slice

Equations

• Regex.instCoeStringSlice_regex = { coe := fun (s : String) => s.toSlice }

@[reducible, inline]

abbrev Regex.Match : Type

Represents a single match of a regex in a haystack.

Equations

• Regex.Match = String.Slice

instance Regex.instToStringMatch : ToString Match

Equations

• One or more equations did not get rendered due to their size.

structure Regex.Captures (s : String.Slice) : Type

Represents the full match and capture groups for a single match in s.

• fullMatch : Match

  the full match

• groups : Array (Option Match)

  the capture groups, empty groups can arise, for example, in alternatives

• isSubsliceOf : String.Slice.isSubslice self.fullMatch s

  fullMatch is a subslice of s.

• areSubslicesOf (g : Match) : g ∈ Array.filterMap id self.groups → String.Slice.isSubslice g s

  all matches in groups are subslices of s.