package piqilib

  1. Overview
  2. Docs
module C = Piqi_common
val check_piq_format : 'a -> [> `text | `word ] -> Piqi_impl_piqi.Piqi_impl_piqi.piqtype -> unit
val resolve_piq_format : C.T.piqtype -> Piqi_impl_piqi.Piqi_impl_piqi.piq_format option
val resolve_field_piq_format : C.F.t -> unit
val resolve_option_piq_format : C.O.t -> unit
val resolve_typedef_piq_format : [< `alias of C.A.t | `enum of 'a | `list of C.L.t | `record of C.R.t | `variant of C.V.t ] -> unit
val process_field_piq_positional : bool option -> C.F.t -> unit
val process_typedef_piq_positional : [> `record of C.R.t ] -> unit
val check_name : string -> unit
val check_opt_name : string option -> unit
val check_field_piq_alias : C.F.t -> unit
val check_option_piq_alias : C.O.t -> unit
val check_typedef_piq_alias : [> `record of C.R.t | `variant of C.V.t ] -> unit
val process_typedefs : [< `alias of C.A.t | `enum of 'a | `list of C.L.t | `record of C.R.t | `variant of C.V.t record variant ] list -> unit
val piq_of_string : string -> C.piq_ast
val to_portable_ast : C.piq_ast -> Piq_piqi.piq_node
val addloc : (string * int * int) -> [< `any of 'a | `binary of 'b * 'c | `bool of 'd | `float of 'e * 'f | `form of [> `name of 'g ] * 'h | `int of 'i * 'j | `list of 'k | `name of 'l | `named of Piq_ast.Named.t | `raw_string of 'm | `string of 'n * 'o | `text of 'p | `typed of Piq_ast.Typed.t | `typename of 'q | `uint of 'r * 's | `word of 't ] -> unit
val of_portable_ast : Piq_piqi.piq_node -> C.piq_ast