Module `Ast.Structured`Source

Sourcetype program = {

macros : (Func.t, Term.t) Macro.t list;
kinds : (unit, unit) Type.t list;
types : (symbol_attribute, functionality) Type.t list;
type_abbrevs : (Func.t, functionality TypeExpression.t) TypeAbbreviation.t list;
body : block list;

}

Sourceand ('func, 'term) block_constraint = {

loc : Loc.t;
clique : 'func list;
ctx_filter : 'func list;
rules : (cattribute, 'term) Chr.t list;

}

Sourceand block =

| Clauses of (Term.t, attribute, unit, unit) Clause.t list
| Namespace of Func.t * program
| Shorten of Func.t shorthand list * program
| Constraints of (Func.t, Term.t) block_constraint * program
| Accumulated of program

Sourceand attribute = {

insertion : insertion option;
id : string option;
ifexpr : string option;
typecheck : bool;

}

Sourceand insertion =

| Insert of insertion_place
| Replace of string
| Remove of string

Sourceand insertion_place =

| Before of string
| After of string

Sourceand cattribute = {

cid : string;
cifexpr : string option;

}

Sourceand symbol_attribute = {

availability : symbol_availability;
index : predicate_indexing option;

}

Sourceand predicate_indexing =

| Index of int list * tindex option
| MaximizeForFunctional

Sourceand symbol_availability =

| Elpi
| OCaml of provenance

Sourceand tindex =

| Map
| HashMap
| DiscriminationTree

Sourceand 'a shorthand = {

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

}

Sourceand functionality =

| Function
| Relation

Sourceand variadic =

| Variadic
| NotVariadic

Sourceand provenance =

| Core
| Builtin of {
1. variant : int;
}
| File of Loc.t

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_constraint : 
  (Ppx_deriving_runtime.Format.formatter -> 'func -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  ('func, 'term) block_constraint ->
  Ppx_deriving_runtime.unit

Source

val show_block_constraint : 
  (Ppx_deriving_runtime.Format.formatter -> 'func -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'term -> Ppx_deriving_runtime.unit) ->
  ('func, 'term) block_constraint ->
  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_insertion_place : 
  Ppx_deriving_runtime.Format.formatter ->
  insertion_place ->
  Ppx_deriving_runtime.unit

Sourceval show_insertion_place : insertion_place -> 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_symbol_attribute : 
  Ppx_deriving_runtime.Format.formatter ->
  symbol_attribute ->
  Ppx_deriving_runtime.unit

Sourceval show_symbol_attribute : symbol_attribute -> Ppx_deriving_runtime.string

Source

val pp_predicate_indexing : 
  Ppx_deriving_runtime.Format.formatter ->
  predicate_indexing ->
  Ppx_deriving_runtime.unit

Sourceval show_predicate_indexing : predicate_indexing -> Ppx_deriving_runtime.string

Source

val pp_symbol_availability : 
  Ppx_deriving_runtime.Format.formatter ->
  symbol_availability ->
  Ppx_deriving_runtime.unit

Source

val show_symbol_availability : 
  symbol_availability ->
  Ppx_deriving_runtime.string

Source

val pp_tindex : 
  Ppx_deriving_runtime.Format.formatter ->
  tindex ->
  Ppx_deriving_runtime.unit

Sourceval show_tindex : tindex -> 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

Source

val pp_functionality : 
  Ppx_deriving_runtime.Format.formatter ->
  functionality ->
  Ppx_deriving_runtime.unit

Sourceval show_functionality : functionality -> Ppx_deriving_runtime.string

Source

val pp_variadic : 
  Ppx_deriving_runtime.Format.formatter ->
  variadic ->
  Ppx_deriving_runtime.unit

Sourceval show_variadic : variadic -> Ppx_deriving_runtime.string

Source

val pp_provenance : 
  Ppx_deriving_runtime.Format.formatter ->
  provenance ->
  Ppx_deriving_runtime.unit

Sourceval show_provenance : provenance -> Ppx_deriving_runtime.string

Sourceval compare_program : program -> program -> Ppx_deriving_runtime.int

Source

val compare_block_constraint : 
  ('func -> 'func -> Ppx_deriving_runtime.int) ->
  ('term -> 'term -> Ppx_deriving_runtime.int) ->
  ('func, 'term) block_constraint ->
  ('func, 'term) block_constraint ->
  Ppx_deriving_runtime.int

Sourceval compare_block : block -> block -> Ppx_deriving_runtime.int

Sourceval compare_attribute : attribute -> attribute -> Ppx_deriving_runtime.int

Sourceval compare_insertion : insertion -> insertion -> Ppx_deriving_runtime.int

Source

val compare_insertion_place : 
  insertion_place ->
  insertion_place ->
  Ppx_deriving_runtime.int

Sourceval compare_cattribute : cattribute -> cattribute -> Ppx_deriving_runtime.int

Source

val compare_symbol_attribute : 
  symbol_attribute ->
  symbol_attribute ->
  Ppx_deriving_runtime.int

Source

val compare_predicate_indexing : 
  predicate_indexing ->
  predicate_indexing ->
  Ppx_deriving_runtime.int

Source

val compare_symbol_availability : 
  symbol_availability ->
  symbol_availability ->
  Ppx_deriving_runtime.int

Sourceval compare_tindex : tindex -> tindex -> Ppx_deriving_runtime.int

Source

val compare_shorthand : 
  ('a -> 'a -> Ppx_deriving_runtime.int) ->
  'a shorthand ->
  'a shorthand ->
  Ppx_deriving_runtime.int

Source

val compare_functionality : 
  functionality ->
  functionality ->
  Ppx_deriving_runtime.int

Sourceval compare_variadic : variadic -> variadic -> Ppx_deriving_runtime.int

Sourceval compare_provenance : provenance -> provenance -> Ppx_deriving_runtime.int

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Ast.Structured`Source

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Ast.StructuredSource

dune-project
Dependency

Module `Ast.Structured`Source