Module Tjr_fs_shared.Shared_ctxt

Represent common context using classes; don't open (use Tjr_fs_shared.ctxt#shared)

include Tjr_fs_shared__.Shared_ctxt_summary
type ('r, 'blk, 'buf, 't) shared_ctxt = {
r_cmp : 'r -> 'r -> int;
r_size : int;
buf_ops : 'buf Buf_ops.buf_ops;
monad_ops : 't Tjr_monad.monad_ops;
async : 't Tjr_monad.async;
event_ops : 't Tjr_monad.event_ops;
blk_ops : ('blk, 'buf) Blk_intf.blk_ops;
blk_sz : Blk_intf.blk_sz;
buf_to_blk : 'buf -> 'blk;
blk_to_buf : 'blk -> 'buf;
buf_create : unit -> 'buf;
}
type blk = {
ba_buf : Buf_ops.ba_buf;
}
type buf = {
ba_buf : Buf_ops.ba_buf;
mutable is_valid : bool;
}
val ba_buf_to_buf : Buf_ops.ba_buf -> buf
val ba_buf_to_blk : Buf_ops.ba_buf -> blk
type t = Tjr_monad.lwt
type blk_id = Blk_intf.Blk_id_as_int.blk_id
val blk_id_to_yojson : blk_id -> Yojson.Safe.t
val blk_id_of_yojson : Yojson.Safe.t -> blk_id Ppx_deriving_yojson_runtime.error_or
val _ : blk_id -> Yojson.Safe.t
val _ : Yojson.Safe.t -> blk_id Ppx_deriving_yojson_runtime.error_or
val bin_shape_blk_id : Bin_prot.Shape.t
val bin_size_blk_id : blk_id Bin_prot.Size.sizer
val bin_write_blk_id : blk_id Bin_prot.Write.writer
val bin_writer_blk_id : blk_id Bin_prot.Type_class.writer
val __bin_read_blk_id__ : (int -> blk_id) Bin_prot.Read.reader
val bin_read_blk_id : blk_id Bin_prot.Read.reader
val bin_reader_blk_id : blk_id Bin_prot.Type_class.reader
val bin_blk_id : blk_id Bin_prot.Type_class.t
val blk_id_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> blk_id
val sexp_of_blk_id : blk_id -> Ppx_sexp_conv_lib.Sexp.t
type r = blk_id
val r_to_yojson : r -> Yojson.Safe.t
val r_of_yojson : Yojson.Safe.t -> r Ppx_deriving_yojson_runtime.error_or
val _ : r -> Yojson.Safe.t
val _ : Yojson.Safe.t -> r Ppx_deriving_yojson_runtime.error_or
val bin_shape_r : Bin_prot.Shape.t
val bin_size_r : r Bin_prot.Size.sizer
val bin_write_r : r Bin_prot.Write.writer
val bin_writer_r : r Bin_prot.Type_class.writer
val __bin_read_r__ : (int -> r) Bin_prot.Read.reader
val bin_read_r : r Bin_prot.Read.reader
val bin_reader_r : r Bin_prot.Type_class.reader
val bin_r : r Bin_prot.Type_class.t
val r_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> r
val sexp_of_r : r -> Ppx_sexp_conv_lib.Sexp.t
module B = Blk_intf.Blk_id_as_int

Abbreviation

val monad_ops : Tjr_monad.With_lwt.lwt Tjr_monad__.Monad_intf.monad_ops
val (>>=) : ('a, Tjr_monad.With_lwt.lwt) Tjr_monad.m -> ('a -> ('b, Tjr_monad.With_lwt.lwt) Tjr_monad.m) -> ('b, Tjr_monad.With_lwt.lwt) Tjr_monad.m
val return : 'a -> ('a, Tjr_monad.With_lwt.lwt) Tjr_monad.m
type mutex = Tjr_monad.With_lwt.mutex
type cvar = Tjr_monad.With_lwt.cvar
val mutex_ops : Tjr_monad.With_lwt.lwt_mutex_ops
val async : Tjr_monad.With_lwt.lwt Tjr_monad__.Monad_intf.async
val yield : unit -> (unit, Tjr_monad.With_lwt.lwt) Tjr_monad__.Monad_intf.m
val event_ops : Tjr_monad.With_lwt.lwt Tjr_monad__.Monad_intf.event_ops
val r_cmp : r -> r -> int
val r_size : int
val buf_ops : buf Buf_ops.buf_ops
val blk_sz : Blk_intf.Blk_sz.blk_sz
val blk_ops : (blk, buf) Blk_intf.blk_ops
val blk_sz_i : int
val blk_to_buf : blk -> buf
val buf_to_blk : buf -> blk
val buf_create : unit -> buf
val make_blk_allocator : blk_id Stdlib.ref -> (r, t) Blk_intf.blk_allocator_ops
val shared_ctxt : (r, blk, buf, Tjr_monad.With_lwt.lwt) shared_ctxt
val ctxt : < shared_ctxt : (r, blk, buf, Tjr_monad.With_lwt.lwt) shared_ctxt; >