package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

Analyse the stack of a Menhir-generated LR parser using regular expressions

Install

dune-project

Dependency

sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde

sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55

Sourcetype 'a t

Sourceval make : unit -> 'a t

Sourcetype 'a cells = (int * 'a) list

Sourcetype row_mapping

Sourcetype promise

Sourceval add_row : 'a t -> 'a cells -> promise

Sourceval resolve : row_mapping -> promise -> Lrgrep_runtime.Sparse_table.row

Sourcetype table = {

}

val table_lookup : 
  table ->
  Lrgrep_runtime.Sparse_table.row ->
  Lrgrep_runtime.Sparse_table.col ->
  Lrgrep_runtime.Sparse_table.value option

val pack : 
  'a t ->
  ('a -> Lrgrep_runtime.Sparse_table.value) ->
  row_mapping * table

Sourceval encode : table -> string * Lrgrep_runtime.Sparse_table.t