gospel 0.2.0 · OCaml Package

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 : Format.formatter -> string Ppxlib.Location.loc -> unit

val protect_ident : Format.formatter -> string -> unit

val protect_longident : 
  Format.formatter ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  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 = [

| `cons of Ppxlib.Parsetree.expression list
| `list of Ppxlib.Parsetree.expression list
| `nil
| `normal
| `simple of Ppxlib.Longident.t
| `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 = {

pipe : bool;
semi : bool;
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 longident_loc : 
  Format.formatter ->
  Ppxlib.Longident.t Ppxlib.Location.loc ->
  unit

val constant : Format.formatter -> Ppxlib.Parsetree.constant -> 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) -> 'a -> 'b Ppxlib.Location.loc -> 'c

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 class_params_def : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity))
    list ->
  unit

val type_with_label : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Asttypes.arg_label * Ppxlib.Parsetree.core_type) ->
  unit

val core_type1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.core_type -> unit

val pattern_or : ctxt -> Format.formatter -> Ppxlib.Parsetree.pattern -> unit

val pattern1 : ctxt -> Format.formatter -> Ppxlib.Parsetree.pattern -> unit

val simple_pattern : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.pattern ->
  unit

val label_exp : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Asttypes.arg_label
   * Ppxlib.Parsetree.expression option
   * 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 with_constraint : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.with_constraint ->
  unit

val module_type1 : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.module_type ->
  unit

val payload : ctxt -> Format.formatter -> Ppxlib.Parsetree.payload -> unit

val binding : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.value_binding ->
  unit

val bindings : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Asttypes.rec_flag * Ppxlib.Parsetree.value_binding list) ->
  unit

val binding_op : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.binding_op ->
  unit

val type_param : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity)) ->
  unit

val type_params : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity))
    list ->
  unit

val type_def_list : 
  ctxt ->
  Format.formatter ->
  (Ppxlib.Asttypes.rec_flag * bool * Ppxlib.Parsetree.type_declaration list) ->
  unit

val record_declaration : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.label_declaration list ->
  unit

val type_extension : 
  ctxt ->
  Format.formatter ->
  Ppxlib.Parsetree.type_extension ->
  unit

val constructor_declaration : 
  ctxt ->
  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 ->
  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 top_phrase : Format.formatter -> Ppxlib.Parsetree.toplevel_phrase -> unit

val core_type : Format.formatter -> Ppxlib.Parsetree.core_type -> unit

val pattern : Format.formatter -> Ppxlib.Parsetree.pattern -> 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

val type_declaration : 
  Format.formatter ->
  Ppxlib.Parsetree.type_declaration ->
  unit

package gospel