package piqilib

  1. Overview
  2. Docs
module Piqirun = Piqi_piqirun
module T = Piqi_impl_piqi
module Record = T.Record
module Field = T.Field
module Variant = T.Variant
module Option = T.Option
module Enum = T.Enum
module Alias = T.Alias
module Import = T.Import
module Includ = T.Includ
module Extend = T.Extend
module Any = T.Any
module R = Record
module F = Field
module V = Variant
module O = Option
module E = Enum
module A = Alias
module L = T.Piqi_list
module P = T.Piqi
module Config = Piqi_config
module Iolist = Piqi_iolist
module U = Piqi_util
module Std = U.Std
module List = Piqi_util.Std.List
val (@) : 'a list -> 'a list -> 'a list
type piq_ast = Piq_ast.ast
val resolve_defaults : bool ref
val is_inside_parse_piqi : bool ref
val builtin_typedefs : T.typedef list ref
val some_of : 'a option -> 'a
val with_resolve_defaults : bool -> (unit -> 'a) -> 'a
val get_parent : T.typedef -> T.namespace
val set_parent : T.typedef -> T.namespace -> unit
val get_parent_piqi : T.typedef -> T.piqi
val is_builtin_def : T.typedef -> bool
val full_piqi_typename : T.piqtype -> Piqi_impl_piqi.Piqi_impl_piqi.name
val is_typedef : Piqi_impl_piqi.Piqi_impl_piqi.piqtype -> bool
val is_container_type : Piqi_impl_piqi.Piqi_impl_piqi.piqtype -> bool
val is_self_spec : T.piqi -> bool
val depends_on_piqi_any : T.piqi -> bool
val string_of_loc : (string * int * int) -> string
val strerr : (string * int * int) -> string -> string
val string_of_exn : exn -> string
exception Error of Piqloc.loc * string
exception Piqi_error of string
val piqi_error : string -> 'a
val piqi_warning : string -> unit
val error_at : Piqloc.loc -> string -> 'a
val reference : ('a -> 'b) -> 'a -> 'b
val location : 'a -> Piqloc.loc
val error : 'a -> string -> 'b
val error_string : 'a -> string -> string
val warning : 'a -> string -> unit
val trace_indent : int ref
val print_trace_indent : unit -> unit
val eprintf_if : bool -> ('a, out_channel, unit, unit) format4 -> 'a
val debug : ('a, out_channel, unit, unit) format4 -> 'a
val trace : ('a, out_channel, unit, unit) format4 -> 'a
val trace_enter : unit -> unit
val trace_leave : 'a -> 'a
OCaml

Innovation. Community. Security.