package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

Dune Dependency

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

Authors

T

The Merlin team

Maintainers

D

defree@gmail.com

Sources

merlin-4.16-501.tbz

sha256=da5bf309b040645c292ae4572cc6a0a700dbd2bcfc996ac13c8e5c3836c21e26

sha512=99eba17b2bdec5411d239093f4e8e11ada79b2b84ae88074a1b46e47eb836bbf8cb7836c472c22e7f9e68cff1b9ea6d9b9989b70055c3277edb4cddc4a86460c

doc/merlin-lib.ocaml_preprocess/Ocaml_preprocess/MenhirLib/InspectionTableInterpreter/Make/index.html

Module `InspectionTableInterpreter.Make`Source

Parameters

module TT : TableFormat.TABLES

module IT : InspectionTableFormat.TABLES with type 'a lr1state = int

module ET : 
  EngineTypes.TABLE
    with type terminal = int
     and type nonterminal = int
     and type semantic_value = Obj.t

module E : sig ... end

Signature

include IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a IT.terminal
  with type 'a nonterminal := 'a IT.nonterminal

type 'a symbol =

| T : 'a IT.terminal -> 'a symbol
| N : 'a IT.nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

Sourcetype item = int * int

Sourceval compare_terminals : _ IT.terminal -> _ IT.terminal -> int

Sourceval compare_nonterminals : _ IT.nonterminal -> _ IT.nonterminal -> int

Sourceval compare_symbols : xsymbol -> xsymbol -> int

Sourceval compare_productions : int -> int -> int

Sourceval compare_items : item -> item -> int

Sourceval incoming_symbol : 'a IT.lr1state -> 'a symbol

Sourceval items : _ IT.lr1state -> item list

Sourceval lhs : int -> xsymbol

Sourceval rhs : int -> xsymbol list

Sourceval nullable : _ IT.nonterminal -> bool

Sourceval first : _ IT.nonterminal -> _ IT.terminal -> bool

Sourceval xfirst : xsymbol -> _ IT.terminal -> bool

Sourceval foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a

Sourceval foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a

Source

val feed : 
  'a symbol ->
  IncrementalEngine.position ->
  'a ->
  IncrementalEngine.position ->
  'b E.env ->
  'b E.env

On This Page

Parameters
Signature