package lrgrep
Analyse the stack of a Menhir-generated LR parser using regular expressions
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55
doc/kernel/Kernel/Regexp/index.html
Module Kernel.RegexpSource
This module implements the regular expressions used by LRGrep. It provides functions for creating, comparing, and deriving regular expressions and continuations, which appear during the derivation process. It is parameterized by the `Info` and `Redgraph` modules, which are used to provide information about the LR automaton and its (viable) reductions, respectively.
The Capture module defines types and functions for representing variables captured in regular expressions. It uses an index type to uniquely identify a capture in an expression.
The RE module type defines the signature for regular expressions, including types for reductions, unique IDs to identify sub-terms, and the regular expression terms themselves.