package elpi

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