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

sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1

sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16

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 : Stdlib.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