package elpi

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

Install 

dune-project
 Dependency

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

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

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

Sources

elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

doc/elpi.util/Elpi_util/Util/index.html

Module Elpi_util.UtilSource

Sourcemodule type Show = sig ... end
Sourcemodule type Show1 = sig ... end
Sourcemodule type Show2 = sig ... end
Sourcemodule Map : sig ... end
Sourcemodule Set : sig ... end
Sourcemodule Int : sig ... end
Sourcemodule Bool : sig ... end
Sourcemodule String : sig ... end
Sourcemodule StrMap : Map.S with type key = string
Sourcemodule IntMap : Map.S with type key = int
Sourcemodule StrSet : Set.S with type elt = string
Sourcemodule IntSet : Set.S with type elt = int
Sourcemodule Digest : sig ... end
Sourcemodule Hashtbl : sig ... end
Sourcemodule Loc : sig ... end
Sourceval smart_map : ('a -> 'a) -> 'a list -> 'a list
Sourceval smart_map2 : ('x -> 'a -> 'a) -> 'x -> 'a list -> 'a list
Sourceval smart_map3 : ('x -> 'y -> 'a -> 'a) -> 'x -> 'y -> 'a list -> 'a list
Sourceval uniqq : 'a list -> 'a list
Sourceval for_all2 : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
Sourceval for_all23 : argsdepth:int -> (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) -> 'x -> 'y -> 'z -> 'a list -> 'a list -> bool
Sourceval for_all3b : ('a -> 'a -> bool -> bool) -> 'a list -> 'a list -> bool list -> bool -> bool
Sourcetype arg_mode =
  1. | Input
  2. | Output
Sourceval compare_arg_mode : arg_mode -> arg_mode -> Ppx_deriving_runtime.int
Sourcetype mode_aux =
  1. | Fo of arg_mode
  2. | Ho of arg_mode * mode
Sourceand mode = mode_aux list
Sourceval for_all3b3 : argsdepth:int -> (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) -> 'x -> 'y -> 'z -> 'a list -> 'a list -> mode -> bool -> bool
Sourceval remove_from_list : 'a -> 'a list -> 'a list
Sourceval map_exists : ('a -> 'b option) -> 'a list -> 'b option
Sourceval map_filter : ('a -> 'b option) -> 'a list -> 'b list
Sourceval map_acc : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a list -> 'acc * 'b list
Sourceval map_acc2 : ('acc -> 'a -> 'b -> 'acc * 'c) -> 'acc -> 'a list -> 'b list -> 'acc * 'c list
Sourceval map_acc3 : ('acc -> 'a -> 'b -> 'd -> 'acc * 'c) -> 'acc -> 'a list -> 'b list -> 'd list -> 'acc * 'c list
Sourceval partition_i : (int -> 'a -> bool) -> 'a list -> 'a list * 'a list
Sourceval fold_left2i : (int -> 'acc -> 'x -> 'y -> 'acc) -> 'acc -> 'x list -> 'y list -> 'acc
Sourceval uniq : 'a list -> 'a list
Sourceval option_get : ?err:string -> 'a option -> 'a
Sourceval option_map : ('a -> 'b) -> 'a option -> 'b option
Sourceval option_smart_map : ('a -> 'a) -> 'a option -> 'a option
Sourceval pp_option : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
Sourceval option_mapacc : ('acc -> 'a -> 'acc * 'b) -> 'acc -> 'a option -> 'acc * 'b option
Sourceval option_iter : ('a -> unit) -> 'a option -> unit
Sourceval option_default : 'a -> 'a option -> 'a
Sourcemodule UUID : sig ... end
Sourceval pplist : ?max:int -> ?boxed:bool -> (Format.formatter -> 'a -> unit) -> ?pplastelem:(Format.formatter -> 'a -> unit) -> string -> Format.formatter -> 'a list -> unit
Sourceval pp_int : Format.formatter -> int -> unit
Sourceval pp_string : Format.formatter -> string -> unit
Sourceval pp_pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a * 'b) -> unit
Sourceval show_pair : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> ('a * 'b) -> string
Sourcetype 'a spaghetti_printer
Sourceval mk_spaghetti_printer : unit -> 'a spaghetti_printer
Sourceval set_spaghetti_printer : 'a spaghetti_printer -> (Format.formatter -> 'a -> unit) -> unit
Sourceval pp_spaghetti : 'a spaghetti_printer -> Format.formatter -> 'a -> unit
Sourceval show_spaghetti : 'a spaghetti_printer -> 'a -> string
Sourceval pp_spaghetti_any : (UUID.t * Obj.t) spaghetti_printer -> id:UUID.t -> Format.formatter -> 'a -> unit
Sourcemodule Fork : sig ... end
Sourceval error : ?loc:Loc.t -> string -> 'a
Sourceval anomaly : ?loc:Loc.t -> string -> 'a
Sourceval type_error : ?loc:Loc.t -> string -> 'a
Sourceval warn : ?loc:Loc.t -> string -> unit
Sourceval printf : ('a, Format.formatter, unit) format -> 'a
Sourceval eprintf : ('a, Format.formatter, unit) format -> 'a
Sourceval set_warn : (?loc:Loc.t -> string -> unit) -> unit
Sourceval set_error : (?loc:Loc.t -> string -> 'a) -> unit
Sourceval set_anomaly : (?loc:Loc.t -> string -> 'a) -> unit
Sourceval set_type_error : (?loc:Loc.t -> string -> 'a) -> unit
Sourceval set_std_formatter : Format.formatter -> unit
Sourceval set_err_formatter : Format.formatter -> unit
Sourceval set_formatters_maxcols : int -> unit
Sourceval set_formatters_maxbox : int -> unit
Sourcemodule CData : sig ... end
Sourceval std_resolver : ?cwd:string -> paths:string list -> unit -> ?cwd:string -> unit:string -> unit -> string
Sourcetype constant = int
Sourceval pp_constant : Format.formatter -> constant -> unit
Sourceval show_constant : constant -> string
Sourceval compare_constant : constant -> constant -> int
Sourcemodule Constants : sig ... end