446 lines
4.5 KiB
HTML
446 lines
4.5 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of MoreLabels.Map.S</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>MoreLabels.Map.S</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
MoreLabels.Map.S - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module type</H2>
|
|
|
|
Module type MoreLabels.Map.S
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module type
|
|
<B>S</B>
|
|
|
|
<BR> =
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type key </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>+'a</B>
|
|
|
|
<I>t </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val empty </I>
|
|
|
|
:
|
|
<B>'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val is_empty </I>
|
|
|
|
:
|
|
<B>'a t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mem </I>
|
|
|
|
:
|
|
<B>key -> 'a t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val add </I>
|
|
|
|
:
|
|
<B>key:key -></B>
|
|
|
|
<B>data:'a -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val update </I>
|
|
|
|
:
|
|
<B>key:key -></B>
|
|
|
|
<B>f:('a option -> 'a option) -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val singleton </I>
|
|
|
|
:
|
|
<B>key -> 'a -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val remove </I>
|
|
|
|
:
|
|
<B>key -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val merge </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a option -> 'b option -> 'c option) -></B>
|
|
|
|
<B>'a t -> 'b t -> 'c t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val union </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> 'a -> 'a option) -></B>
|
|
|
|
<B>'a t -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare </I>
|
|
|
|
:
|
|
<B>cmp:('a -> 'a -> int) -></B>
|
|
|
|
<B>'a t -> 'a t -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val equal </I>
|
|
|
|
:
|
|
<B>cmp:('a -> 'a -> bool) -></B>
|
|
|
|
<B>'a t -> 'a t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val iter </I>
|
|
|
|
:
|
|
<B>f:(key:key -> data:'a -> unit) -></B>
|
|
|
|
<B>'a t -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val fold </I>
|
|
|
|
:
|
|
<B>f:(key:key -> data:'a -> 'b -> 'b) -></B>
|
|
|
|
<B>'a t -> init:'b -> 'b</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val for_all </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> bool) -> 'a t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val exists </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> bool) -> 'a t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val filter </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> bool) -></B>
|
|
|
|
<B>'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val partition </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> bool) -></B>
|
|
|
|
<B>'a t -> 'a t * 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cardinal </I>
|
|
|
|
:
|
|
<B>'a t -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val bindings </I>
|
|
|
|
:
|
|
<B>'a t -> (key * 'a) list</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val min_binding </I>
|
|
|
|
:
|
|
<B>'a t -> key * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val min_binding_opt </I>
|
|
|
|
:
|
|
<B>'a t -> (key * 'a) option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_binding </I>
|
|
|
|
:
|
|
<B>'a t -> key * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_binding_opt </I>
|
|
|
|
:
|
|
<B>'a t -> (key * 'a) option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val choose </I>
|
|
|
|
:
|
|
<B>'a t -> key * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val choose_opt </I>
|
|
|
|
:
|
|
<B>'a t -> (key * 'a) option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val split </I>
|
|
|
|
:
|
|
<B>key -></B>
|
|
|
|
<B>'a t -></B>
|
|
|
|
<B>'a t * 'a option * 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find </I>
|
|
|
|
:
|
|
<B>key -> 'a t -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_opt </I>
|
|
|
|
:
|
|
<B>key -> 'a t -> 'a option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_first </I>
|
|
|
|
:
|
|
<B>f:(key -> bool) -></B>
|
|
|
|
<B>'a t -> key * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_first_opt </I>
|
|
|
|
:
|
|
<B>f:(key -> bool) -></B>
|
|
|
|
<B>'a t -> (key * 'a) option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_last </I>
|
|
|
|
:
|
|
<B>f:(key -> bool) -></B>
|
|
|
|
<B>'a t -> key * 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_last_opt </I>
|
|
|
|
:
|
|
<B>f:(key -> bool) -></B>
|
|
|
|
<B>'a t -> (key * 'a) option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val map </I>
|
|
|
|
:
|
|
<B>f:('a -> 'b) -> 'a t -> 'b t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mapi </I>
|
|
|
|
:
|
|
<B>f:(key -> 'a -> 'b) -></B>
|
|
|
|
<B>'a t -> 'b t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val to_seq </I>
|
|
|
|
:
|
|
<B>'a t -> (key * 'a) Seq.t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val to_seq_from </I>
|
|
|
|
:
|
|
<B>key -></B>
|
|
|
|
<B>'a t -> (key * 'a) Seq.t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val add_seq </I>
|
|
|
|
:
|
|
<B>(key * 'a) Seq.t -></B>
|
|
|
|
<B>'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val of_seq </I>
|
|
|
|
:
|
|
<B>(key * 'a) Seq.t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module type</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:48 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|