package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type program = {
  1. macros : (Func.t, Term.t) Macro.t list;
  2. kinds : (unit, unit) Type.t list;
  3. types : (tattribute, functionality) Type.t list;
  4. type_abbrevs : (Func.t, functionality TypeExpression.t) TypeAbbreviation.t list;
  5. modes : (tattribute, functionality) Type.t list;
  6. body : block list;
}
and ('func, 'term) block_constraint = {
  1. clique : 'func list;
  2. ctx_filter : 'func list;
  3. rules : (cattribute, 'term) Chr.t list;
}
and block =
  1. | Clauses of (Term.t, attribute, 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
and attribute = {
  1. insertion : insertion option;
  2. id : string option;
  3. ifexpr : string option;
  4. typecheck : bool;
}
and insertion =
  1. | Insert of insertion_place
  2. | Replace of string
  3. | Remove of string
and insertion_place =
  1. | Before of string
  2. | After of string
and cattribute = {
  1. cid : string;
  2. cifexpr : string option;
}
and tattribute =
  1. | External
  2. | Index of int list * tindex option
and tindex =
  1. | Map
  2. | HashMap
  3. | DiscriminationTree
and 'a shorthand = {
  1. iloc : Loc.t;
  2. full_name : 'a;
  3. short_name : 'a;
}
and functionality =
  1. | Function
  2. | Relation
and variadic =
  1. | Variadic
  2. | NotVariadic
val pp_program : Ppx_deriving_runtime.Format.formatter -> program -> Ppx_deriving_runtime.unit
val show_program : program -> Ppx_deriving_runtime.string
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
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
val pp_block : Ppx_deriving_runtime.Format.formatter -> block -> Ppx_deriving_runtime.unit
val pp_attribute : Ppx_deriving_runtime.Format.formatter -> attribute -> Ppx_deriving_runtime.unit
val show_attribute : attribute -> Ppx_deriving_runtime.string
val pp_insertion : Ppx_deriving_runtime.Format.formatter -> insertion -> Ppx_deriving_runtime.unit
val show_insertion : insertion -> Ppx_deriving_runtime.string
val pp_insertion_place : Ppx_deriving_runtime.Format.formatter -> insertion_place -> Ppx_deriving_runtime.unit
val show_insertion_place : insertion_place -> Ppx_deriving_runtime.string
val pp_cattribute : Ppx_deriving_runtime.Format.formatter -> cattribute -> Ppx_deriving_runtime.unit
val show_cattribute : cattribute -> Ppx_deriving_runtime.string
val pp_tattribute : Ppx_deriving_runtime.Format.formatter -> tattribute -> Ppx_deriving_runtime.unit
val show_tattribute : tattribute -> Ppx_deriving_runtime.string
val pp_tindex : Ppx_deriving_runtime.Format.formatter -> tindex -> Ppx_deriving_runtime.unit
val show_tindex : tindex -> Ppx_deriving_runtime.string
val pp_shorthand : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a shorthand -> Ppx_deriving_runtime.unit
val show_shorthand : (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a shorthand -> Ppx_deriving_runtime.string
val pp_functionality : Ppx_deriving_runtime.Format.formatter -> functionality -> Ppx_deriving_runtime.unit
val show_functionality : functionality -> Ppx_deriving_runtime.string
val pp_variadic : Ppx_deriving_runtime.Format.formatter -> variadic -> Ppx_deriving_runtime.unit
val show_variadic : variadic -> Ppx_deriving_runtime.string
val compare_program : program -> program -> Ppx_deriving_runtime.int
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
val compare_block : block -> block -> Ppx_deriving_runtime.int
val compare_attribute : attribute -> attribute -> Ppx_deriving_runtime.int
val compare_insertion : insertion -> insertion -> Ppx_deriving_runtime.int
val compare_insertion_place : insertion_place -> insertion_place -> Ppx_deriving_runtime.int
val compare_cattribute : cattribute -> cattribute -> Ppx_deriving_runtime.int
val compare_tattribute : tattribute -> tattribute -> Ppx_deriving_runtime.int
val compare_tindex : tindex -> tindex -> Ppx_deriving_runtime.int
val compare_shorthand : ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a shorthand -> 'a shorthand -> Ppx_deriving_runtime.int
val compare_functionality : functionality -> functionality -> Ppx_deriving_runtime.int
val compare_variadic : variadic -> variadic -> Ppx_deriving_runtime.int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct