Plasma GitLab Archive
Projects Blog Knowledge

sig
  type read_flag = [ `Binary | `Dummy | `Skip of int64 | `Streaming ]
  type read_file_flag = [ `Binary | `Dummy ]
  type write_flag =
      [ `Binary | `Create | `Dummy | `Exclusive | `Streaming | `Truncate ]
  type write_file_flag =
      [ `Binary | `Create | `Dummy | `Exclusive | `Link | `Truncate ]
  type write_common = [ `Binary | `Create | `Dummy | `Exclusive | `Truncate ]
  type size_flag = [ `Dummy ]
  type test_flag = [ `Dummy | `Link ]
  type remove_flag = [ `Dummy | `Recursive ]
  type rename_flag = [ `Dummy ]
  type symlink_flag = [ `Dummy ]
  type readdir_flag = [ `Dummy ]
  type readlink_flag = [ `Dummy ]
  type mkdir_flag = [ `Dummy | `Nonexcl | `Path ]
  type rmdir_flag = [ `Dummy ]
  type copy_flag = [ `Dummy ]
  type test_type = [ `D | `E | `F | `H | `N | `R | `S | `W | `X ]
  class type local_file =
    object method close : unit -> unit method filename : string end
  class type stream_fs =
    object
      method cancel : unit -> unit
      method copy : Netfs.copy_flag list -> string -> string -> unit
      method mkdir : Netfs.mkdir_flag list -> string -> unit
      method nominal_dot_dot : bool
      method path_encoding : Netconversion.encoding option
      method path_exclusions : (int * int) list
      method read :
        Netfs.read_flag list -> string -> Netchannels.in_obj_channel
      method read_file :
        Netfs.read_file_flag list -> string -> Netfs.local_file
      method readdir : Netfs.readdir_flag list -> string -> string list
      method readlink : Netfs.readlink_flag list -> string -> string
      method remove : Netfs.remove_flag list -> string -> unit
      method rename : Netfs.rename_flag list -> string -> string -> unit
      method rmdir : Netfs.rmdir_flag list -> string -> unit
      method size : Netfs.size_flag list -> string -> int64
      method symlink : Netfs.symlink_flag list -> string -> string -> unit
      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 write :
        Netfs.write_flag list -> string -> Netchannels.out_obj_channel
      method write_file :
        Netfs.write_file_flag list -> string -> Netfs.local_file -> unit
    end
  class empty_fs : string -> stream_fs
  val local_fs :
    ?encoding:Netconversion.encoding ->
    ?root:string -> ?enable_relative_paths:bool -> unit -> Netfs.stream_fs
  val copy :
    ?replace:bool ->
    ?streaming:bool ->
    #Netfs.stream_fs -> string -> #Netfs.stream_fs -> string -> unit
  val copy_into :
    ?replace:bool ->
    ?subst:(int -> string) ->
    ?streaming:bool ->
    #Netfs.stream_fs -> string -> #Netfs.stream_fs -> string -> unit
  type file_kind = [ `Directory | `None | `Other | `Regular | `Symlink ]
  val iter :
    pre:(string -> Netfs.file_kind -> Netfs.file_kind -> unit) ->
    ?post:(string -> unit) -> #Netfs.stream_fs -> string -> unit
  val convert_path :
    ?subst:(int -> string) ->
    #Netfs.stream_fs -> #Netfs.stream_fs -> string -> string
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml