package pxp

You can search for identifiers within the package.

in-package search v0.2.0

package pxp

pxp-engine

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) Stdlib.Hashtbl.t ->
  data_exemplar:'a node ->
  default_element_exemplar:'a node ->
  element_mapping:(string, 'a node) Stdlib.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

class !'a document : ?swarner:Pxp_types.symbolic_warnings -> Pxp_types.collect_warnings -> 
  Pxp_types.rep_encoding -> object ... end

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