Module Async_unix__.Read_write
module Key : sig ... endval sexp_of_any : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> ('z -> Ppx_sexp_conv_lib.Sexp.t) -> ('a, 'z) any -> Ppx_sexp_conv_lib.Sexp.tval any_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> (Ppx_sexp_conv_lib.Sexp.t -> 'z) -> Ppx_sexp_conv_lib.Sexp.t -> ('a, 'z) any
module Immutable : sig ... endmodule Read_only : sig ... endmodule Mutable : sig ... endtype 'a t= 'a Immutable.t
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a tval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
creation
val create : read:'a -> write:'a -> ('a, [< _ Core.perms ]) anyval createi : (Key.t -> 'a) -> ('a, [< _ Core.perms ]) anyval create_both : 'a -> ('a, [< _ Core.perms ]) anyval create_fn : (unit -> 'a) -> ('a, [< _ Core.perms ]) anyval create_with : Key.t -> 'a -> zero:'a -> ('a, [< _ Core.perms ]) anyval copy : ('a, [> Core.read ]) any -> ('a, [< _ Core.perms ]) any
map-like functions
val exists : ('a, [> Core.read ]) any -> f:('a -> bool) -> boolval for_all : ('a, [> Core.read ]) any -> f:('a -> bool) -> boolval iteri : ('a, [> Core.read ]) any -> f:(Key.t -> 'a -> unit) -> unitval iter : ('a, [> Core.read ]) any -> f:('a -> unit) -> unitval mapi : ('a, [> Core.read ]) any -> f:(Key.t -> 'a -> 'b) -> ('b, [< _ Core.perms ]) anyval map : ('a, [> Core.read ]) any -> f:('a -> 'b) -> ('b, [< _ Core.perms ]) anyval foldi : ('a, [> Core.read ]) any -> 'b -> f:('b -> (Key.t * 'a) -> 'b) -> 'bval fold : ('a, [> Core.read ]) any -> 'b -> f:('b -> 'a -> 'b) -> 'bval get : ('a, [> Core.read ]) any -> Key.t -> 'aval replace : 'a Mutable.t -> Key.t -> f:('a -> 'a) -> unitval replace_all : 'a Mutable.t -> f:(Key.t -> 'a -> 'a) -> unit
mutation
module Export : sig ... end