webdav

Implements the client side of the WebDAV protocol (RFC 4918)
Module Webdav_xml
type property = 'a Pxp_document.extension Pxp_document.node as 'a
val create_propname : ?namespace_manager:Pxp_dtd.namespace_manager -> string -> property
val propname_creationdate : property
val propname_displayname : property
val propname_getcontentlanguage : property
val propname_getcontentlength : property
val propname_getcontenttype : property
val propname_getetag : property
val propname_getlastmodified : property
val propname_resourcetype : property
val decode_string : property -> string
val decode_creationdate : property -> float
val decode_displayname : property -> string
val decode_getcontentlanguage : property -> string
val decode_getcontentlength : property -> int64
val decode_getcontenttype : property -> string * (string * string) list
val decode_getetag : property -> Nethttp.etag
val decode_getlastmodified : property -> float
val decode_resourcetype : property -> bool
val encode_string : string -> string -> property
val encode_creationdate : float -> property
val encode_displayname : string -> property
val encode_getcontentlanguage : string -> property
val encode_getcontentlength : int64 -> property
val encode_getcontenttype : (string * (string * string) list) -> property
val encode_getetag : Nethttp.etag -> property
val encode_getlastmodified : float -> property
val encode_resourcetype : bool -> property
type prepost_code = 'a Pxp_document.extension Pxp_document.node as 'a
type known_prepost_code = [
| `Cannot_modify_protected_property
| `No_external_entities
| `Preserved_live_properties
| `Propfind_finite_depth
]
val create_prepost_code : ?namespace_manager:Pxp_dtd.namespace_manager -> string -> prepost_code
val parse_prepost_code : prepost_code -> known_prepost_code
val emit_prepost_code : known_prepost_code -> prepost_code
val namespace_manager : unit -> Pxp_dtd.namespace_manager
val check_dtd : Pxp_dtd.dtd -> unit
val dtd : unit -> Pxp_dtd.dtd
val url_path : ?strip_prefix:string -> string -> string
class type propstat_t = object ... end
val create_propstat : properties:property list -> status:Webdav_http.webdav_status -> ?status_code:int -> ?status_text:string -> ?status_protocol:string -> ?error:prepost_code list -> ?responsedescription:string -> unit -> propstat_t
class type response_t = object ... end
val create_status_response : href:string list -> status:Webdav_http.webdav_status -> ?status_code:int -> ?status_text:string -> ?status_protocol:string -> ?error:prepost_code list -> ?responsedescription:string -> ?location:string -> ?strip_prefix:string -> unit -> response_t
val create_propstat_response : href:string -> propstat:propstat_t list -> ?error:prepost_code list -> ?responsedescription:string -> ?location:string -> ?strip_prefix:string -> unit -> response_t
class type multistatus_t = object ... end
val create_multistatus : responses:response_t list -> ?responsedescription:string -> unit -> multistatus_t
val parse_multistatus_body : ?strip_prefix:string -> ?namespace_manager:Pxp_dtd.namespace_manager -> content_type:string -> Netchannels.in_obj_channel -> multistatus_t
val write_multistatus_body : ?namespace_manager:Pxp_dtd.namespace_manager -> Netchannels.out_obj_channel -> multistatus_t -> unit
type propfind_request = [
| `Allprop of property list
| `Prop of property list
| `Propname
]
val parse_propfind_request : ?namespace_manager:Pxp_dtd.namespace_manager -> content_type:string -> Netchannels.in_obj_channel -> propfind_request
val write_propfind_request : ?namespace_manager:Pxp_dtd.namespace_manager -> Netchannels.out_obj_channel -> propfind_request -> unit
type proppatch_instruction = [
| `Remove of property list
| `Set of property list
]
type proppatch_request = proppatch_instruction list
val parse_proppatch_request : ?namespace_manager:Pxp_dtd.namespace_manager -> content_type:string -> Netchannels.in_obj_channel -> proppatch_request
val write_proppatch_request : ?namespace_manager:Pxp_dtd.namespace_manager -> Netchannels.out_obj_channel -> proppatch_request -> unit