Parse

Parse the regular expression (parse)

instance Syntax.AstItems.instInhabitedParser : Inhabited Syntax.AstItems.Parser

Equations

• Syntax.AstItems.instInhabitedParser = { default := { capture_index := 0, capture_group_names := [], max_backreference := 0 } }

@[reducible, inline]

abbrev Syntax.AstItems.ParserM (α : Type) : Type

Equations

• Syntax.AstItems.ParserM = ReaderT Syntax.Flavor (StateT Syntax.AstItems.Parser (Except String))

def Syntax.AstItems.parse (p : String) (flavor : Syntax.Flavor) (extended : Regex.Grammar.ExtendedKind := Regex.Grammar.ExtendedKind.None) : Except String Syntax.AstItems.Ast

Parse the regular expression and return an abstract syntax tree.

Equations

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