Up

Module Read_write

Read_write is like Dirpair, except "buy/sell" has been changed to "read/write".

Signature

module Key : sig .. end
type ('a, -'z) any = private {
mutable read
: 'a ;
mutable write
: 'a ;
}
val any_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'z) -> Sexplib.Sexp.t -> ('a, 'z) any
val sexp_of_any : ('a -> Sexplib.Sexp.t) -> ('z -> Sexplib.Sexp.t) -> ('a, 'z) any -> Sexplib.Sexp.t
module Immutable : sig .. end
module Read_only : sig .. end
module Mutable : sig .. end
type 'a t = 'a Immutable.t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
val create : read:'a -> write:'a -> ('a, [<
| _ Core.Std.perms
]) any
val createi : (Key.t -> 'a) -> ('a, [<
| _ Core.Std.perms
]) any
val create_both : 'a -> ('a, [<
| _ Core.Std.perms
]) any
val create_fn : (unit -> 'a) -> ('a, [<
| _ Core.Std.perms
]) any
val create_with : Key.t -> 'a -> zero:'a -> ('a, [<
| _ Core.Std.perms
]) any
val copy : ('a, [>
| Core.Std.read
]) any -> ('a, [<
| _ Core.Std.perms
]) any
val exists : ('a, [>
| Core.Std.read
]) any -> f:('a -> bool) -> bool
val for_all : ('a, [>
| Core.Std.read
]) any -> f:('a -> bool) -> bool
val iteri : ('a, [>
| Core.Std.read
]) any -> f:(Key.t -> 'a -> unit) -> unit
val iter : ('a, [>
| Core.Std.read
]) any -> f:('a -> unit) -> unit
val mapi : ('a, [>
| Core.Std.read
]) any -> f:(Key.t -> 'a -> 'b) -> ('b, [<
| _ Core.Std.perms
]) any
val map : ('a, [>
| Core.Std.read
]) any -> f:('a -> 'b) -> ('b, [<
| _ Core.Std.perms
]) any
val foldi : ('a, [>
| Core.Std.read
]) any -> 'b -> f:('b -> Key.t * 'a -> 'b) -> 'b
val fold : ('a, [>
| Core.Std.read
]) any -> 'b -> f:('b -> 'a -> 'b) -> 'b
val get : ('a, [>
| Core.Std.read
]) any -> Key.t -> 'a
val replace : 'a Mutable.t -> Key.t -> f:('a -> 'a) -> unit
val replace_all : 'a Mutable.t -> f:(Key.t -> 'a -> 'a) -> unit
val set : 'a Mutable.t -> Key.t -> 'a -> unit
module Export : sig .. end