The REGEXP_PARSER signature
Author: John Reppy
Keywords: Standard ML, SML, SML/NJ Library

The SML of NJ Library
The `REGEXP_PARSER` signature

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 strm` parses a regular expression from the input stream `strm` using the character reader `getc`. If successful, it returns `SOME(re, strm')`, where `re` is the abstract syntax of the regular expression and `strm'` is the residual input stream. It returns `NONE` if there is a syntax error in the input.

## Instances

`structure AwkSyntax`

  A parser for the regular-expression syntax defined by the AWK language.

## See Also

`AwkSyntax`, `RegExpFn`, `RegExpSyntax`, The RegExp Library

SML/NJ Version 110.99.9 (November 4, 2025)
Last updated 2025-11-04 15:48:25 UTC