package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

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

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.0.1.tbz

sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7

sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a

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;
comment : (int * string) option;

}

Sourcetype mixfix_kind =

| Fixed of fixed
| Extensible of extensible

Sourcetype mixfix = {

tokens : mixfix_kind list;
fixity : fixity;

}

Source

val mkFix : 
  ?comment:(int * string) ->
  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 comment : int * string

Sourceval mixfix_symbols : mixfix list