piqilib 0.6.14 · OCaml Package

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 typedef_name : T.typedef -> Piqi_impl_piqi.Piqi_impl_piqi.name

val is_builtin_def : T.typedef -> bool

val piqi_typename : T.piqtype -> Piqi_impl_piqi.Piqi_impl_piqi.name

val full_piqi_typename : T.piqtype -> Piqi_impl_piqi.Piqi_impl_piqi.name

val name_of_field : T.Field.t -> Piqi_impl_piqi.Piqi_impl_piqi.name

val name_of_option : T.Option.t -> Piqi_impl_piqi.Piqi_impl_piqi.name

val unalias : 
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype

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

package piqilib