package tyre

  1. Overview
  2. Docs
Typed Regular Expressions

Install 

dune-project
 Dependency

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

Authors

  1. Gabriel Radanne

Maintainers

  1. Gabriel Radanne

Sources

tyre-0.4.1.tbz
sha256=4f517a3e2e5d3a378e831ffb3fae6b3ec26316af7a88f516170c74948f446c78
md5=41923cb08a11f93d704b79f7bb078640

doc/tyre/Tyre/Internal/index.html

Module Tyre.InternalSource

Internal types

Sourcetype ('a, 'b) conv = {
  1. to_ : 'a -> 'b;
  2. from_ : 'b -> 'a;
}
Sourcetype 'a raw =
  1. | Regexp : Re.t * Re.re Lazy.t -> string raw
  2. | Conv : 'a raw * ('a, 'b) conv -> 'b raw
  3. | Opt : 'a raw -> 'a option raw
  4. | Alt : 'a raw * 'b raw -> [ `Left of 'a | `Right of 'b ] raw
  5. | Seq : 'a raw * 'b raw -> ('a * 'b) raw
  6. | Prefix : 'b raw * 'a raw -> 'a raw
  7. | Suffix : 'a raw * 'b raw -> 'a raw
  8. | Rep : 'a raw -> 'a Seq.t raw
  9. | 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 =
  1. | Lit : int -> string wit
  2. | Conv : 'a wit * ('a, 'b) conv -> 'b wit
  3. | Opt : Re.markid * 'a wit -> 'a option wit
  4. | Alt : Re.markid * 'a wit * 'b wit -> [ `Left of 'a | `Right of 'b ] wit
  5. | Seq : 'a wit * 'b wit -> ('a * 'b) wit
  6. | 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