package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

Dune Dependency

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

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-1.19.6.tbz

sha256=0e67d3bdbdda3495446e5835544f626d41985a84c361e9a70ee28cff828a71e0

sha512=d64cd2e5e958c1588e39518eeaf1a08883182e0c64831fde7132f184a78f586ce33f5c4e73f8f444288176aa8367fa6301e384303c46ed9c04bef37c4d7fcfcd

doc/elpi.lexer_config/Elpi_lexer_config/Lexer_config/index.html

Module `Elpi_lexer_config.Lexer_config`Source

Sourcetype fixity =

| Infixl
| Infixr
| Infix
| Prefix
| Postfix

Sourceval pp_fixity : Format.formatter -> fixity -> unit

Sourceval fixity_of_string : string -> fixity

Sourcetype extensible = {

start : string;
mk_token : string -> Tokens.token;
token : string;
non_enclosed : bool;
at_least_one_char : bool;
fixed : string list;

}

Sourcetype fixed = {

token : string;
the_token : string;
mk_token : Tokens.token;

}

Sourcetype mixfix_kind =

| Fixed of fixed
| Extensible of extensible

Sourcetype mixfix = {

tokens : mixfix_kind list;
fixity : fixity;

}

Sourceval mkFix : string -> string -> Tokens.token -> mixfix_kind

Source

val mkExt : 
  string ->
  string ->
  ?non_enclosed:bool ->
  ?at_least_one_char:bool ->
  ?fixed:string list ->
  (string -> Tokens.token) ->
  mixfix_kind

Sourceval mixfix_symbols : mixfix list