Webdavz (httpz.httpz.webdav.Webdavz)

Module Structure

Xml — XML tree types and xmlm-based codec
Prop — Well-known DAV: property names and accessors
Request — PROPFIND / PROPPATCH request body parsing
Response — 207 Multi-Status response generation
Handler — Generic STORE-based WebDAV route generation

Quick Start

  (* 1. Implement STORE for your backend *)
  module My_store : Webdavz.STORE = struct ... end

  (* 2. Generate routes *)
  let routes = Webdavz.Handler.routes (module My_store) my_store

  (* 3. Serve with httpz_eio *)
  let route_table = Httpz_server.Route.of_list routes

see https://datatracker.ietf.org/doc/html/rfc4918
RFC 4918 — WebDAV

module Xml : sig ... end

WebDAV XML tree types and xmlm codec.

module Prop : sig ... end

WebDAV property names and accessors.

module Request : sig ... end

WebDAV request body parsing.

module Response : sig ... end

WebDAV 207 Multi-Status response generation.

module Handler : sig ... end

WebDAV handler generation from a storage backend.

module Lock : sig ... end

In-memory WebDAV lock manager.

module type RO_STORE = sig ... end

module type STORE = sig ... end