Documentation

Regex.Syntax.Parser.Basic

source
structure Regex.Syntax.Parser.ParseOption :
Type
  • caseInsensitive : Bool
Instances For
    source
    def Regex.Syntax.Parser.parseAux (input : String) (options : ParseOption) :
    Except Error Data.Expr
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Regex.Syntax.Parser.parse (input : String) :
      Except Error Data.Expr
      Equations
      Instances For
        source
        def Regex.Syntax.Parser.parse! (input : String) :
        Data.Expr
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For