package lrgrep

  1. Overview
  2. Docs
Detailed error messages for Menhir-generated parsers

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Maintainers

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Sources

lrgrep-0.9.tbz
sha256=e53de12e4c5cbe6bca00643593266b4f9fa2e3f6a138195eeff7a4329f5c1c75
sha512=7fd7c4d11506fea7cc11c9bbf5aea9142d905643553c0c90e1bb16b794106b0c14a266acf89ae91b6929008dc0ba6515f788642873e2e4ba6c3d49bd45d25127

doc/fix/Fix/Numbering/index.html

Module Fix.NumberingSource

This module offers a facility for assigning a unique number to each value in a certain finite set and translating (both ways) between values and their numbers.

Sourcemodule Make (M : sig ... end) : sig ... end

The functor Make requires an implementation of maps for the type M.key and offers a two-phase numbering facility. The function encode is backed by a map, therefore runs in logarithmic time or constant time, depending on the type of map that is used. The function decode is backed by an array of size n, therefore runs in constant time.

Sourcemodule ForOrderedType (T : sig ... end) : sig ... end

ForOrderedType is a special case of Make where it suffices for keys to be ordered.

Sourcemodule ForHashedType (T : sig ... end) : sig ... end

ForHashedType is a special case of Make where it suffices for keys to be hashed.

Sourcemodule ForType (T : sig ... end) : sig ... end

ForType is a special case of Make where keys can have arbitrary type. OCaml's built-in generic equality and hash functions are used.