Index of values

(ti,s) **> t is prefix (ti,s) t.

s *> t is prefixstr s t.

t <* s is suffixstr s t.

t <** (ti,s) is suffix t (ti,s).

tyre --> f is Route (tyre, f).

t <*> t' is seq t t'.

t <?> t' is alt t t'.

alt tyreL tyreR matches either tyreL (and will then return `Left v) or tyreR (and will then return `Right v).

bool matches true|false and returns the matched boolean.

compile tyre is the compiled tyregex representing tyre.

conv ~name to_ from_ tyre matches the same text as tyre, but converts back and forth to a different data type.

eval tyre v returns a string s such that exec (compile tyre) s = v.

evalpp tyre ppf v is equivalent to Format.fprintf ppf "%s" (eval tyre v), but more efficient.

exec ctyre s matches the string s using the compiled tyregex ctyre and returns the extracted value.

float matches -?[0-9]+( .[0-9]* )? and returns the matched floating point number.

int matches -?[0-9]+ and returns the matched integer.

list e is similar to rep e, but returns a list.

opt tyre matches either tyre or the empty string.

pos_int matches [0-9]+ and returns the matched positive integer.

prefix (tyre_i, s) tyre matches tyre_i, ignores the result, and then matches tyre and returns its result.

prefixstr s tyre matches s then matches tyre and return its value.

regex re is a tyregex that matches re and return the corresponding string.

rep tyre matches tyre zero or more times.

rep1 tyre is seq tyre (rep tyre).

route [ tyre1 --> f1 ; tyre2 --> f2 ] produces a compiled tyregex such that, if tyre1 matches, f1 is called, and so on.

separated_list ~sep tyre is equivalent to opt (e <*> list (sep *> e)).

seq tyre1 tyre2 matches tyre1 then tyre2 and return both values.

Same as prefix, but reversed.

Same as prefixstr, but reversed.

terminated_list ~sep tyre is list (tyre <* sep) .