schema_builtin.mli 791 Bytes
Newer Older
1

2
3
open Encodings

4
5
(** all schema simple type names used in this API are prefixed with
 * Schema_xml.xsd_prefix *)
6

7
exception Schema_builtin_error of Utf8.t
8

9
10
val is_builtin: Utf8.t -> bool
val get_builtin: Utf8.t -> Schema_types.simple_type_definition
11
val iter_builtin: (Schema_types.simple_type_definition -> unit) -> unit
12

13
val cd_type_of_builtin: Utf8.t -> Types.descr
14

15
16
17
18
  (** validate_builtin <builtin> <string>
   * validates <string> against builtin type <builtin> and return the resulting
   * cduce value
   * @raise Schema_builtin_error [name] in case of validation error, where
19
20
   * [name] is the name of a schema built in type prefixed with
   * Schema_xml.xsd_prefix *)
21
val validate_builtin: Utf8.t -> Utf8.t -> Value.t
22

23
24
val string_of_time_type: (Ns.qname * Value.t) list -> Utf8.t