package gospel

  1. Overview
  2. Docs
val prefix_symbols : char list
val infix_symbols : char list
val special_infix_strings : string list
val letop : string -> bool
val andop : string -> bool
val fixity_of_string : string -> [> `Andop of string | `Infix of string | `Letop of string | `Mixfix of string | `Normal | `Prefix of string ]
val view_fixity_of_exp : Ppxlib.Parsetree.expression -> [> `Andop of string | `Infix of string | `Letop of string | `Mixfix of string | `Normal | `Prefix of string ]
val is_infix : [> `Infix of 'a ] -> bool
val is_mixfix : [> `Mixfix of 'a ] -> bool
val is_kwdop : [> `Andop of 'a | `Letop of 'b ] -> bool
val first_is : char -> string -> bool
val last_is : char -> string -> bool
val first_is_in : char list -> string -> bool
val needs_parens : string -> bool
val needs_spaces : string -> bool
val protect_ident : Format.formatter -> string -> unit
val protect_longident : Format.formatter -> (Format.formatter -> 'a -> unit) -> 'b -> string -> unit
type space_formatter = (unit, Format.formatter, unit) format
val override : Ppxlib.Asttypes.override_flag -> string
val type_variance : Ppxlib.Asttypes.variance -> string
val type_injectivity : Ppxlib.Asttypes.injectivity -> string
type construct = [
  1. | `cons of Ppxlib.Parsetree.expression list
  2. | `list of Ppxlib.Parsetree.expression list
  3. | `nil
  4. | `normal
  5. | `simple of Ppxlib.Longident.t
  6. | `tuple
]
val view_expr : Ppxlib.Parsetree.expression -> [> `cons of Ppxlib.Parsetree.expression list | `list of Ppxlib.Parsetree.expression list | `nil | `normal | `simple of Astlib.Longident.t | `tuple ]
val is_simple_construct : construct -> bool
val pp : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
type ctxt = {
  1. pipe : bool;
  2. semi : bool;
  3. ifthenelse : bool;
}
val reset_ctxt : ctxt
val under_pipe : ctxt -> ctxt
val under_semi : ctxt -> ctxt
val under_ifthenelse : ctxt -> ctxt
val list : 'a. ?sep:space_formatter -> ?first:space_formatter -> ?last:space_formatter -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val option : 'a. ?first:space_formatter -> ?last:space_formatter -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val paren : 'a. ?first:space_formatter -> ?last:space_formatter -> bool -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val longident : Format.formatter -> Ppxlib.Longident.t -> unit
val mutable_flag : Format.formatter -> Ppxlib.Asttypes.mutable_flag -> unit
val virtual_flag : Format.formatter -> Ppxlib.Asttypes.virtual_flag -> unit
val rec_flag : Format.formatter -> Ppxlib.Asttypes.rec_flag -> unit
val nonrec_flag : Format.formatter -> Ppxlib.Asttypes.rec_flag -> unit
val direction_flag : Format.formatter -> Ppxlib.Asttypes.direction_flag -> unit
val private_flag : Format.formatter -> Ppxlib.Asttypes.private_flag -> unit
val iter_loc : ('a -> 'b -> 'c) -> 'd -> 'e Ppxlib.Location.loc -> 'f
val constant_string : Format.formatter -> string -> unit
val tyvar : Format.formatter -> string -> unit
val tyvar_loc : Format.formatter -> string Ppxlib.Location.loc -> unit
val string_quot : Format.formatter -> string -> unit
val core_type1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.core_type -> unit
val pattern1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val simple_pattern : ctxt -> Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val sugar_expr : ctxt -> Format.formatter -> Ppxlib.Parsetree.expression -> bool
val expression1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.expression -> unit
val expression2 : ctxt -> Format.formatter -> Ppxlib.Parsetree.expression -> unit
val simple_expr : ctxt -> Format.formatter -> Ppxlib.Parsetree.expression -> unit
val attributes : ctxt -> Format.formatter -> Ppxlib.Parsetree.attributes -> unit
val item_attributes : ctxt -> Format.formatter -> Ppxlib.Parsetree.attributes -> unit
val attribute : ctxt -> Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val item_attribute : ctxt -> Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val floating_attribute : ctxt -> Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val value_description : ctxt -> Format.formatter -> Ppxlib.Parsetree.value_description -> unit
val extension : ctxt -> Format.formatter -> Ppxlib.Parsetree.extension -> unit
val item_extension : ctxt -> Format.formatter -> Ppxlib.Parsetree.extension -> unit
val exception_declaration : ctxt -> Format.formatter -> Ppxlib.Parsetree.type_exception -> unit
val class_type_declaration_list : ctxt -> Format.formatter -> Ppxlib.Parsetree.class_type Ppxlib.Parsetree.class_infos list -> unit
val class_structure : ctxt -> Format.formatter -> Ppxlib.Parsetree.class_structure -> unit
val module_type1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.module_type -> unit
val payload : ctxt -> Format.formatter -> Ppxlib.Parsetree.payload -> unit
val binding_op : ctxt -> Format.formatter -> Ppxlib.Parsetree.binding_op -> unit
val record_declaration : ctxt -> Format.formatter -> Ppxlib.Parsetree.label_declaration list -> unit
val type_declaration : ctxt -> Format.formatter -> Ppxlib.Parsetree.type_declaration -> unit
val type_extension : ctxt -> Format.formatter -> Ppxlib.Parsetree.type_extension -> unit
val extension_constructor : ctxt -> Format.formatter -> Ppxlib.Parsetree.extension_constructor -> unit
val case_list : ctxt -> Format.formatter -> Ppxlib.Parsetree.case list -> unit
val label_x_expression_param : ctxt -> Format.formatter -> (Ppxlib.Asttypes.arg_label * Ppxlib.Parsetree.expression) -> unit
val directive_argument : Format.formatter -> Ppxlib.Parsetree.directive_argument -> unit
val toplevel_phrase : Format.formatter -> Ppxlib.Parsetree.toplevel_phrase -> unit
val expression : Format.formatter -> Ppxlib.Parsetree.expression -> unit
val string_of_expression : Ppxlib.Parsetree.expression -> string
val string_of_structure : Ppxlib.Parsetree.structure -> string
val core_type : Format.formatter -> Ppxlib.Parsetree.core_type -> unit
val signature : Format.formatter -> Ppxlib.Parsetree.signature -> unit
val structure : Format.formatter -> Ppxlib.Parsetree.structure -> unit
val class_expr : Format.formatter -> Ppxlib.Parsetree.class_expr -> unit
val class_field : Format.formatter -> Ppxlib.Parsetree.class_field -> unit
val class_type : Format.formatter -> Ppxlib.Parsetree.class_type -> unit
val class_signature : Format.formatter -> Ppxlib.Parsetree.class_signature -> unit
val class_type_field : Format.formatter -> Ppxlib.Parsetree.class_type_field -> unit
val module_expr : Format.formatter -> Ppxlib.Parsetree.module_expr -> unit
val module_type : Format.formatter -> Ppxlib.Parsetree.module_type -> unit
val signature_item : Format.formatter -> Ppxlib.Parsetree.signature_item -> unit
val structure_item : Format.formatter -> Ppxlib.Parsetree.structure_item -> unit
OCaml

Innovation. Community. Security.