Module Tjr_minifs.Unix_ops

Construct a wrapper round a local POSIX filesystem

module Unix_base_types : sig ... end
include Unix_base_types
type fd = Unix.file_descr
type dh = Unix.dir_handle
type ('w, 't) extra_ops = {
delay : a. ('w -> ('a, 't) Tjr_monad.m) -> ('a, 't) Tjr_monad.m;
}
val _EOTHER : ('a, [> `Error_other ]) Stdlib.result
val map_error' : monad_ops:'a Tjr_monad.monad_ops -> ([ `EINVAL ] -> (('b, [> `Error_exists | `Error_is_directory | `Error_no_entry | `Error_not_directory | `Error_not_empty | `Error_other ] as 'c) Stdlib.result, 'a) Tjr_monad.m) -> Unix.error -> (('b, 'c) Stdlib.result, 'a) Tjr_monad.m
val mk_ops : monad_ops:'a Tjr_monad.monad_ops -> extra:('b, 'a) extra_ops -> (Unix.file_descr, Unix.dir_handle, 'a) Minifs_intf.ops
val unix_ops : monad_ops:'a -> unit -> (Unix.file_descr, Unix.dir_handle, 'w Tjr_monad.State_passing.state_passing) Minifs_intf.ops