The REGEXP_PARSER signature defines the interface to a parser for a
concrete regular-expression syntax.
Synopsis
signature REGEXP_PARSER
structure AwkSyntax : REGEXP_PARSER
Interface
val scan : (char, 'a) StringCvt.reader -> (RegExpSyntax.syntax, 'a) StringCvt.reader
Description
val scan : (char, 'a) StringCvt.reader -> (RegExpSyntax.syntax, 'a) StringCvt.reader-
scan getc strmparses a regular expression from the input streamstrmusing the character readergetc. If successful, it returnsSOME(re, strm'), wherereis the abstract syntax of the regular expression andstrm'is the residual input stream. It returnsNONEif there is a syntax error in the input.
Instances
structure AwkSyntax-
A parser for the regular-expression syntax defined by the AWK language.