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, '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

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