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-2.0.6.tbz

sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375

sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

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