caldav

A CalDAV server
IN THIS PACKAGE
Module Caldav . Webdav_xml
val let* : ( 'a, 'b ) result -> ( 'a -> ( 'c, 'b ) result ) -> ( 'c, 'b ) result
module M : sig ... end
type namespace = string
val show_namespace : namespace -> Ppx_deriving_runtime.string
val equal_namespace : namespace -> namespace -> Ppx_deriving_runtime.bool
val namespace_of_sexp : Sexplib0.Sexp.t -> namespace
val sexp_of_namespace : namespace -> Sexplib0.Sexp.t
type name = string
val equal_name : name -> name -> Ppx_deriving_runtime.bool
val name_of_sexp : Sexplib0.Sexp.t -> name
val sexp_of_name : name -> Sexplib0.Sexp.t
type fqname = namespace * name
val show_fqname : fqname -> Ppx_deriving_runtime.string
val equal_fqname : fqname -> fqname -> Ppx_deriving_runtime.bool
val fqname_of_sexp : Sexplib0.Sexp.t -> fqname
val sexp_of_fqname : fqname -> Sexplib0.Sexp.t
type attribute = fqname * string
val show_attribute : attribute -> Ppx_deriving_runtime.string
val equal_attribute : attribute -> attribute -> Ppx_deriving_runtime.bool
val attribute_of_sexp : Sexplib0.Sexp.t -> attribute
val sexp_of_attribute : attribute -> Sexplib0.Sexp.t
type tree =
| Pcdata of string
| Node of namespace * name * attribute list * tree list
val equal_tree : tree -> tree -> Ppx_deriving_runtime.bool
val tree_of_sexp : Sexplib0.Sexp.t -> tree
val sexp_of_tree : tree -> Sexplib0.Sexp.t
type propfind = [
| `All_prop of string list
| `Propname
| `Props of fqname list
]
val show_propfind : propfind -> Ppx_deriving_runtime.string
val equal_propfind : propfind -> propfind -> Ppx_deriving_runtime.bool
type propupdate = [
| `Set of attribute list * fqname * tree list
| `Remove of fqname
]
val show_propupdate : propupdate -> Ppx_deriving_runtime.string
val equal_propupdate : propupdate -> propupdate -> Ppx_deriving_runtime.bool
type comp = [
| `Allcomp
| `Comp of component list
]
and prop = [
| `Allprop
| `Prop of (string * bool) list
]
and component = string * prop * comp
val show_component : component -> Ppx_deriving_runtime.string
val equal_comp : comp -> comp -> Ppx_deriving_runtime.bool
val equal_prop : prop -> prop -> Ppx_deriving_runtime.bool
val equal_component : component -> component -> Ppx_deriving_runtime.bool
val show_timerange : timerange -> Ppx_deriving_runtime.string
val equal_timerange : timerange -> timerange -> Ppx_deriving_runtime.bool
type calendar_data = component option * [ `Expand of timerange | `Limit_recurrence_set of timerange ] option * [ `Limit_freebusy_set of timerange ] option
val show_calendar_data : calendar_data -> Ppx_deriving_runtime.string
val equal_calendar_data : calendar_data -> calendar_data -> Ppx_deriving_runtime.bool
type report_prop = [
| `All_props
| `Proplist of [ `Calendar_data of calendar_data | `Prop of fqname ] list
| `Propname
]
val show_report_prop : report_prop -> Ppx_deriving_runtime.string
val equal_report_prop : report_prop -> report_prop -> Ppx_deriving_runtime.bool
type param_filter = [
| `Param_filter of string * [ `Is_defined | `Is_not_defined | `Text_match of string * string * bool ]
]
val show_param_filter : param_filter -> Ppx_deriving_runtime.string
val equal_param_filter : param_filter -> param_filter -> Ppx_deriving_runtime.bool
type prop_filter = string * [ `Is_defined | `Is_not_defined | `Range of timerange * param_filter list | `Text of (string * string * bool) * param_filter list ]
val show_prop_filter : prop_filter -> Ppx_deriving_runtime.string
val equal_prop_filter : prop_filter -> prop_filter -> Ppx_deriving_runtime.bool
type comp_filter = [
| `Is_defined
| `Is_not_defined
| `Comp_filter of timerange option * prop_filter list * component_filter list
]
and component_filter = string * comp_filter
val show_comp_filter : comp_filter -> Ppx_deriving_runtime.string
val show_component_filter : component_filter -> Ppx_deriving_runtime.string
val equal_comp_filter : comp_filter -> comp_filter -> Ppx_deriving_runtime.bool
type calendar_query = report_prop option * component_filter
val show_calendar_query : calendar_query -> Ppx_deriving_runtime.string
type calendar_multiget = report_prop option * string list
val show_calendar_multiget : calendar_multiget -> Ppx_deriving_runtime.string
module Uri : sig ... end
type principal = [
| `Href of Uri.t
| `All
| `Authenticated
| `Unauthenticated
| `Self
]
val show_principal : principal -> Ppx_deriving_runtime.string
type privilege = [
| `Read
| `Write
| `Write_content
| `Write_properties
| `Unlock
| `Read_acl
| `Read_current_user_privilege_set
| `Write_acl
| `Bind
| `Unbind
| `All
]
val show_privilege : privilege -> Ppx_deriving_runtime.string
type ace = principal * [ `Grant of privilege list | `Deny of privilege list | `Inherited of Uri.t ]
type webdav_ace = principal * [ `Grant of privilege list | `Deny of privilege list ] * [ `Inherited of Uri.t ] option
val show_webdav_ace : webdav_ace -> Ppx_deriving_runtime.string
val caldav_ns : string
val dav_ns : string
val robur_ns : string
val node : ?ns:namespace -> name -> ?a:attribute list -> tree list -> tree
val dav_node : name -> ?a:attribute list -> tree list -> tree
val pcdata : string -> tree
val tree_fold_right : ( tree -> 'a -> 'b -> 'c ) -> 'd -> tree list -> 'e
val new_identifier : String.t M.t -> string -> string
val tree_unapply_namespaces : ?ns_map:String.t M.t -> tree -> tree * String.t M.t
val attach_namespaces : tree -> tree
val tyxml_to_body : Tyxml.Xml.elt -> string
val apply_ns : string -> string -> string
val attrib_to_tyxml : ((string * Tyxml.Xml.aname) * string Tyxml.Xml.wrap) -> Tyxml.Xml.attrib
val tree_to_tyxml : tree -> Tyxml.Xml.elt
val tree_to_string : tree -> string
val for_all : ( char -> bool ) -> string -> bool
val is_whitespace_node : tree -> bool
val string_to_tree : string -> tree option
val filter_map : ( 'a -> ( 'b, 'c ) result ) -> 'd list -> 'e list
val tree_lift : ( 'a -> 'b list -> ( 'c, 'd ) result ) -> ( tree -> ( 'e, 'd ) result ) -> ( tree -> ( 'b, 'f ) result ) -> tree -> ( 'c, 'd ) result
val name_ns : String.t -> String.t -> tree -> ( tree, string ) result
val any : 'a -> ( 'b, 'c ) result
val alternative : ( 'a -> ( 'b, 'c ) result ) -> ( 'd -> ( 'e, 'f ) result ) -> 'g -> ( 'e, 'f ) result
val (>>~) : ( 'a -> ( 'b, 'c ) result ) -> ( 'd -> ( 'e, 'f ) result ) -> 'g -> ( 'e, 'f ) result
val extract_name : tree -> ( name, string ) result
val extract_ns_name : tree -> ( namespace * name, string ) result
val extract_name_value : tree -> ( attribute list * (namespace * name) * tree list, string ) result
val extract_pcdata : tree -> ( string, string ) result
val extract_attributes : tree -> ( attribute list, string ) result
val leaf_node : tree -> ( tree, string ) result
val (|||) : ( 'a -> ( 'b, 'c ) result ) -> ( 'a -> ( 'b, 'd ) result ) -> 'a -> ( 'b, 'd ) result
val is_empty : 'a list -> ( unit, string ) result
val non_empty : 'a list -> ( unit, string ) result
val run : ( 'a -> 'b ) -> 'c -> 'd
val exactly_one : 'a list -> ( 'b, string ) result
val href_parser : tree -> ( string, string ) result
val privilege_children_parser : tree -> ( [> `All | `Bind | `Read | `Read_acl | `Read_current_user_privilege_set | `Unbind | `Unlock | `Write | `Write_acl | `Write_content | `Write_properties ], string ) result
val privilege_parser : tree -> ( [> `All | `Bind | `Read | `Read_acl | `Read_current_user_privilege_set | `Unbind | `Unlock | `Write | `Write_acl | `Write_content | `Write_properties ] list, string ) result
val xml_to_ace : tree -> ( ace, string ) result
val principal_to_xml : [< `All | `Authenticated | `Href of Uri.t | `Self | `Unauthenticated ] -> tree
val priv_to_xml : [< `All | `Bind | `Read | `Read_acl | `Read_current_user_privilege_set | `Unbind | `Unlock | `Write | `Write_acl | `Write_content | `Write_properties ] -> tree
val ace_to_xml : ([< `All | `Authenticated | `Href of Uri.t | `Self | `Unauthenticated ] * [< `Deny of [< `All | `Bind | `Read | `Read_acl | `Read_current_user_privilege_set | `Unbind | `Unlock | `Write | `Write_acl | `Write_content | `Write_properties ] list | `Grant of [< `All | `Bind | `Read | `Read_acl | `Read_current_user_privilege_set | `Unbind | `Unlock | `Write | `Write_acl | `Write_content | `Write_properties ] list | `Inherited of Uri.t ]) -> tree
val propfind_prop_parser : tree -> ( [ `All_prop of string list | `Include of string list | `Propname | `Props of fqname list ], string ) result
val parse_propfind_xml : tree -> ( [> `All_prop of string list | `Propname | `Props of fqname list ], string ) result
val find_attribute : String.t -> (('a * String.t) * 'b) list -> 'c option
val take_drop_while : ( 'a -> 'b option ) -> 'c list -> 'd list * 'e list
val comp_parser : tree -> ( component, string ) result
val range_parser : String.t -> tree -> ( timerange, string ) result
val limit_recurrence_set_parser : tree -> ( [> `Limit_recurrence_set of timerange ], string ) result
val expand_parser : tree -> ( [> `Expand of timerange ], string ) result
val limit_freebusy_set_parser : tree -> ( [> `Limit_freebusy_set of timerange ], string ) result
val calendar_data_parser : tree -> ( calendar_data, string ) result
val any_in_ns : String.t -> tree -> ( tree, string ) result
val extract_and_tag_prop : tree -> ( [> `Prop of namespace * name ], string ) result
val report_prop_parser : tree -> ( report_prop, string ) result
val is_not_defined_parser : tree -> ( [> `Is_not_defined ], string ) result
val text_match_parser : tree -> ( [> `Text_match of string * string * bool ], string ) result
val param_filter_parser : tree -> ( [> param_filter ], string ) result
val time_range_parser : tree -> ( [> `Timerange of timerange ], string ) result
val all_param_filters : [> `Param_filter of string * [ `Is_defined | `Is_not_defined | `Text_match of string * string * bool ] ] list -> ( param_filter list, string ) result
val prop_filter_parser : tree -> ( prop_filter, string ) result
val comp_filter_parser : tree -> ( component_filter, string ) result
val filter_parser : tree -> ( component_filter, string ) result
val parse_calendar_query_xml : tree -> ( calendar_query, string ) result
val parse_calendar_multiget_xml : tree -> ( calendar_multiget, string ) result
val proppatch_prop_parser : ( tree -> ( 'a, 'b ) result ) -> tree -> ( 'a list, string ) result
val set_parser : tree -> ( [> `Set of attribute list * fqname * tree list ] list, string ) result
val remove_parser : tree -> ( [> `Remove of fqname ] list, string ) result
val parse_propupdate_xml : tree -> ( [> `Remove of fqname | `Set of attribute list * fqname * tree list ] list, string ) result
val parse_mkcol_xml : tree -> ( [> `Set of attribute list * fqname * tree list ] list, string ) result
val ptime_to_http_date : Ptime.t -> string
val rfc3339_date_to_http_date : string -> string