Module type Main.Type.URe.Type

module type Type = sig .. end

type text

type index

type compiled_regexp

module SubText: Main.Type.SubText.Type  with type ur_text = text and type ur_index = index

Compile regular expressions.

val compile : Main.Type.URe.regexp -> compiled_regexp

regexp_match ?sem r t i tries matching r and substrings of t beginning from i. If match successes, Some g is returned where g is the array containing the matched string of n-th group in the n-element. The matched string of the whole r is stored in the 0-th element. If matching fails, None is returned.

val regexp_match : ?sem:Main.Type.URe.match_semantics ->
       compiled_regexp ->
       text ->
       index -> SubText.t option array option

string_match r t i tests whether r can match a substring of t beginning from i.

val string_match : compiled_regexp ->
       text -> index -> bool

search_forward ?sem r t i searches a substring of t matching r from i. The returned value is similar to URe.Type.regexp_match.

val search_forward : ?sem:Main.Type.URe.match_semantics ->
       compiled_regexp ->
       text ->
       index -> SubText.t option array option