inductive Regex.Syntax.Parser.Error : Type

• unexpectedEof : Error
• unexpectedChar (c : Char) : Error
• unexpectedEscapedChar (c : Char) : Error
• unexpectedPerlClassInRange (cls : Data.PerlClass) : Error
• invalidRange (c₁ c₂ : Char) : Error
• invalidRepetition (min max : Nat) : Error
• expectedEof : Error

instance Regex.Syntax.Parser.instReprError : Repr Error

Equations

• Regex.Syntax.Parser.instReprError = { reprPrec := Regex.Syntax.Parser.reprError✝ }

instance Regex.Syntax.Parser.instInhabitedError : Inhabited Error

Equations

• Regex.Syntax.Parser.instInhabitedError = { default := Regex.Syntax.Parser.Error.unexpectedEof }

instance Regex.Syntax.Parser.instDecidableEqError : DecidableEq Error

Equations

• Regex.Syntax.Parser.instDecidableEqError = Regex.Syntax.Parser.decEqError✝

instance Regex.Syntax.Parser.instToStringError : ToString Error

Equations

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