webdav

Implements the client side of the WebDAV protocol (RFC 4918)
Module Webdav_http
type webdav_status = [
| `Accepted
| `Bad_gateway
| `Bad_request
| `Conflict
| `Continue
| `Created
| `Expectation_failed
| `Failed_dependency
| `Forbidden
| `Found
| `Gateway_timeout
| `Gone
| `Http_version_not_supported
| `Insufficient_storage
| `Internal_server_error
| `Length_required
| `Locked
| `Method_not_allowed
| `Moved_permanently
| `Multi_status
| `Multiple_choices
| `No_content
| `Non_authoritative
| `Not_acceptable
| `Not_found
| `Not_implemented
| `Not_modified
| `Ok
| `Partial_content
| `Payment_required
| `Precondition_failed
| `Proxy_auth_required
| `Request_entity_too_large
| `Request_timeout
| `Request_uri_too_long
| `Requested_range_not_satisfiable
| `Reset_content
| `See_other
| `Service_unavailable
| `Switching_protocols
| `Temporary_redirect
| `Unauthorized
| `Unprocessable_entity
| `Unsupported_media_type
| `Use_proxy
]
val int_of_webdav_status : webdav_status -> int
val string_of_webdav_status : webdav_status -> string
val webdav_status_of_int : int -> webdav_status
val webdav_proto : string
type depth = [
| `Infinity
| `One
| `Zero
]
type dav = [
| `Class1
| `Class2
| `Class3
| `Token of string
| `URL of string
]
type if_condition = [
| `Self_target of if_self_or_condition
| `URL_target of if_url_or_condition
]
and if_self_or_condition = [
| `Or of if_and_condition list
]
and if_url_or_condition = [
| `Or of (string * if_and_condition) list
]
and if_and_condition = [
| `And of if_atom list
]
and if_atom = [
| `Etag of Nethttp.etag
| `Not of if_atom
| `State_token of string
]
module Header : sig ... end