package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (19)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.4.5.tbz
sha256=71c93a5ea0bdf19f656f70984bc2bf681d5639c9230325f3675e2f5f8d6726f2
sha512=d6a87bf1ba6bfb6f773075295137d037e007252ecf16aa026c151df11bc498efe56d5d5369920c2dad3b53373cba75378731cd752d08e07353a1c68063d2cd2a

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

Module Ast.StructuredSource

Sourcetype program = {
  1. macros : (Func.t, Term.t) Macro.t list;
  2. kinds : (unit, unit) Type.t list;
  3. types : (symbol_attribute, functionality) Type.t list;
  4. type_abbrevs : (Func.t, functionality TypeExpression.t) TypeAbbreviation.t list;
  5. body : block list;
}
Sourceand ('func, 'term) block_constraint = {
  1. loc : Loc.t;
  2. clique : 'func list;
  3. ctx_filter : 'func list;
  4. rules : (cattribute, 'term) Chr.t list;
}
Sourceand block =
  1. | Clauses of (Term.t, attribute, unit, unit) Clause.t list
  2. | Namespace of Func.t * program
  3. | Shorten of Func.t shorthand list * program
  4. | Constraints of (Func.t, Term.t) block_constraint * program
  5. | Accumulated of program
Sourceand attribute = {
  1. insertion : insertion option;
  2. id : string option;
  3. ifexpr : string option;
  4. typecheck : bool;
  5. occur_check : bool;
}
Sourceand insertion =
  1. | Insert of insertion_place
  2. | Replace of string
  3. | Remove of string
Sourceand insertion_place =
  1. | Before of string
  2. | After of string
Sourceand cattribute = {
  1. cid : string;
  2. cifexpr : string option;
}
Sourceand symbol_attribute = {
  1. availability : symbol_availability;
  2. index : predicate_indexing option;
  3. occur_check_pred : bool;
}
Sourceand predicate_indexing =
  1. | Index of int list * tindex option
  2. | MaximizeForFunctional
Sourceand symbol_availability =
  1. | Elpi
  2. | OCaml of provenance
Sourceand tindex =
  1. | Map
  2. | HashMap
  3. | DiscriminationTree
Sourceand 'a shorthand = {
  1. iloc : Loc.t;
  2. full_name : 'a;
  3. short_name : 'a;
}
Sourceand functionality =
  1. | Function
  2. | Relation
Sourceand variadic =
  1. | Variadic
  2. | NotVariadic
Sourceand provenance =
  1. | Core
  2. | Builtin of {
    1. variant : int;
    }
  3. | File of Loc.t
Sourceval show_predicate_indexing : predicate_indexing -> Ppx_deriving_runtime.string
Sourceval show_symbol_availability : symbol_availability -> Ppx_deriving_runtime.string
Sourceval compare_program : program -> program -> Ppx_deriving_runtime.int
Sourceval 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
Sourceval compare_tindex : tindex -> tindex -> Ppx_deriving_runtime.int
Sourceval compare_shorthand : ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a shorthand -> 'a shorthand -> Ppx_deriving_runtime.int
Sourceval compare_variadic : variadic -> variadic -> Ppx_deriving_runtime.int