package libsail

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

Module FMapList.RawSource

Parameters

Signature

Sourcemodule MX : sig ... end
Sourcemodule PX : sig ... end
Sourcetype key = X.t
Sourcetype 'elt t = (X.t * 'elt) list
Sourceval empty : 'a1 t
Sourceval is_empty : 'a1 t -> bool
Sourceval mem : key -> 'a1 t -> bool
Sourceval find : key -> 'a1 t -> 'a1 option
Sourceval add : key -> 'a1 -> 'a1 t -> 'a1 t
Sourceval remove : key -> 'a1 t -> 'a1 t
Sourceval elements : 'a1 t -> 'a1 t
Sourceval fold : (key -> 'a1 -> 'a2 -> 'a2) -> 'a1 t -> 'a2 -> 'a2
Sourceval equal : ('a1 -> 'a1 -> bool) -> 'a1 t -> 'a1 t -> bool
Sourceval map : ('a1 -> 'a2) -> 'a1 t -> 'a2 t
Sourceval mapi : (key -> 'a1 -> 'a2) -> 'a1 t -> 'a2 t
Sourceval option_cons : key -> 'a1 option -> (key * 'a1) list -> (key * 'a1) list
Sourceval map2_l : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 t -> 'a3 t
Sourceval map2_r : ('a1 option -> 'a2 option -> 'a3 option) -> 'a2 t -> 'a3 t
Sourceval map2 : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 t -> 'a2 t -> 'a3 t
Sourceval combine : 'a1 t -> 'a2 t -> ('a1 option * 'a2 option) t
Sourceval fold_right_pair : ('a1 -> 'a2 -> 'a3 -> 'a3) -> ('a1 * 'a2) list -> 'a3 -> 'a3
Sourceval map2_alt : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 t -> 'a2 t -> (key * 'a3) list
Sourceval at_least_one : 'a1 option -> 'a2 option -> ('a1 option * 'a2 option) option
Sourceval at_least_one_then_f : ('a1 option -> 'a2 option -> 'a3 option) -> 'a1 option -> 'a2 option -> 'a3 option