GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  MORELABELS.MAP.MAKE (3)

NAME

MoreLabels.Map.Make - no description

CONTENTS

Module
Documentation

Module

Module MoreLabels.Map.Make

Documentation

Module Make
: functor (Ord : OrderedType) -> sig end

Parameters:

"Ord"

MoreLabels.Map.OrderedType

type key

type +’a t

val empty : ’a t

val is_empty : ’a t -> bool

val mem : key -> ’a t -> bool

val add : key:key -> data:’a -> ’a t -> ’a t

val singleton : key -> ’a -> ’a t

val remove : key -> ’a t -> ’a t

val merge : f:(key -> ’a option -> ’b option -> ’c option) -> ’a t -> ’b t -> ’c t

val compare : cmp:(’a -> ’a -> int) -> ’a t -> ’a t -> int

val equal : cmp:(’a -> ’a -> bool) -> ’a t -> ’a t -> bool

val iter : f:(key:key -> data:’a -> unit) -> ’a t -> unit

val fold : f:(key:key -> data:’a -> ’b -> ’b) -> ’a t -> init:’b -> ’b

val for_all : f:(key -> ’a -> bool) -> ’a t -> bool

val exists : f:(key -> ’a -> bool) -> ’a t -> bool

val filter : f:(key -> ’a -> bool) -> ’a t -> ’a t

val partition : f:(key -> ’a -> bool) -> ’a t -> ’a t * ’a t

val cardinal : ’a t -> int

val bindings : ’a t -> (key * ’a) list

val min_binding : ’a t -> key * ’a

val max_binding : ’a t -> key * ’a

val choose : ’a t -> key * ’a

val split : key -> ’a t -> ’a t * ’a option * ’a t

val find : key -> ’a t -> ’a

val map : f:(’a -> ’b) -> ’a t -> ’b t

val mapi : f:(key -> ’a -> ’b) -> ’a t -> ’b t

Search for    or go to Top of page |  Section 3 |  Main Index


OCamldoc MORELABELS.MAP.MAKE (3) 2016-03-17

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.