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

github.com Readme Changelog Edit opam file Versions (1)

Authors

F

Frederic Bour <frederic.bour@lakaban.net>

Maintainers

F

Frederic Bour <frederic.bour@lakaban.net>

Sources

lrgrep-0.3.tbz

sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde

sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55

doc/fix/Fix/Indexing/Index/Unsafe/index.html

Module `Index.Unsafe`Source

To implement clever datastructures (for instance using bit-packing), it is useful to manipulate indices as integers. See IndexSet or IndexMap for usage examples. Refrain from using it if you are not sure of what you are doing since this can break some modular abstraction.

To be safe, the coerced module should never introduce new indices; that is, it should not return an index that it did not receive as argument.

Sourcemodule type T = sig ... end

Sourcemodule type F = functor (X : T) -> sig ... end

Sourcemodule Int : T with type 'a t = int

Sourcemodule Index : T with type 'a t = 'a index

Sourcemodule Coerce (F : F) (X : F(Int).S) : F(Index).S