Module `Elpi_util.Util`Source

Sourcemodule type Show = sig ... end

Sourcemodule type ShowKey = 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

Source

val for_all23 : 
  argsdepth:int ->
  (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) ->
  'x ->
  'y ->
  'z ->
  'a list ->
  'a list ->
  bool

Source

val for_all3b : 
  ('a -> 'a -> bool -> bool) ->
  'a list ->
  'a list ->
  bool list ->
  bool ->
  bool

Sourcemodule type Mode = sig ... end

Sourcemodule Mode : Mode

Source

val for_all3b3 : 
  argsdepth:int ->
  (argsdepth:int -> matching:bool -> 'x -> 'y -> 'z -> 'a -> 'a -> bool) ->
  'x ->
  'y ->
  'z ->
  'a list ->
  'a list ->
  Mode.ho list ->
  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

Source

val map_acc2 : 
  ('acc -> 'a -> 'b -> 'acc * 'c) ->
  'acc ->
  'a list ->
  'b list ->
  'acc * 'c list

Source

val 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

Source

val 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

Source

val pp_option : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a option ->
  unit

Source

val 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

Source

val 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

Source

val pp_pair : 
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a * 'b) ->
  unit

Source

val 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

Source

val 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

Source

val 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

Sourcetype warning_id =

| LinearVariable
| UndeclaredGlobal
| FlexClause
| ImplicationPrecedence

Sourceval warn : ?loc:Loc.t -> id:warning_id -> string -> unit

Sourceval printf : ('a, Format.formatter, unit) format -> 'a

Sourceval eprintf : ('a, Format.formatter, unit) format -> 'a

Sourceval set_warn : (?loc:Loc.t -> id:warning_id -> 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

Source

val 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

Sourceval pp_const : constant spaghetti_printer

Sourcemodule Constants : sig ... end

Sourceval version_parser : what:string -> string -> int * int * int

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Elpi_util.Util`Source

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Elpi_util.UtilSource

dune-project
Dependency

Module `Elpi_util.Util`Source