The RegExp Library

Overview

The RegExp Library …​

Contents

Using the RegExp Library

A tutorial guide to using this library.

signature REGEXP_PARSER

Defines the interface to a parser for a concrete regular-expression syntax.

signature REGEXP_ENGINE

Defines the interface to a regular-expression search engine.

structure RegExpSyntax

Defines the abstract syntax of regular expressions.

structure MatchTree

Provides a tree-structured representation of the result of a successful regular expression match.

structure AwkSyntax

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

structure BackTrackEngine

A regular-expression search engine implemented as a back-tracking interpreter.

structure DfaEngine

A regular-expression search engine implemented as a deterministic finite automata.

structure ThompsonEngine

A regular-expression search engine based on Ken Thompson’s design.

functor RegExpFn

Provides a functor for combining a regular-expression parser with an engine to form a complete implementation of an regular-expression search module.

Usage

For SML/NJ, include $/regexp-lib.cm in your CM file.

For use in MLton, include $(SML_LIB)/smlnj-lib/RegExp/regexp-lib.mlb in your MLB file.