Module Async_unix.Read_write

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

module Key : sig ... end
type ('a, -'z) any = private {
mutable read : 'a;
mutable write : 'a;
}
include sig ... end
val any_of_sexp : (Sexplib.Sexp.t ‑> 'a) ‑> (Sexplib.Sexp.t ‑> 'z) ‑> Sexplib.Sexp.t ‑> ('a'zany
val sexp_of_any : ('a ‑> Sexplib.Sexp.t) ‑> ('z ‑> Sexplib.Sexp.t) ‑> ('a'zany ‑> Sexplib.Sexp.t
module Immutable : sig ... end
module Read_only : sig ... end
module Mutable : sig ... end
type 'a t = 'a Immutable.t
include sig ... end
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
creation
val create : read:'a ‑> write:'a ‑> ('a, [< _ Core.perms ]) any
val createi : (Key.t ‑> 'a) ‑> ('a, [< _ Core.perms ]) any
val create_both : 'a ‑> ('a, [< _ Core.perms ]) any
val create_fn : (unit ‑> 'a) ‑> ('a, [< _ Core.perms ]) any
val create_with : Key.t ‑> 'a ‑> zero:'a ‑> ('a, [< _ Core.perms ]) any
val copy : ('a, [> Core.read ]) any ‑> ('a, [< _ Core.perms ]) any
map-like functions
val exists : ('a, [> Core.read ]) any ‑> f:('a ‑> bool) ‑> bool
val for_all : ('a, [> Core.read ]) any ‑> f:('a ‑> bool) ‑> bool
val iteri : ('a, [> Core.read ]) any ‑> f:(Key.t ‑> 'a ‑> unit) ‑> unit
val iter : ('a, [> Core.read ]) any ‑> f:('a ‑> unit) ‑> unit
val mapi : ('a, [> Core.read ]) any ‑> f:(Key.t ‑> 'a ‑> 'b) ‑> ('b, [< _ Core.perms ]) any
val map : ('a, [> Core.read ]) any ‑> f:('a ‑> 'b) ‑> ('b, [< _ Core.perms ]) any
val foldi : ('a, [> Core.read ]) any ‑> 'b ‑> f:('b ‑> (Key.t * 'a) ‑> 'b) ‑> 'b
val fold : ('a, [> Core.read ]) any ‑> 'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b
val get : ('a, [> Core.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
mutation
val set : 'a Mutable.t ‑> Key.t ‑> 'a ‑> unit
module Export : sig ... end