Module Tjr_minifs.Unix_with_int_handles

Version of unix ops that keeps track of an int<->fd/dh map

module Base_types = Minifs_intf.Int_base_types
type fd_dh_map = {
int2fd : Unix.file_descr Tjr_lib.Map_int.t;
int2dh : Unix.dir_handle Tjr_lib.Map_int.t;
}
val init_fd_dh_map : fd_dh_map
val genint : unit -> int
type 'w ops_type = (int, int, 'w) Minifs_intf.ops
val ops : monad_ops:'a Tjr_monad.State_passing.state_passing Tjr_monad.monad_ops -> dh2i:(Unix.dir_handle -> ('b, 'a Tjr_monad.State_passing.state_passing) Tjr_monad.m) -> i2dh:('b -> (Unix.dir_handle, 'a Tjr_monad.State_passing.state_passing) Tjr_monad.m) -> fd2i:(Unix.file_descr -> ('c, 'a Tjr_monad.State_passing.state_passing) Tjr_monad.m) -> i2fd:('c -> (Unix.file_descr, 'a Tjr_monad.State_passing.state_passing) Tjr_monad.m) -> ('c, 'b, 'a Tjr_monad.State_passing.state_passing) Minifs_intf.ops
include sig ... end
val dh2i : Unix.dir_handle -> (Tjr_lib.Map_int.key, fd_dh_map Tjr_monad.State_passing.state_passing) Tjr_monad__.Monad_intf.m
val i2dh : Tjr_lib.Map_int.key -> (Unix.dir_handle, fd_dh_map Tjr_monad.State_passing.state_passing) Tjr_monad__.Monad_intf.m
val fd2i : Unix.file_descr -> (Tjr_lib.Map_int.key, fd_dh_map Tjr_monad.State_passing.state_passing) Tjr_monad__.Monad_intf.m
val i2fd : Tjr_lib.Map_int.key -> (Unix.file_descr, fd_dh_map Tjr_monad.State_passing.state_passing) Tjr_monad__.Monad_intf.m
val monad_ops : fd_dh_map Tjr_monad.State_passing.state_passing Tjr_monad__.Monad_intf.monad_ops
val ops : (Tjr_lib.Map_int.key, Tjr_lib.Map_int.key, fd_dh_map Tjr_monad.State_passing.state_passing) Minifs_intf.ops