Up
Module type
S2_sexpable
Signature
include
S2
type
'a out_value
type
('key, 'data) t =
private
('key, 'data
out_value
)
Core.Std.Map.Poly.t
type
'a _in_value = 'a
type
'a _out_value = 'a
out_value
type
('a, 'b) _t = ('a, 'b)
t
val
empty : (_, _)
t
val
singleton : 'a -> 'b -> ('a, 'b)
t
val
is_empty : (_, _)
t
-> bool
val
length : (_, _)
t
-> int
val
add : key:'a -> data:'b -> ('a, 'b)
t
-> ('a, 'b)
t
val
find : ('a, 'b)
t
-> 'a -> 'b
out_value
val
remove : ('a, 'b)
t
-> 'a -> ('a, 'b)
t
val
set : key:'a -> data:'b
out_value
-> ('a, 'b)
t
-> ('a, 'b)
t
val
mem : ('a, _)
t
-> 'a -> bool
val
iter : ('a, 'b)
t
-> f:(key:'a -> data:'b
out_value
-> unit) -> unit
val
iteri : ('a, 'b)
t
-> f:(key:'a -> data:'b
out_value
-> unit) -> unit
val
fold : ('a, 'b)
t
-> init:'c -> f:(key:'a -> data:'b
out_value
-> 'c -> 'c) -> 'c
val
filter : ('a, 'b)
t
-> f:(key:'a -> data:'b
out_value
-> bool) -> ('a, 'b)
t
val
filteri : ('a, 'b)
t
-> f:(key:'a -> data:'b
out_value
-> bool) -> ('a, 'b)
t
val
keys : ('a, _)
t
-> 'a list
val
data : (_, 'b)
t
-> 'b
out_value
list
val
to_alist : ?key_order:[
| `Increasing
| `Decreasing
] -> ('a, 'b)
t
-> ('a * 'b
out_value
) list
val
of_list : ('a * 'b) list -> ('a, 'b)
t
val
for_all : (_, 'b)
t
-> f:('b
out_value
-> bool) -> bool
val
exists : (_, 'b)
t
-> f:('b
out_value
-> bool) -> bool
val
to_map : ('a, 'b)
t
-> ('a, 'b
out_value
)
Core.Std.Map.Poly.t
val
of_map : ('a, 'b
out_value
)
Core.Std.Map.Poly.t
-> ('a, 'b)
t
include
Core.Std.Sexpable.S2
with
type
('a, 'b)
t
:= ('a, 'b)
t
type
('a, 'b) t
val
t_of_sexp : (
Sexplib.Sexp.t
-> 'a) -> (
Sexplib.Sexp.t
-> 'b) ->
Sexplib.Sexp.t
-> ('a, 'b)
t
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> ('b ->
Sexplib.Sexp.t
) -> ('a, 'b)
t
->
Sexplib.Sexp.t