@[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) ++ toString ""

@[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 = "$"

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

Equations

• 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 "" ++ toString ast1.toString ++ toString "|" ++ toString ast2.toString ++ toString ""
• (ast1.concat ast2).toString = toString "" ++ toString ast1.toString ++ toString "" ++ toString ast2.toString ++ toString ""
• ast.star.toString = toString "" ++ toString ast.toString ++ toString "*"
• (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) ++ toString ""
• Regex.Syntax.Parser.Ast.dot.toString = "."