package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Libabsolute.Tools`

This module defines diverse utilities

exception Bot_found

exception for bottom values

val fail_fmt : ('a, Format.formatter, unit, 'b) format4 -> 'a

same as failwith but uses a format instead

val invalid_fmt : ('a, Format.formatter, unit, 'b) format4 -> 'a

same as invalid_arg but uses a format instead

val inplace_print : unit -> Format.formatter -> string -> unit

printing that erases previous output. should not be intertwined with other prints

val pp_list_sep : 
  string ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

same as Format.pp_print_list but with a string as a separator

val swap_pair : ('a * 'b) -> 'b * 'a

misc

val fold_on_combination_2 : 
  ?duplicate:??? ->
  ('a -> 'b -> 'b -> 'a) ->
  'a ->
  'b array ->
  'a

folder on all possible combinations of size 2 of an array

val meet_bot : ('a -> 'b -> 'c) -> 'a option -> 'b option -> 'c option

meet on options

val merge_bot : 'a option -> 'b option -> ('a * 'b) option

merge on options

val join_bot2 : ('a -> 'a -> 'a) -> 'a option -> 'a option -> 'a option

join on options

module VarMap : sig ... end

only one instanciation forall variable maps modules

val list_pick : 'a list -> 'a

module VarSet : sig ... end