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 (11)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.1.0.tbz

sha256=beea3f0c443c4e575a47fce4b2cc7df9c033cb579fb7e56c0963f0655bfe6942

sha512=7cbeeec1a051612ee30800d3d950c2e124194d79d47ff304f5096b7856eca389140b2fa4907da23040386f1c1b4eb3347ce60672c42a29b1820b65c6c1725c33

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