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

sha256=e968c86e4ec474b896a2099547e6fa16f4b3ed33448bb571d4b348d92c3c70fb

sha512=5ea196cca5f15eadc36d83b2c894229218b25c9267da5c02f75510a27a8d13ca6ba072c7b0ef8138ac92aa03489d1cf77d270867daa7e25597ccd79d9e6d840c

doc/elpi.parser/Elpi_parser/Ast/Structured/index.html

Module `Ast.Structured`Source

Sourcetype program = {

macros : (Func.t, Term.t) Macro.t list;
types : tattribute Type.t list;
type_abbrevs : Func.t TypeAbbreviation.t list;
modes : Func.t Mode.t list;
body : block list;

}

Sourceand block =

| Locals of Func.t list * program
| Clauses of (Term.t, attribute) Clause.t list
| Namespace of Func.t * program
| Shorten of Func.t shorthand list * program
| Constraints of Func.t list * cattribute Chr.t list * program

Sourceand attribute = {

insertion : insertion option;
id : string option;
ifexpr : string option;

}

Sourceand insertion =

| Before of string
| After of string
| Replace of string

Sourceand cattribute = {

cid : string;
cifexpr : string option;

}

Sourceand tattribute =

| External
| Index of int list

Sourceand 'a shorthand = {

iloc : Loc.t;
full_name : 'a;
short_name : 'a;

}

Source

val pp_program : 
  Ppx_deriving_runtime.Format.formatter ->
  program ->
  Ppx_deriving_runtime.unit

Sourceval show_program : program -> Ppx_deriving_runtime.string

Source

val pp_block : 
  Ppx_deriving_runtime.Format.formatter ->
  block ->
  Ppx_deriving_runtime.unit

Sourceval show_block : block -> Ppx_deriving_runtime.string

Source

val pp_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  attribute ->
  Ppx_deriving_runtime.unit

Sourceval show_attribute : attribute -> Ppx_deriving_runtime.string

Source

val pp_insertion : 
  Ppx_deriving_runtime.Format.formatter ->
  insertion ->
  Ppx_deriving_runtime.unit

Sourceval show_insertion : insertion -> Ppx_deriving_runtime.string

Source

val pp_cattribute : 
  Ppx_deriving_runtime.Format.formatter ->
  cattribute ->
  Ppx_deriving_runtime.unit

Sourceval show_cattribute : cattribute -> Ppx_deriving_runtime.string

Source

val pp_tattribute : 
  Ppx_deriving_runtime.Format.formatter ->
  tattribute ->
  Ppx_deriving_runtime.unit

Sourceval show_tattribute : tattribute -> Ppx_deriving_runtime.string

Source

val pp_shorthand : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a shorthand ->
  Ppx_deriving_runtime.unit

Source

val show_shorthand : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a shorthand ->
  Ppx_deriving_runtime.string

package elpi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/elpi.parser/Elpi_parser/Ast/Structured/index.html

Module Ast.StructuredSource

Module `Ast.Structured`Source