222 lines
2.7 KiB
HTML
222 lines
2.7 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of Identifiable.Map</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>Identifiable.Map</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>
|
|
|
|
Identifiable.Map - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module type</H2>
|
|
|
|
Module type Identifiable.Map
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module type
|
|
<B>Map</B>
|
|
|
|
<BR> =
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>module T : </I>
|
|
|
|
<B>Map.OrderedType</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>include Map.S</I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val filter_map </I>
|
|
|
|
:
|
|
<B>'a t -> f:(key -> 'a -> 'b option) -> 'b t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val of_list </I>
|
|
|
|
:
|
|
<B>(key * 'a) list -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val disjoint_union </I>
|
|
|
|
:
|
|
<B>?eq:('a -> 'a -> bool) -></B>
|
|
|
|
<B>?print:(Format.formatter -> 'a -> unit) -> 'a t -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<B>disjoint_union m1 m2</B>
|
|
|
|
contains all bindings from
|
|
<B>m1</B>
|
|
|
|
and
|
|
<B>m2</B>
|
|
|
|
. If some binding is present in both and the associated
|
|
value is not equal, a Fatal_error is raised
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val union_right </I>
|
|
|
|
:
|
|
<B>'a t -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<B>union_right m1 m2</B>
|
|
|
|
contains all bindings from
|
|
<B>m1</B>
|
|
|
|
and
|
|
<B>m2</B>
|
|
|
|
. If
|
|
some binding is present in both, the one from
|
|
<B>m2</B>
|
|
|
|
is taken
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val union_left </I>
|
|
|
|
:
|
|
<B>'a t -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<B>union_left m1 m2 = union_right m2 m1</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val union_merge </I>
|
|
|
|
:
|
|
<B>('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val rename </I>
|
|
|
|
:
|
|
<B>key t -> key -> key</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val map_keys </I>
|
|
|
|
:
|
|
<B>(key -> key) -> 'a t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val keys </I>
|
|
|
|
:
|
|
<B>'a t -> Stdlib.Set.Make(T).t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val data </I>
|
|
|
|
:
|
|
<B>'a t -> 'a list</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val of_set </I>
|
|
|
|
:
|
|
<B>(key -> 'a) -> Stdlib.Set.Make(T).t -> 'a t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val transpose_keys_and_data </I>
|
|
|
|
:
|
|
<B>key t -> key t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val transpose_keys_and_data_set </I>
|
|
|
|
:
|
|
<B>key t -> Stdlib.Set.Make(T).t t</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print </I>
|
|
|
|
:
|
|
<B>(Format.formatter -> 'a -> unit) -></B>
|
|
|
|
<B>Format.formatter -> 'a t -> unit</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:46 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|