Module Read_write_pairSource

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

Sourcemodule Key : sig ... end
Sourcetype ('a, -'z) any = private {
  1. mutable read : 'a;
  2. mutable write : 'a;
}
Sourceval sexp_of_any : ('a -> Sexplib0.Sexp.t) -> ('z -> Sexplib0.Sexp.t) -> ('a, 'z) any -> Sexplib0.Sexp.t
Sourceval 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
Sourceval mapi : ('a, [> Core.read ]) any -> f:(Key.t -> 'a -> 'b) -> ('b, [< _ Core.perms ]) any
Sourceval map : ('a, [> Core.read ]) any -> f:('a -> 'b) -> ('b, [< _ Core.perms ]) any
Sourceval 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