class type http_stream_fs =object
..end
method read : read_flag list -> string -> Netchannels.in_obj_channel
`Header h
: Set these headers in the submitted GET requestmethod read_file : read_file_flag list -> string -> Netfs.local_file
`Header h
: Set these headers in the submitted GET requestmethod write : write_flag list -> string -> Netchannels.out_obj_channel
`Header h
: Set these headers in the submitted PUT requestmethod write_file : write_file_flag list -> string -> Netfs.local_file -> unit
`Header h
: Set these headers in the submitted PUT requestmethod last_response_header : Nethttp.http_header
write
, the header is first set when
the stream is closed.
Raises Not_found
if the last operation did not receive a header
(or not fully).
method last_response_status : Nethttp.http_status * int * string
(symbolic_code,numeric_code,text)
. This triple is set in the
same way as the response header. Raises Not_found
if unavailable.method pipeline : Nethttp_client.pipeline
Netfs.stream_fs
.
(For formal reasons we cannot inherit from this class type.)
method translate : string -> string
method path_encoding : Netconversion.encoding option
method path_exclusions : (int * int) list
method nominal_dot_dot : bool
method size : Netfs.size_flag list -> string -> int64
method test : Netfs.test_flag list -> string -> Netfs.test_type -> bool
method test_list : Netfs.test_flag list -> string -> Netfs.test_type list -> bool list
method remove : Netfs.remove_flag list -> string -> unit
method rename : Netfs.rename_flag list -> string -> string -> unit
method symlink : Netfs.symlink_flag list -> string -> string -> unit
method readdir : Netfs.readdir_flag list -> string -> string list
method readlink : Netfs.readlink_flag list -> string -> string
method mkdir : Netfs.mkdir_flag list -> string -> unit
method rmdir : Netfs.rmdir_flag list -> string -> unit
method copy : Netfs.copy_flag list -> string -> string -> unit
method cancel : unit -> unit