package elpi

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

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
Sourceval version_parser : what:string -> string -> int * int * int
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