package tyre

You can search for identifiers within the package.

in-package search v0.2.0

Typed Regular Expressions

Install

Dune Dependency

github.com Changelog ISC License Edit opam file Versions (7)

Authors

Gabriel Radanne

Maintainers

Gabriel Radanne

Sources

sha256=4f517a3e2e5d3a378e831ffb3fae6b3ec26316af7a88f516170c74948f446c78

md5=41923cb08a11f93d704b79f7bb078640

doc/tyre/Tyre/Internal/index.html

Module `Tyre.Internal`Source

Internal types

Sourcetype ('a, 'b) conv = {

to_ : 'a -> 'b;
from_ : 'b -> 'a;

}

Sourcetype 'a raw =

| Regexp : Re.t * Re.re Lazy.t -> string raw
| Conv : 'a raw * ('a, 'b) conv -> 'b raw
| Opt : 'a raw -> 'a option raw
| Alt : 'a raw * 'b raw -> [ `Left of 'a | `Right of 'b ] raw
| Seq : 'a raw * 'b raw -> ('a * 'b) raw
| Prefix : 'b raw * 'a raw -> 'a raw
| Suffix : 'a raw * 'b raw -> 'a raw
| Rep : 'a raw -> 'a Seq.t raw
| Mod : (Re.t -> Re.t) * 'a raw -> 'a raw

Sourceval from_t : 'a t -> 'a raw

Sourceval to_t : 'a raw -> 'a t

Sourcetype _ wit =

| Lit : int -> string wit
| Conv : 'a wit * ('a, 'b) conv -> 'b wit
| Opt : Re.markid * 'a wit -> 'a option wit
| Alt : Re.markid * 'a wit * 'b wit -> [ `Left of 'a | `Right of 'b ] wit
| Seq : 'a wit * 'b wit -> ('a * 'b) wit
| Rep : int * 'a wit * Re.re -> 'a Seq.t wit

Sourceval build : int -> 'a raw -> int * 'a wit * Re.t

Sourceval extract : original:string -> 'a wit -> Re.substrings -> 'a