Module Cduce_lib.Schema_common

exception XSD_validation_error of string
exception XSI_validation_error of string
val name_of_type_definition : Cduce_core.Schema_types.type_definition -> Ns.QName.t
val content_type_of_type : Cduce_core.Schema_types.type_definition -> Cduce_core.Schema_types.content_type
val first_of_model_group : Cduce_core.Schema_types.model_group -> Cduce_types.AtomSet.t
val first_of_wildcard_constraint : Cduce_core.Schema_types.wildcard_constraint -> Cduce_types.AtomSet.t
val nullable_of_model_group : Cduce_core.Schema_types.model_group -> bool
val no_facets : Cduce_core.Schema_types.facets

empty set of facets (with the only exception of "whiteSpace", which is set to <`Collapse, true>, the mandatory value for all non string derived simple types)

val normalize_white_space : Cduce_core.Schema_types.white_space_handling -> Encodings.Utf8.t -> Encodings.Utf8.t

perform white space normalization according to XML recommendation

event interface on top of CDuce values

val stream_of_value : Cduce_core.Value.t -> Cduce_core.Schema_types.event Stdlib.Stream.t
val string_of_event : Cduce_core.Schema_types.event -> string
val simple_restrict : Ns.QName.t option -> Cduce_core.Schema_types.simple_type_definition -> Cduce_core.Schema_types.facets -> Cduce_core.Schema_types.simple_type_definition
val simple_list : Ns.QName.t option -> Cduce_core.Schema_types.simple_type_definition -> Cduce_core.Schema_types.simple_type_definition
val simple_union : Ns.QName.t option -> Cduce_core.Schema_types.simple_type_definition list -> Cduce_core.Schema_types.simple_type_definition
val xsi_nil_type : Cduce_types.Types.t
val xsi_nil_atom : Cduce_types.AtomSet.V.t
val xsi_nil_label : Cduce_types.Ident.label
val merge_attribute_uses : Cduce_core.Schema_types.attribute_uses list -> Cduce_core.Schema_types.attribute_uses