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

sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7

sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a

doc/elpi.parser/Elpi_parser/Lexer/index.html

Module `Elpi_parser.Lexer`Source

Sourceexception Error of Lexing.position * string

Sourceval real_skip : Lexing.lexbuf -> int -> unit

Sourceval new_line : Lexing.lexbuf -> unit

Sourceval start_token : (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'a

Source

val version_test : 
  Lexing.lexbuf ->
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Elpi_util.Util.StrMap.key option ->
  string ->
  string ->
  string ->
  string ->
  bool

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Source

val linecomment : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_linecomment_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val linecomment_drop : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_linecomment_drop_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val linecomment_skip : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_linecomment_skip_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val linecomment_if : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_linecomment_if_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val skip_lines_endif : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_skip_lines_endif_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val skip_lines : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_skip_lines_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val multilinecomment : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_multilinecomment_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val string : 
  Lexing.position ->
  Buffer.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_string_rec : 
  Lexing.position ->
  Buffer.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val quoted : 
  Lexing.position ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_quoted_rec : 
  Lexing.position ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Source

val quoted_inner : 
  Lexing.position ->
  Buffer.t ->
  int ->
  int ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_quoted_inner_rec : 
  Lexing.position ->
  Buffer.t ->
  int ->
  int ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

Sourceval lookahead_close : Buffer.t -> int -> Lexing.lexbuf -> unit

Source

val __ocaml_lex_lookahead_close_rec : 
  Buffer.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval lookahead_open : Buffer.t -> int -> Lexing.lexbuf -> unit

Source

val __ocaml_lex_lookahead_open_rec : 
  Buffer.t ->
  int ->
  Lexing.lexbuf ->
  int ->
  unit

Source

val token : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  Elpi_lexer_config.Tokens.token

Source

val __ocaml_lex_token_rec : 
  (int * int * int) Elpi_util.Util.StrMap.t ->
  Lexing.lexbuf ->
  int ->
  Elpi_lexer_config.Tokens.token

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/elpi.parser/Elpi_parser/Lexer/index.html

Module Elpi_parser.LexerSource

dune-project
Dependency

Module `Elpi_parser.Lexer`Source