Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type error = [
| `Is_a_directory
| `Negative_bytes
| `No_directory_entry
| `Not_a_directory
| `Unix_error of Unix.error
| `Unix_errorno of int
]
type write_error = [
| `Directory_not_empty
| `File_already_exists
| `Is_a_directory
| `Negative_bytes
| `No_directory_entry
| `No_space
| `Not_a_directory
| `Unix_error of Unix.error
| `Unix_errorno of int
]
val pp_write_error : write_error Fmt.t
type 'a io = 'a Lwt.t
type page_aligned_buffer = Cstruct.t
val read :
t ->
string ->
int ->
int ->
(page_aligned_buffer list, error) Pervasives.result io
val size : t -> string -> (int64, error) Pervasives.result io
val create : t -> string -> (unit, write_error) Pervasives.result io
val mkdir : t -> string -> (unit, write_error) Pervasives.result io
val destroy : t -> string -> (unit, write_error) Pervasives.result io
val stat : t -> string -> (Mirage_fs.stat, error) Pervasives.result io
val listdir : t -> string -> (string list, error) Pervasives.result io
val write :
t ->
string ->
int ->
page_aligned_buffer ->
(unit, write_error) Pervasives.result io