package sexp

You can search for identifiers within the package.

in-package search v0.2.0

S-expression swiss knife

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (6)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.0.tar.gz

sha256=c0ad559a13c4eed11f25446016fc776ea147527d186d5b713fcc8d201d26ce6b

doc/sexp.sexp_app_pattern/Sexp_app_pattern/Compiled_query/index.html

Module `Sexp_app_pattern.Compiled_query`Source

Sourcetype t =

| Capture of t * int
| Any
| Atom of string
| Atom_regex of Re2.t
| Sequence of t list
| Star of t
| Star_greedy of t
| Plus of t
| Plus_greedy of t
| Maybe of t
| Maybe_greedy of t
| List of t
| Set of (t * Query.Set_kind.t) list
| Subsearch of t
| And of t list
| Or_shortcircuiting of t list
| Or_all of t list
| First_match_only of t

Same as Query.t, except that Re2 regexes have been compiled and captures have been boiled down into simply an index into an array where that capture should be stored.

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Source

val create : 
  Query.t ->
  _ Output_method.t ->
  t * [ `Labels_of_captures of string array ]

Compiles a query. Returns t, `Labels_of_captures labels.

labels is the list of all unique keys that expect to receive a capture, a stringified integer in the case of a numbered capture, the string name in the case of a named capture, and unique default-created labels in the case of captures that the user did not themselves label.

The array indices of labels correspond one-to-one with the integers returned in the Capture variant of t.