package elpi

  1. Overview
  2. Docs

Module Elpi.BuiltinSource

Sourceval core_builtins : API.BuiltIn.declaration list
Sourceval io_builtins : API.BuiltIn.declaration list
Sourceval lp_builtins : API.BuiltIn.declaration list
Sourceval elpi_builtins : API.BuiltIn.declaration list
Sourceval elpi_nonlogical_builtins : API.BuiltIn.declaration list
Sourceval elpi_stdlib : API.BuiltIn.declaration list
Sourceval elpi_map : API.BuiltIn.declaration list
Sourceval elpi_set : API.BuiltIn.declaration list
Sourceval ocaml_runtime : API.BuiltIn.declaration list
Sourceval ocaml_map : name:string -> 'a API.Conversion.t -> (module API.Utils.Map.S with type key = 'a) -> API.BuiltIn.declaration list

Easy export of OCaml's Map/Set modules, use as follows: module StrMap = API.Utils.Map.Make(String) ocaml_map ~name:"strmap" BuiltInData.string (module StrMap)

Sourceval ocaml_set : name:string -> 'a API.Conversion.t -> (module API.Utils.Set.S with type elt = 'a and type t = 'b) -> API.BuiltIn.declaration list
Sourceval ocaml_set_conv : name:string -> 'a API.Conversion.t -> (module API.Utils.Set.S with type elt = 'a and type t = 'b) -> 'b API.Conversion.t * API.BuiltIn.declaration list
Sourceval std_declarations : API.BuiltIn.declaration list
Sourceval std_builtins : API.Setup.builtins
Sourceval option : 'a API.Conversion.t -> 'a option API.Conversion.t
Sourceval bool : bool API.Conversion.t
Sourcetype diagnostic = private
  1. | OK
  2. | ERROR of string API.BuiltInPredicate.ioarg
Sourceval mkOK : diagnostic
Sourceval mkERROR : string -> diagnostic
Sourcetype 'a unspec =
  1. | Given of 'a
  2. | Unspec
Sourceval unspecC : ('a, 'b, 'c) API.ContextualConversion.t -> ('a unspec, 'b, 'c) API.ContextualConversion.t
Sourceval in_stream : (in_channel * string) API.Conversion.t
Sourceval out_stream : (out_channel * string) API.Conversion.t
Sourceval default_checker : unit -> API.Compile.program