piqilib
  1. Overview
  2. Docs
package piqilib
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Piqirun = Piqi_piqirun
module Piqi_impl_piqi : sig ... end
module Pib_typehint : sig ... end
module Record : sig ... end
module Field : sig ... end
module Variant : sig ... end
module Option : sig ... end
module Enum : sig ... end
module Alias : sig ... end
module Piqi_list : sig ... end
module Piqi : sig ... end
module Import : sig ... end
module Any : sig ... end
module Func : sig ... end
module Piqi_bundle : sig ... end
module Includ : sig ... end
module Extend : sig ... end
val curr_count : unit -> int
val parse_namespace : Piqirun.t -> [> `import of Piqi_impl_piqi.import | `piqi of Piqi_impl_piqi.piqi ]
val parse_piqtype : Piqirun.t -> Piqi_impl_piqi.piqtype
val parse_piq_ast : Piqirun.t -> [> `bool of bool ]
val packed_parse_piq_ast : Piqirun.IBuf.t -> [> `bool of bool ]
val parse_pib_typehint : Piqirun.t -> Pib_typehint.t
val parse_piq_format : Piqirun.t -> Piqi_impl_piqi.piq_format
val parse_protobuf_int32 : Piqirun.t -> int32
val packed_parse_protobuf_int32 : Piqirun.IBuf.t -> int32
val parse_protobuf_int64 : Piqirun.t -> int64
val packed_parse_protobuf_int64 : Piqirun.IBuf.t -> int64
val parse_protobuf_wire_type : Piqirun.t -> Piqi_impl_piqi.protobuf_wire_type
val packed_parse_protobuf_wire_type : Piqirun.IBuf.t -> [> `block | `fixed32 | `fixed64 | `signed_fixed32 | `signed_fixed64 | `signed_varint | `varint | `zigzag_varint ]
val parse_bool : Piqirun.t -> bool
val packed_parse_bool : Piqirun.IBuf.t -> bool
val parse_string : Piqirun.t -> Piqi_impl_piqi.typename
val parse_binary : Piqirun.t -> Piqi_impl_piqi.binary
val parse_piqi_any : Piqirun.t -> Piqi_impl_piqi.piqi_any
val parse_int : Piqirun.t -> int
val packed_parse_int : Piqirun.IBuf.t -> int
val parse_uint : Piqirun.t -> Piqi_impl_piqi.uint
val packed_parse_uint : Piqirun.IBuf.t -> int
val parse_int32 : Piqirun.t -> int32
val packed_parse_int32 : Piqirun.IBuf.t -> int32
val parse_uint32 : Piqirun.t -> int32
val packed_parse_uint32 : Piqirun.IBuf.t -> int32
val parse_int64 : Piqirun.t -> int64
val packed_parse_int64 : Piqirun.IBuf.t -> int64
val parse_uint64 : Piqirun.t -> int64
val packed_parse_uint64 : Piqirun.IBuf.t -> int64
val parse_float64 : Piqirun.t -> float
val packed_parse_float64 : Piqirun.IBuf.t -> float
val parse_float32 : Piqirun.t -> float
val packed_parse_float32 : Piqirun.IBuf.t -> float
val parse_int32_fixed : Piqirun.t -> int32
val packed_parse_int32_fixed : Piqirun.IBuf.t -> int32
val parse_uint32_fixed : Piqirun.t -> int32
val packed_parse_uint32_fixed : Piqirun.IBuf.t -> int32
val parse_int64_fixed : Piqirun.t -> int64
val packed_parse_int64_fixed : Piqirun.IBuf.t -> int64
val parse_uint64_fixed : Piqirun.t -> int64
val packed_parse_uint64_fixed : Piqirun.IBuf.t -> int64
val parse_float : Piqirun.t -> float
val packed_parse_float : Piqirun.IBuf.t -> float
val parse_typedef : Piqirun.t -> Piqi_impl_piqi.typedef
val parse_piqi_type : Piqirun.t -> Piqi_impl_piqi.piqi_type
val packed_parse_piqi_type : Piqirun.IBuf.t -> [> `any | `binary | `bool | `float | `int | `string ]
val parse_typename : Piqirun.t -> Piqi_impl_piqi.typename
val parse_record : Piqirun.t -> Piqi_impl_piqi.record
val parse_field : Piqirun.t -> Piqi_impl_piqi.field
val parse_field_mode : Piqirun.t -> Piqi_impl_piqi.field_mode
val packed_parse_field_mode : Piqirun.IBuf.t -> [> `optional | `repeated | `required ]
val parse_variant : Piqirun.t -> Piqi_impl_piqi.variant
val parse_option : Piqirun.t -> Piqi_impl_piqi.option
val parse_enum : Piqirun.t -> Piqi_impl_piqi.enum
val parse_alias : Piqirun.t -> Piqi_impl_piqi.alias
val parse_piqi_list : Piqirun.t -> Piqi_impl_piqi.piqi_list
val parse_piqi : Piqirun.t -> Piqi_impl_piqi.piqi
val parse_import : Piqirun.t -> Piqi_impl_piqi.import
val parse_func : Piqirun.t -> Piqi_impl_piqi.func
val parse_piqi_bundle : Piqirun.t -> Piqi_bundle.t
val parse_includ : Piqirun.t -> Piqi_impl_piqi.includ
val parse_function_param : Piqirun.t -> Piqi_impl_piqi.function_param
val parse_extend : Piqirun.t -> Piqi_impl_piqi.extend
val parse_extend_target : Piqirun.t -> Piqi_impl_piqi.extend_target
val next_count : unit -> int
val refer : 'a -> unit
val reference : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
val reference1 : ('a -> 'b) -> 'a -> 'b
val gen__namespace : int -> Piqi_impl_piqi.namespace -> Piqirun.OBuf.t
val gen__piqtype : int -> Piqi_impl_piqi.piqtype -> Piqirun.OBuf.t
val gen__piq_ast : int -> 'a -> Piqirun.OBuf.t
val packed_gen__piq_ast : 'a -> Piqirun.OBuf.t
val gen__pib_typehint : int -> Pib_typehint.t -> Piqirun.OBuf.t
val gen__piq_format : int -> Piqi_impl_piqi.piq_format -> Piqirun.OBuf.t
val gen__protobuf_int32 : int -> Int32.t -> Piqirun.OBuf.t
val packed_gen__protobuf_int32 : Int32.t -> Piqirun.OBuf.t
val gen__protobuf_int64 : int -> int64 -> Piqirun.OBuf.t
val packed_gen__protobuf_int64 : int64 -> Piqirun.OBuf.t
val gen__protobuf_wire_type : int -> Piqi_impl_piqi.protobuf_wire_type -> Piqirun.OBuf.t
val packed_gen__protobuf_wire_type : [< `block | `fixed32 | `fixed64 | `signed_fixed32 | `signed_fixed64 | `signed_varint | `varint | `zigzag_varint ] -> Piqirun.OBuf.t
val gen__bool : int -> bool -> Piqirun.OBuf.t
val packed_gen__bool : bool -> Piqirun.OBuf.t
val gen__string : int -> Piqi_impl_piqi.typename -> Piqirun.OBuf.t
val gen__binary : int -> Piqi_impl_piqi.binary -> Piqirun.OBuf.t
val gen__piqi_any : int -> Piqi_impl_piqi.piqi_any -> Piqirun.OBuf.t
val gen__int : int -> int -> Piqirun.OBuf.t
val packed_gen__int : int -> Piqirun.OBuf.t
val gen__uint : int -> Piqi_impl_piqi.uint -> Piqirun.OBuf.t
val packed_gen__uint : int -> Piqirun.OBuf.t
val gen__int32 : int -> int32 -> Piqirun.OBuf.t
val packed_gen__int32 : int32 -> Piqirun.OBuf.t
val gen__uint32 : int -> int32 -> Piqirun.OBuf.t
val packed_gen__uint32 : int32 -> Piqirun.OBuf.t
val gen__int64 : int -> int64 -> Piqirun.OBuf.t
val packed_gen__int64 : int64 -> Piqirun.OBuf.t
val gen__uint64 : int -> int64 -> Piqirun.OBuf.t
val packed_gen__uint64 : int64 -> Piqirun.OBuf.t
val gen__float64 : int -> float -> Piqirun.OBuf.t
val packed_gen__float64 : float -> Piqirun.OBuf.t
val gen__float32 : int -> float -> Piqirun.OBuf.t
val packed_gen__float32 : float -> Piqirun.OBuf.t
val gen__int32_fixed : int -> int32 -> Piqirun.OBuf.t
val packed_gen__int32_fixed : int32 -> Piqirun.OBuf.t
val gen__uint32_fixed : int -> int32 -> Piqirun.OBuf.t
val packed_gen__uint32_fixed : int32 -> Piqirun.OBuf.t
val gen__int64_fixed : int -> int64 -> Piqirun.OBuf.t
val packed_gen__int64_fixed : int64 -> Piqirun.OBuf.t
val gen__uint64_fixed : int -> int64 -> Piqirun.OBuf.t
val packed_gen__uint64_fixed : int64 -> Piqirun.OBuf.t
val gen__float : int -> float -> Piqirun.OBuf.t
val packed_gen__float : float -> Piqirun.OBuf.t
val gen__word : int -> Piqi_impl_piqi.typename -> Piqirun.OBuf.t
val gen__name : int -> Piqi_impl_piqi.typename -> Piqirun.OBuf.t
val gen__typedef : int -> Piqi_impl_piqi.typedef -> Piqirun.OBuf.t
val gen__piqi_type : int -> Piqi_impl_piqi.piqi_type -> Piqirun.OBuf.t
val packed_gen__piqi_type : [< `any | `binary | `bool | `float | `int | `string ] -> Piqirun.OBuf.t
val gen__typename : int -> Piqi_impl_piqi.typename -> Piqirun.OBuf.t
val gen__record : int -> Piqi_impl_piqi.record -> Piqirun.OBuf.t
val gen__field : int -> Piqi_impl_piqi.field -> Piqirun.OBuf.t
val gen__field_mode : int -> Piqi_impl_piqi.field_mode -> Piqirun.OBuf.t
val packed_gen__field_mode : [< `optional | `repeated | `required ] -> Piqirun.OBuf.t
val gen__variant : int -> Piqi_impl_piqi.variant -> Piqirun.OBuf.t
val gen__option : int -> Piqi_impl_piqi.option -> Piqirun.OBuf.t
val gen__enum : int -> Piqi_impl_piqi.enum -> Piqirun.OBuf.t
val gen__alias : int -> Piqi_impl_piqi.alias -> Piqirun.OBuf.t
val gen__piqi_list : int -> Piqi_impl_piqi.piqi_list -> Piqirun.OBuf.t
val gen__piqi : int -> Piqi_impl_piqi.piqi -> Piqirun.OBuf.t
val gen__import : int -> Piqi_impl_piqi.import -> Piqirun.OBuf.t
val gen__any : int -> Piqi_impl_piqi.piqi_any -> Piqirun.OBuf.t
val gen__func : int -> Piqi_impl_piqi.func -> Piqirun.OBuf.t
val gen__piqi_bundle : int -> Piqi_bundle.t -> Piqirun.OBuf.t
val gen__includ : int -> Piqi_impl_piqi.includ -> Piqirun.OBuf.t
val gen__function_param : int -> Piqi_impl_piqi.function_param -> Piqirun.OBuf.t
val gen__extend : int -> Piqi_impl_piqi.extend -> Piqirun.OBuf.t
val gen__extend_target : int -> Piqi_impl_piqi.extend_target -> Piqirun.OBuf.t
val gen_piq_ast : 'a -> Piqirun.OBuf.t
val gen_pib_typehint : Pib_typehint.t -> Piqirun.OBuf.t
val gen_protobuf_int32 : Int32.t -> Piqirun.OBuf.t
val gen_protobuf_int64 : int64 -> Piqirun.OBuf.t
val gen_protobuf_wire_type : Piqi_impl_piqi.protobuf_wire_type -> Piqirun.OBuf.t
val gen_bool : bool -> Piqirun.OBuf.t
val gen_int : int -> Piqirun.OBuf.t
val gen_int32 : int32 -> Piqirun.OBuf.t
val gen_uint32 : int32 -> Piqirun.OBuf.t
val gen_int64 : int64 -> Piqirun.OBuf.t
val gen_uint64 : int64 -> Piqirun.OBuf.t
val gen_float64 : float -> Piqirun.OBuf.t
val gen_float32 : float -> Piqirun.OBuf.t
val gen_int32_fixed : int32 -> Piqirun.OBuf.t
val gen_uint32_fixed : int32 -> Piqirun.OBuf.t
val gen_int64_fixed : int64 -> Piqirun.OBuf.t
val gen_uint64_fixed : int64 -> Piqirun.OBuf.t
val gen_float : float -> Piqirun.OBuf.t
val gen_piqi_bundle : Piqi_bundle.t -> Piqirun.OBuf.t
val gen_function_param : Piqi_impl_piqi.function_param -> Piqirun.OBuf.t
val gen_extend_target : Piqi_impl_piqi.extend_target -> Piqirun.OBuf.t
val default_namespace : unit -> [> `piqi of Piqi.t ]
val default_piqtype : unit -> Piqi_impl_piqi.piqtype
val default_piq_ast : unit -> [> `bool of bool ]
val default_pib_typehint : unit -> Pib_typehint.t
val default_piq_format : unit -> [> `word ]
val default_protobuf_int32 : unit -> int32
val default_protobuf_int64 : unit -> int64
val default_protobuf_wire_type : unit -> [> `varint ]
val default_bool : unit -> bool
val default_string : unit -> string
val default_binary : unit -> string
val default_piqi_any : unit -> Any.t
val default_int : unit -> int
val default_uint : unit -> Piqi_impl_piqi.uint
val default_int32 : unit -> int32
val default_uint32 : unit -> int32
val default_int64 : unit -> int64
val default_uint64 : unit -> int64
val default_float64 : unit -> float
val default_float32 : unit -> float
val default_int32_fixed : unit -> int32
val default_uint32_fixed : unit -> int32
val default_int64_fixed : unit -> int64
val default_uint64_fixed : unit -> int64
val default_float : unit -> float
val default_word : unit -> string
val default_name : unit -> string
val default_typedef : unit -> [< Piqi_impl_piqi.piqtype record ]
val default_piqi_type : unit -> [> `int ]
val default_typename : unit -> Piqi_impl_piqi.typename
val default_record : unit -> Piqi_impl_piqi.record
val default_field : unit -> Field.t
val default_field_mode : unit -> [> `required ]
val default_variant : unit -> Variant.t
val default_option : unit -> Option.t
val default_enum : unit -> Enum.t
val default_alias : unit -> Alias.t
val default_piqi_list : unit -> Piqi_list.t
val default_piqi : unit -> Piqi.t
val default_import : unit -> Import.t
val default_any : unit -> Any.t
val default_func : unit -> Func.t
val default_piqi_bundle : unit -> Piqi_bundle.t
val default_includ : unit -> Includ.t
val default_function_param : unit -> [> `name of string ]
val default_extend : unit -> Extend.t
val default_extend_target : unit -> [> `typedef of string ]
include module type of struct include Piqi_impl_piqi end
type uint = int
type uint32 = int32
type uint64 = int64
type float64 = float
type float32 = float
type protobuf_int32 = int32
type protobuf_int64 = int64
type binary = string
type piqi_any = Piqi_impl_piqi.any
type int32_fixed = int32
type uint32_fixed = Piqi_impl_piqi.uint32
type int64_fixed = int64
type uint64_fixed = Piqi_impl_piqi.uint64
type piq_ast = Piq_ast.ast
type word = string
type typename = Piqi_impl_piqi.name
type namespace = [
  1. | `piqi of Piqi_impl_piqi.piqi
  2. | `import of Piqi_impl_piqi.import
]
type typedef = [
  1. | `record of Piqi_impl_piqi.record
  2. | `variant of Piqi_impl_piqi.variant
  3. | `enum of Piqi_impl_piqi.enum
  4. | `alias of Piqi_impl_piqi.alias
  5. | `list of Piqi_impl_piqi.piqi_list
]
type piqi_type = [
  1. | `int
  2. | `float
  3. | `bool
  4. | `string
  5. | `binary
  6. | `any
]
type piqtype = [
  1. | typedef
  2. | piqi_type
]
type piq_format = [
  1. | `word
  2. | `text
]
type protobuf_wire_type = [
  1. | `varint
  2. | `zigzag_varint
  3. | `fixed32
  4. | `fixed64
  5. | `signed_varint
  6. | `signed_fixed32
  7. | `signed_fixed64
  8. | `block
]
type field_mode = [
  1. | `required
  2. | `optional
  3. | `repeated
]
type function_param = [
  1. | `name of Piqi_impl_piqi.name
  2. | `record of Piqi_impl_piqi.record
  3. | `variant of Piqi_impl_piqi.variant
  4. | `enum of Piqi_impl_piqi.enum
  5. | `list of Piqi_impl_piqi.piqi_list
  6. | `alias of Piqi_impl_piqi.alias
]
type extend_target = [
  1. | `typedef of Piqi_impl_piqi.name
  2. | `name of Piqi_impl_piqi.name
  3. | `field of Piqi_impl_piqi.name
  4. | `option of Piqi_impl_piqi.name
  5. | `import of Piqi_impl_piqi.name
  6. | `func of Piqi_impl_piqi.name
]
type pib_typehint = Pib_typehint.t
type record = Record.t
type field = Field.t
type variant = Variant.t
type option = Option.t
type enum = Enum.t
type alias = Alias.t
type piqi_list = Piqi_list.t
type piqi = Piqi.t
type import = Import.t
type any = Any.t
type func = Func.t
type piqi_bundle = Piqi_bundle.t
type includ = Includ.t
type extend = Extend.t