package 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 -> Stdlib.Int32.t -> Piqirun.OBuf.t
val packed_gen__protobuf_int32 : Stdlib.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 : Stdlib.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 ]
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. | `import of Piqi_impl_piqi.import
  2. | `piqi of Piqi_impl_piqi.piqi
]
type typedef = [
  1. | `alias of Piqi_impl_piqi.alias
  2. | `enum of Piqi_impl_piqi.enum
  3. | `list of Piqi_impl_piqi.piqi_list
  4. | `record of Piqi_impl_piqi.record
  5. | `variant of Piqi_impl_piqi.variant
]
type piqi_type = [
  1. | `any
  2. | `binary
  3. | `bool
  4. | `float
  5. | `int
  6. | `string
]
type piqtype = [
  1. | `alias of Piqi_impl_piqi.alias
  2. | `any
  3. | `binary
  4. | `bool
  5. | `enum of Piqi_impl_piqi.enum
  6. | `float
  7. | `int
  8. | `list of Piqi_impl_piqi.piqi_list
  9. | `record of Piqi_impl_piqi.record
  10. | `string
  11. | `variant of Piqi_impl_piqi.variant
]
type piq_format = [
  1. | `text
  2. | `word
]
type protobuf_wire_type = [
  1. | `block
  2. | `fixed32
  3. | `fixed64
  4. | `signed_fixed32
  5. | `signed_fixed64
  6. | `signed_varint
  7. | `varint
  8. | `zigzag_varint
]
type field_mode = [
  1. | `optional
  2. | `repeated
  3. | `required
]
type function_param = [
  1. | `alias of Piqi_impl_piqi.alias
  2. | `enum of Piqi_impl_piqi.enum
  3. | `list of Piqi_impl_piqi.piqi_list
  4. | `name of Piqi_impl_piqi.name
  5. | `record of Piqi_impl_piqi.record
  6. | `variant of Piqi_impl_piqi.variant
]
type extend_target = [
  1. | `field of Piqi_impl_piqi.name
  2. | `func of Piqi_impl_piqi.name
  3. | `import of Piqi_impl_piqi.name
  4. | `name of Piqi_impl_piqi.name
  5. | `option of Piqi_impl_piqi.name
  6. | `typedef 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct