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

something

structure DfaEngine

something

structure ThompsonEngine

something

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.