package gospel

  1. Overview
  2. Docs
module Option : sig ... end
val varify_type_constructors : string Ppxlib.Location.loc list -> Ppxlib.Parsetree.core_type -> Ppxlib.Parsetree.core_type
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 string_loc : Stdlib.Format.formatter -> string Ppxlib.Location.loc -> unit
val protect_ident : Stdlib.Format.formatter -> string -> unit
val protect_longident : Stdlib.Format.formatter -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> string -> unit
type space_formatter = (unit, Stdlib.Format.formatter, unit) Stdlib.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 : Stdlib.Format.formatter -> ('a, Stdlib.Format.formatter, unit) Stdlib.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 -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val option : 'a. ?first:space_formatter -> ?last:space_formatter -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a option -> unit
val paren : 'a. ?first:space_formatter -> ?last:space_formatter -> bool -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
val longident : Stdlib.Format.formatter -> Ppxlib.Longident.t -> unit
val longident_loc : Stdlib.Format.formatter -> Ppxlib.Longident.t Ppxlib.Location.loc -> unit
val constant : Stdlib.Format.formatter -> Ppxlib.Parsetree.constant -> unit
val mutable_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.mutable_flag -> unit
val virtual_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.virtual_flag -> unit
val rec_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.rec_flag -> unit
val nonrec_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.rec_flag -> unit
val direction_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.direction_flag -> unit
val private_flag : Stdlib.Format.formatter -> Ppxlib.Asttypes.private_flag -> unit
val iter_loc : ('a -> 'b -> 'c) -> 'a -> 'b Ppxlib.Location.loc -> 'c
val constant_string : Stdlib.Format.formatter -> string -> unit
val tyvar : Stdlib.Format.formatter -> string -> unit
val tyvar_loc : Stdlib.Format.formatter -> string Ppxlib.Location.loc -> unit
val string_quot : Stdlib.Format.formatter -> string -> unit
val class_params_def : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Parsetree.core_type * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) list -> unit
val type_with_label : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Asttypes.arg_label * Ppxlib.Parsetree.core_type) -> unit
val core_type1 : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.core_type -> unit
val pattern_or : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val pattern1 : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val simple_pattern : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val label_exp : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Asttypes.arg_label * Ppxlib.Parsetree.expression option * Ppxlib.Parsetree.pattern) -> unit
val sugar_expr : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.expression -> bool
val expression1 : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.expression -> unit
val expression2 : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.expression -> unit
val simple_expr : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.expression -> unit
val attributes : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.attributes -> unit
val item_attributes : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.attributes -> unit
val attribute : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val item_attribute : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val floating_attribute : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.attribute -> unit
val value_description : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.value_description -> unit
val extension : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.extension -> unit
val item_extension : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.extension -> unit
val exception_declaration : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.type_exception -> unit
val class_type_declaration_list : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.class_type Ppxlib.Parsetree.class_infos list -> unit
val class_structure : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.class_structure -> unit
val with_constraint : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.with_constraint -> unit
val module_type1 : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.module_type -> unit
val payload : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.payload -> unit
val binding : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.value_binding -> unit
val bindings : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Asttypes.rec_flag * Ppxlib.Parsetree.value_binding list) -> unit
val binding_op : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.binding_op -> unit
val type_param : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Parsetree.core_type * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) -> unit
val type_params : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Parsetree.core_type * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) list -> unit
val type_def_list : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Asttypes.rec_flag * bool * Ppxlib.Parsetree.type_declaration list) -> unit
val record_declaration : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.label_declaration list -> unit
val type_extension : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.type_extension -> unit
val constructor_declaration : ctxt -> Stdlib.Format.formatter -> (string * string Ppxlib.Location.loc list * Ppxlib.Parsetree.constructor_arguments * Ppxlib.Parsetree.core_type option * Ppxlib.Parsetree.attributes) -> unit
val extension_constructor : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.extension_constructor -> unit
val case_list : ctxt -> Stdlib.Format.formatter -> Ppxlib.Parsetree.case list -> unit
val label_x_expression_param : ctxt -> Stdlib.Format.formatter -> (Ppxlib.Asttypes.arg_label * Ppxlib.Parsetree.expression) -> unit
val directive_argument : Stdlib.Format.formatter -> Ppxlib.Parsetree.directive_argument -> unit
val toplevel_phrase : Stdlib.Format.formatter -> Ppxlib.Parsetree.toplevel_phrase -> unit
val expression : Stdlib.Format.formatter -> Ppxlib.Parsetree.expression -> unit
val string_of_expression : Ppxlib.Parsetree.expression -> string
val string_of_structure : Ppxlib.Parsetree.structure -> string
val top_phrase : Stdlib.Format.formatter -> Ppxlib.Parsetree.toplevel_phrase -> unit
val core_type : Stdlib.Format.formatter -> Ppxlib.Parsetree.core_type -> unit
val pattern : Stdlib.Format.formatter -> Ppxlib.Parsetree.pattern -> unit
val signature : Stdlib.Format.formatter -> Ppxlib.Parsetree.signature -> unit
val structure : Stdlib.Format.formatter -> Ppxlib.Parsetree.structure -> unit
val class_expr : Stdlib.Format.formatter -> Ppxlib.Parsetree.class_expr -> unit
val class_field : Stdlib.Format.formatter -> Ppxlib.Parsetree.class_field -> unit
val class_type : Stdlib.Format.formatter -> Ppxlib.Parsetree.class_type -> unit
val class_signature : Stdlib.Format.formatter -> Ppxlib.Parsetree.class_signature -> unit
val class_type_field : Stdlib.Format.formatter -> Ppxlib.Parsetree.class_type_field -> unit
val module_expr : Stdlib.Format.formatter -> Ppxlib.Parsetree.module_expr -> unit
val module_type : Stdlib.Format.formatter -> Ppxlib.Parsetree.module_type -> unit
val signature_item : Stdlib.Format.formatter -> Ppxlib.Parsetree.signature_item -> unit
val structure_item : Stdlib.Format.formatter -> Ppxlib.Parsetree.structure_item -> unit
val type_declaration : Stdlib.Format.formatter -> Ppxlib.Parsetree.type_declaration -> unit
OCaml

Innovation. Community. Security.