package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.ReSource

Sourceval all : unit -> term

all constructs the regular expression that matches all.

Sourceval allchar : unit -> term

allchar constructs the regular expression that matches any character.

Sourceval none : unit -> term

empty constructs the empty regular expression.

Sourceval star : term -> term

star t constructs the Kleene star of the regular expression term t.

Sourceval plus : term -> term

plus t constructs the Kleene plus of the regular expression term t.

Sourceval opt : term -> term

opt t constructs the optional regular expression term t.

Sourceval comp : term -> term

comp t constructs the complement of the regular expression term t.

Sourceval range : term -> term -> term

range t1 t2 constructs a regular expression term matching characters in the range from t1 to t2.

Sourceval diff : term -> term -> term

diff t1 t2 constructs the difference of the regular expression terms t1 and t2.

Sourceval inter : term -> term -> term

inter t1 t2 constructs the intersection of the regular expression terms t1 and t2.

Sourceval loop : term -> int -> int -> term

loop t min max constructs a regular expression term matching t repeated between min and max times.

Sourceval union : term list -> term

union ts constructs the union of a list of regular expression terms ts.

Sourceval concat : term list -> term

concat ts constructs the concatenation of a list of regular expression terms ts.