Regex

0.40.0

Enums

enum Flag with EqOrderToString

Source
case CanonEq()
case CaseInsenstive()
case Comments()
case Dotall()
case Literal()
case Multiline()
case UnicodeCase()
case UnicodeCharacterClass()
case UnixLines()

Type Aliases

type alias MatchQuery [ a : Type r : Eff ] = Matcher[r] -> Result[String, a] \ r

Source

MatchQuery is a read query applied to a the current match of a Matcher.

Definitions

def breakAfterFirst ( substr : { substr = Regex } s : String ) : (String, String) \ Pure

Source

Find the first instance of Regex substr in string s, return a pair of the prefix of string s up to and including sub and the rest of string s after sub.

def breakBeforeLast ( substr : { substr = Regex } s : String ) : (String, String) \ Pure

Source

Find the last instance of substr in string s, return a pair of the initial string including substr and suffix from substr.

def breakOnFirst ( substr : { substr = Regex } s : String ) : (String, String) \ Pure

Source

Find the first instance of Regex substr in string s, return a pair of the prefix of string s up to sub and the rest of string s including sub.

def breakOnLast ( substr : { substr = Regex } s : String ) : (String, String) \ Pure

Source

Find the last instance of substr in string s, return a pair of the initial string including substr and suffix from substr.

def countSubmatches ( substr : { substr = Regex } s : String ) : Int32 \ Pure

Source

Count the occurrences of substr in string s.

def countSubmatchesWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : Int32 \ Pure

Source

Count the occurrences of substr in string s within the bounds (start, end).

Returns 0 if the bounds are invalid.

def endsWith ( suffix : { suffix = Regex } s : String ) : Bool \ Pure

Source

Returns true if the string input ends the regular expression Regex suffix.

This will be slower than startsWith because there is no primitive Java function to call, instead the matches of patt are iterated until the last one is found.

def flags ( rgx : Regex ) : Set[Flag] \ Pure

Source

Return the flags used to build the Regex rgx.

def getFirst ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Return the content of the first occurence of substr in s from the left.

If the Regex substr is not present in s return None.

def getFirstWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : Option[String] \ Pure

Source

Return the content of the first occurence of substr in s from the left within the bounds (start, end).

If the Regex substr is not present in s or the bounds are invalid return None.

def getFirstWithOffset ( substr : { substr = Regex } offset : { offset = Int32 } s : String ) : Option[String] \ Pure

Source

This is getFirst with a start offset.

If the Regex substr is not present in s return None.

def getLast ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Return the content of the last occurence of substr in s from the left.

If the Regex substr is not present in s return None.

def getLastWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : Option[String] \ Pure

Source

Return the content of the last occurence of substr in s from the left within the bounds (start, end).

If the Regex substr is not present in s or the bounds are invalid return None.

def getLastWithOffset ( substr : { substr = Regex } offset : { offset = Int32 } s : String ) : Option[String] \ Pure

Source

This is getLast with a start offset.

If the Regex substr is not present in s return None.

def getPrefix ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Returns Some(prefix) of string s if its prefix matches substr.

def getSuffix ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Returns Some(suffix) of string s if its suffix matches substr.

def indexOfFirst ( substr : { substr = Regex } s : String ) : Option[Int32] \ Pure

Source

Return the index of the first occurence of substr in s from the left.

If the Regex substr is not present in s return None.

def indexOfFirstWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : Option[Int32] \ Pure

Source

Return the index of the first occurence of substr in s from the left within the bounds (start, end).

If the Regex substr is not present in s or the bounds are invalid return None.

def indexOfFirstWithOffset ( substr : { substr = Regex } offset : { offset = Int32 } s : String ) : Option[Int32] \ Pure

Source

This is indexOfFirst with a start offset.

If the Regex substr is not present in s return None.

def indexOfLast ( substr : { substr = Regex } s : String ) : Option[Int32] \ Pure

Source

Return the index of the last occurence of substr in s starting from the left.

If the Regex substr is not present in s return None.

def indexOfLastWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : Option[Int32] \ Pure

Source

Return the index of the last occurence of substr in s from the left within the bounds (start, end).

If the Regex substr is not present in s or the bounds are invalid return None.

def indexOfLastWithOffset ( substr : { substr = Regex } offset : { offset = Int32 } s : String ) : Option[Int32] \ Pure

Source

This is indexOfLast with a start offset.

If the Regex substr is not present in s return None.

def indices ( substr : { substr = Regex } s : String ) : List[Int32] \ Pure

Source

Returns the positions of the all the occurrences of substr in s.

If substr regexp matches the empty string, positions where an empty match has been recognized will be returned.

def indicesWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : List[Int32] \ Pure

Source

Returns the positions of the all the occurrences of substr in s within the bounds (start, end).

If substr regexp matches the empty string, positions where an empty match has been recognized will be returned.

Returns Nil if there are no matches or the bounds are invalid.

def isMatch ( rgx : Regex s : String ) : Bool \ Pure

Source

Returns true if the entire string s is matched by the Regex rgx.

def isMatchWithBounds ( rgx : Regex start : { start = Int32 } end : { end = Int32 } s : String ) : Bool \ Pure

Source

Returns true if the entire string s is matched by the Regex rgx.

Returns false if the entire string does not match or the bounds are invalid.

def isSubmatch ( rgx : Regex s : String ) : Bool \ Pure

Source

Returns true if the string input is matched by the Regex rgx at any position within the string s.

def isSubmatchWithBounds ( rgx : Regex start : { start = Int32 } end : { end = Int32 } s : String ) : Bool \ Pure

Source

Returns true if the string input is matched by the Regex rgx at any position within the string s that is within the bounds (start, end).

Returns false if there is no match or the bounds are invalid.

def pattern ( rgx : Regex ) : String \ Pure

Source

Return the regular expression string used to build this Regex.

def quote ( s : String ) : String \ Pure

Source

Return the regular expression string that matches the the literal string s.

def replace ( from : { from = Regex } to : { to = String } s : String ) : String \ Pure

Source

Returns string s with every match of the Regex from replaced by the string to.

def replaceFirst ( from : { from = Regex } to : { to = String } s : String ) : String \ Pure

Source

Returns string s with the first match of the regular expression from replaced by the string to.

def split ( regex : { regex = Regex } s : String ) : List[String] \ Pure

Source

Splits the string s around matches of the Regex regex.

def startsWith ( prefix : { prefix = Regex } s : String ) : Bool \ Pure

Source

Returns true if the string s starts the Regex prefix.

def stripPrefix ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Returns Some(suffix) of string s if its prefix matches substr.

def stripSuffix ( substr : { substr = Regex } s : String ) : Option[String] \ Pure

Source

Returns Some(prefix) of string s if its suffix matches substr.

def submatches ( substr : { substr = Regex } s : String ) : List[String] \ Pure

Source

Returns the contents of the all the occurrences of substr in s.

Returns Nil if substr is the empty string.

def submatchesWithBounds ( substr : { substr = Regex } start : { start = Int32 } end : { end = Int32 } s : String ) : List[String] \ Pure

Source

Returns the contents of the all the occurrences of substr in s within the bounds (start, end).

Returns Nil if substr is the empty string or the bounds are invalid.

def sumFlags ( flags : Set[Flag] ) : Int32 \ Pure

Source

Sum a list of flags to an Int32 bit mask.

def unmatchable : Regex \ Pure

Source

Return the unmatchable Regex - a regular expression that will not match any input.