Legend:
Library
Module
Module type
Parameter
Class
Class type
type node_type =
| T_element of string
| T_data
| T_super_root
| T_pinstr of string
| T_comment
| T_none
| T_attribute of string
| T_namespace of string
type data_node_classification =
| CD_normal
| CD_other
| CD_empty
| CD_ignorable
| CD_error of exn
class type !'node extension = object ... end
class type !'a node = object ... end
class !'a data_impl : 'a -> object ... end
class !'a element_impl : 'a -> object ... end
class !'a comment_impl : 'a -> object ... end
class !'a pinstr_impl : 'a -> object ... end
class !'a super_root_impl : 'a -> object ... end
class !'a attribute_impl : element:string -> name:string -> Pxp_types.att_value -> Pxp_dtd.dtd -> object ... end
class !'a namespace_impl : string -> string -> Pxp_dtd.dtd -> object ... end
class !'a namespace_element_impl : 'a -> object ... end
class !'a namespace_attribute_impl : element:string -> name:string -> Pxp_types.att_value -> Pxp_dtd.dtd -> object ... end
val pinstr : 'a node extension as 'a node -> Pxp_dtd.proc_instruction
val attribute_name : 'a node extension as 'a node -> string
val attribute_value : 'a node extension as 'a node -> Pxp_types.att_value
val attribute_string_value : 'a node extension as 'a node -> string
val namespace_normprefix : 'a node extension as 'a node -> string
val namespace_display_prefix : 'a node extension as 'a node -> string
val namespace_uri : 'a node extension as 'a node -> string
type 'a spec constraint 'a = 'a node extension
val make_spec_from_mapping : ?super_root_exemplar:'a node extension as 'a node -> ?comment_exemplar:'a node -> ?default_pinstr_exemplar:'a node -> ?pinstr_mapping:( string, 'a node ) Hashtbl.t -> data_exemplar:'a node -> default_element_exemplar:'a node -> element_mapping:( string, 'a node ) Hashtbl.t -> unit -> 'a spec
val make_spec_from_alist : ?super_root_exemplar:'a node extension as 'a node -> ?comment_exemplar:'a node -> ?default_pinstr_exemplar:'a node -> ?pinstr_alist:(string * 'a node) list -> data_exemplar:'a node -> default_element_exemplar:'a node -> element_alist:(string * 'a node) list -> unit -> 'a spec
val get_data_exemplar : 'a node extension as 'a spec -> 'a node
val get_element_exemplar : 'a node extension as 'a spec -> string -> (string * string) list -> 'a node
val get_super_root_exemplar : 'a node extension as 'a spec -> 'a node
val get_comment_exemplar : 'a node extension as 'a spec -> 'a node
val get_pinstr_exemplar : 'a node extension as 'a spec -> Pxp_dtd.proc_instruction -> 'a node
val create_data_node : 'a node extension as 'a spec -> Pxp_dtd.dtd -> string -> 'a node
val create_element_node : ?name_pool_for_attribute_values:Pxp_types.pool -> ?entity_id:Pxp_types.entity_id -> ?position:(string * int * int) -> ?valcheck:bool -> ?att_values:(string * Pxp_types.att_value) list -> 'a node extension as 'a spec -> Pxp_dtd.dtd -> string -> (string * string) list -> 'a node
val create_super_root_node : ?entity_id:Pxp_types.entity_id -> ?position:(string * int * int) -> 'a node extension as 'a spec -> Pxp_dtd.dtd -> 'a node
val create_comment_node : ?entity_id:Pxp_types.entity_id -> ?position:(string * int * int) -> 'a node extension as 'a spec -> Pxp_dtd.dtd -> string -> 'a node
val create_pinstr_node : ?entity_id:Pxp_types.entity_id -> ?position:(string * int * int) -> 'a node extension as 'a spec -> Pxp_dtd.dtd -> Pxp_dtd.proc_instruction -> 'a node
val create_no_node : ?entity_id:Pxp_types.entity_id -> ?position:(string * int * int) -> 'a node extension as 'a spec -> Pxp_dtd.dtd -> 'a node
val compare : 'a node extension as 'a node -> 'a node -> int
type 'a ord_index constraint 'a = 'a node extension
val create_ord_index : 'a node extension as 'a node -> 'a ord_index
val ord_number : 'a node extension as 'a ord_index -> 'a node -> int
val ord_compare : 'a node extension as 'a ord_index -> 'a node -> 'a node -> int
val find : ?deeply:bool -> ( 'a node extension as 'a node -> bool ) -> 'a node -> 'a node
val find_all : ?deeply:bool -> ( 'a node extension as 'a node -> bool ) -> 'a node -> 'a node list
val find_element : ?deeply:bool -> string -> 'a node extension as 'a node -> 'a node
val find_all_elements : ?deeply:bool -> string -> 'a node extension as 'a node -> 'a node list
exception Skip
val map_tree : pre:( 'a node extension as 'a node -> 'b node extension as 'b node ) -> ?post:( 'b node -> 'b node ) -> 'a node -> 'b node
val map_tree_sibl : pre: ( 'a node extension as 'a node option -> 'a node -> 'a node option -> 'b node extension as 'b node ) -> ?post:( 'b node option -> 'b node -> 'b node option -> 'b node ) -> 'a node -> 'b node
val iter_tree : ?pre:( 'a node extension as 'a node -> unit ) -> ?post:( 'a node -> unit ) -> 'a node -> unit
val iter_tree_sibl : ?pre: ( 'a node extension as 'a node option -> 'a node -> 'a node option -> unit ) -> ?post:( 'a node option -> 'a node -> 'a node option -> unit ) -> 'a node -> unit
type stripping_mode = [
| `Disabled
| `Strip_one
| `Strip_one_lf
| `Strip_seq
]
val strip_whitespace : ?force:bool -> ?left:stripping_mode -> ?right:stripping_mode -> ?delete_empty_nodes:bool -> 'a node extension as 'a node -> unit
val normalize : 'a node extension as 'a node -> unit
val validate : 'a node extension as 'a node -> unit
val print_node : 'a node extension as 'a node -> unit
val print_doc : 'a node extension as 'a document -> unit
exception Error_event of exn
type !'a solid_xml = [
| `Document of 'a document
| `Node of 'a node
] constraint 'a = 'a node extension
val solidify : ?dtd:Pxp_dtd.dtd -> Pxp_types.config -> 'a node extension as 'a spec -> ( unit -> Pxp_types.event option ) -> 'a solid_xml
val liquefy : ?omit_end:bool -> ?omit_positions:bool -> 'b node extension as 'b solid_xml -> 'a -> Pxp_types.event option