Module `Read_write_pair`Source

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

Sourcemodule Key : sig ... end

Sourcetype ('a, -'z) any = private {

mutable read : 'a;
mutable write : 'a;

}

val sexp_of_any : 
  ('a -> Sexplib0.Sexp.t) ->
  ('z -> Sexplib0.Sexp.t) ->
  ('a, 'z) any ->
  Sexplib0.Sexp.t

Source

val any_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'z) ->
  Sexplib0.Sexp.t ->
  ('a, 'z) any

Sourcemodule Immutable : sig ... end

Sourcemodule Read_only : sig ... end

Sourcemodule Mutable : sig ... end

Sourcetype 'a t = 'a Immutable.t

include Sexplib0.Sexpable.S1 with type 'a t := 'a t

Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a t

Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

creation

Sourceval create : read:'a -> write:'a -> ('a, [< _ Core.perms ]) any

Sourceval createi : (Key.t -> 'a) -> ('a, [< _ Core.perms ]) any

Sourceval create_both : 'a -> ('a, [< _ Core.perms ]) any

Sourceval create_fn : (unit -> 'a) -> ('a, [< _ Core.perms ]) any

Sourceval create_with : Key.t -> 'a -> zero:'a -> ('a, [< _ Core.perms ]) any

Sourceval copy : ('a, [> Core.read ]) any -> ('a, [< _ Core.perms ]) any

map-like functions

Sourceval exists : ('a, [> Core.read ]) any -> f:('a -> bool) -> bool

Sourceval for_all : ('a, [> Core.read ]) any -> f:('a -> bool) -> bool

Sourceval iteri : ('a, [> Core.read ]) any -> f:(Key.t -> 'a -> unit) -> unit

Sourceval iter : ('a, [> Core.read ]) any -> f:('a -> unit) -> unit

Source

val mapi : 
  ('a, [> Core.read ]) any ->
  f:(Key.t -> 'a -> 'b) ->
  ('b, [< _ Core.perms ]) any

Source

val map : 
  ('a, [> Core.read ]) any ->
  f:('a -> 'b) ->
  ('b, [< _ Core.perms ]) any

Source

val foldi : 
  ('a, [> Core.read ]) any ->
  'b ->
  f:('b -> (Key.t * 'a) -> 'b) ->
  'b

Sourceval fold : ('a, [> Core.read ]) any -> 'b -> f:('b -> 'a -> 'b) -> 'b

Sourceval get : ('a, [> Core.read ]) any -> Key.t -> 'a

Sourceval replace : 'a Mutable.t -> Key.t -> f:('a -> 'a) -> unit

Sourceval replace_all : 'a Mutable.t -> f:(Key.t -> 'a -> 'a) -> unit

mutation

Sourceval set : 'a Mutable.t -> Key.t -> 'a -> unit

Sourcemodule Export : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/async_kernel.read_write_pair/Read_write_pair/index.html

Module `Read_write_pair`Source

creation

map-like functions

mutation

package async_kernel

Install

Dune Dependency

Authors

Maintainers

Sources

doc/async_kernel.read_write_pair/Read_write_pair/index.html

Module Read_write_pairSource

creation

map-like functions

mutation

Module `Read_write_pair`Source