Module `Elpi.Builtin`Source

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

Source

val 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)

Source

val 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

Source

val 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 int_set : API.Utils.IntSet.t API.Conversion.t

Sourceval string_set : API.Compile.StrSet.t API.Conversion.t

Sourceval loc_set : API.Utils.LocSet.t API.Conversion.t

Sourceval std_declarations : API.BuiltIn.declaration list

Sourceval std_builtins : API.Setup.builtins

Source

val pair : 
  'a API.Conversion.t ->
  'b API.Conversion.t ->
  ('a * 'b) API.Conversion.t

Sourceval option : 'a API.Conversion.t -> 'a option API.Conversion.t

Sourceval bool : bool API.Conversion.t

Sourcetype diagnostic = private

| OK
| ERROR of string API.BuiltInPredicate.ioarg

Sourceval diagnostic : diagnostic API.Conversion.t

Sourceval mkOK : diagnostic

Sourceval mkERROR : string -> diagnostic

Sourcetype 'a unspec =

| Given of 'a
| Unspec

Sourceval unspec : 'a API.Conversion.t -> 'a unspec API.Conversion.t

Source

val 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

package elpi

Module Elpi.BuiltinSource

Module `Elpi.Builtin`Source