package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module API.CompileSource

Sourcemodule StrSet : sig ... end
Sourcetype flags = {
  1. defined_variables : StrSet.t;
  2. print_units : bool;
  3. time_typechecking : bool;
  4. skip_det_checking : bool;
}
Sourceval default_flags : flags
Sourceval to_setup_flags : flags -> Setup.flags
Sourcetype program
Sourcetype query
Sourcetype executable
Sourceexception CompileError of Ast.Loc.t option * string
Sourceval program : ?flags:flags -> elpi:Setup.elpi -> Ast.program list -> program
Sourcetype scoped_program
Sourceval scope : ?flags:flags -> elpi:Setup.elpi -> Ast.program -> scoped_program
Sourcetype compilation_unit
Sourcetype compilation_unit_signature
Sourceval empty_base : elpi:Setup.elpi -> program
Sourceval unit : ?flags:flags -> elpi:Setup.elpi -> base:program -> ?builtins:Setup.builtins list -> scoped_program -> compilation_unit
Sourceval extend : ?flags:flags -> base:program -> compilation_unit -> program
Sourceval extend_signature : ?flags:flags -> base:program -> compilation_unit_signature -> program
Sourceval query : program -> Ast.query -> query
Sourceval optimize : query -> executable
Sourceval total_type_checking_time : query -> float
Sourceval total_det_checking_time : query -> float
Sourcemodule IntervalTree : sig ... end
Sourcetype type_
Sourceval pp_type_ : Format.formatter -> type_ -> unit
Sourcetype info = {
  1. defined : Ast.Loc.t option;
  2. type_ : type_ option;
}
Sourceval pp_info : Format.formatter -> info -> unit