@[inline]

def Regex.Syntax.Parser.PerlClass.toString (pc : Data.PerlClass) : String

Equations

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

@[inline]

def Regex.Syntax.Parser.Class.toString (c : Data.Class) : String

Equations

• One or more equations did not get rendered due to their size.
• Regex.Syntax.Parser.Class.toString (Regex.Data.Class.single ch) = Regex.Syntax.Parser.escapeCharInClass✝ ch
• Regex.Syntax.Parser.Class.toString (Regex.Data.Class.perl pc) = toString "\\" ++ toString (Regex.Syntax.Parser.PerlClass.toString pc)

@[inline]

def Regex.Syntax.Parser.Classes.toString (cs : Data.Classes) : String

Equations

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

@[inline]

def Regex.Syntax.Parser.Anchor.toString (a : Data.Anchor) : String

Equations

• Regex.Syntax.Parser.Anchor.toString Regex.Data.Anchor.start = "^"
• Regex.Syntax.Parser.Anchor.toString Regex.Data.Anchor.eos = "$"
• Regex.Syntax.Parser.Anchor.toString Regex.Data.Anchor.wordBoundary = "\\b"
• Regex.Syntax.Parser.Anchor.toString Regex.Data.Anchor.nonWordBoundary = "\\B"

def Regex.Syntax.Parser.applyGreedy (s : String) (greedy : Bool) : String

Equations

• Regex.Syntax.Parser.applyGreedy s greedy = if greedy = true then s else s ++ "?"

def Regex.Syntax.Parser.Ast.toString : Ast → String

Equations

• One or more equations did not get rendered due to their size.
• Regex.Syntax.Parser.Ast.empty.toString = ""
• Regex.Syntax.Parser.Ast.epsilon.toString = ""
• (Regex.Syntax.Parser.Ast.anchor a).toString = Regex.Syntax.Parser.Anchor.toString a
• (Regex.Syntax.Parser.Ast.char c).toString = Regex.Syntax.Parser.escapeChar✝ c
• ast.group.toString = toString "(" ++ toString ast.toString ++ toString ")"
• (ast1.alternate ast2).toString = toString ast1.toString ++ toString "|" ++ toString ast2.toString
• (ast1.concat ast2).toString = toString ast1.toString ++ toString ast2.toString
• (Regex.Syntax.Parser.Ast.repeat 0 none greedy ast).toString = Regex.Syntax.Parser.applyGreedy (toString ast.toString ++ toString "*") greedy
• (Regex.Syntax.Parser.Ast.repeat 1 none greedy ast).toString = Regex.Syntax.Parser.applyGreedy (toString ast.toString ++ toString "+") greedy
• (Regex.Syntax.Parser.Ast.repeat 0 (some 1) greedy ast).toString = Regex.Syntax.Parser.applyGreedy (toString ast.toString ++ toString "?") greedy
• (Regex.Syntax.Parser.Ast.repeat min none greedy ast).toString = Regex.Syntax.Parser.applyGreedy (toString ast.toString ++ toString "{" ++ toString min ++ toString ",}") greedy
• (Regex.Syntax.Parser.Ast.classes cs).toString = Regex.Syntax.Parser.Classes.toString cs
• (Regex.Syntax.Parser.Ast.perl pc).toString = toString "\\" ++ toString (Regex.Syntax.Parser.PerlClass.toString pc)
• Regex.Syntax.Parser.Ast.dot.toString = "."