p5scm 0.4.0 · OCaml Package

val flag_add_locations : bool Stdlib.ref

val flag_comments_in_phrases : bool Stdlib.ref

val flag_equilibrate_cases : bool Stdlib.ref

val flag_expand_letop_syntax : bool Stdlib.ref

val flag_extensions_are_irrefutable : bool Stdlib.ref

val flag_horiz_let_in : bool Stdlib.ref

val flag_semi_semi : bool Stdlib.ref

val pr_attribute_body : MLast.attribute_body Eprinter.t

val error : Ploc.t -> string -> 'a

val is_infix : string -> bool

val has_special_chars : string -> bool

val ocaml_char : string -> string

val is_irrefut_patt : MLast.patt -> bool

val get_defined_ident : MLast.patt -> string list

val not_impl : string -> Pprintf.pr_context -> 'a -> string

val expand_lprintf : 
  Pprintf.pr_context ->
  Ploc.t ->
  (Pprintf.pr_context -> string) ->
  string

val var_escaped : Pprintf.pr_context -> (Ploc.t * string) -> string

val cons_escaped : Pprintf.pr_context -> ('a * string) -> string

val mod_ident : Pprintf.pr_context -> (Ploc.t * string list) -> string

val comma_after : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val semi_after : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val semi_semi_after : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val op_after : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  ('a * string) ->
  'b

val and_before : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val bar_before : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val andop_before : 
  (Pprintf.pr_context -> (string * 'a) -> 'b) ->
  Pprintf.pr_context ->
  (string * 'a) ->
  'b

val operator : 
  Pprintf.pr_context ->
  (Pprintf.pr_context -> 'a -> string) ->
  (Pprintf.pr_context -> 'b -> string) ->
  'c ->
  ('d * string) ->
  'a ->
  'b ->
  string

val left_operator : 
  Pprintf.pr_context ->
  'a ->
  int ->
  ('b -> ('b * string * 'b) option) ->
  'b Prtools.pr_fun ->
  'b ->
  string

val right_operator : 
  Pprintf.pr_context ->
  'a ->
  int ->
  ('b -> ('b * string * 'b) option) ->
  'b Prtools.pr_fun ->
  'b ->
  string

val uidopt_to_maybe_blank : string Ploc.vala option -> string

val expr : Eprinter.pr_context -> MLast.expr -> string

val patt : Eprinter.pr_context -> MLast.patt -> string

val ctyp : Eprinter.pr_context -> MLast.ctyp -> string

val ctyp_below_alg_attribute : Eprinter.pr_context -> MLast.ctyp -> string

val str_item : Eprinter.pr_context -> MLast.str_item -> string

val sig_item : Eprinter.pr_context -> MLast.sig_item -> string

val longident : Eprinter.pr_context -> MLast.longid -> string

val module_expr : Eprinter.pr_context -> MLast.module_expr -> string

val module_type : Eprinter.pr_context -> MLast.module_type -> string

val module_type_level_sig : Eprinter.pr_context -> MLast.module_type -> string

val expr_fun_args : MLast.expr -> MLast.patt list * MLast.expr

val simple_patt : Eprinter.pr_context -> MLast.patt -> string

val expr1 : Eprinter.pr_context -> MLast.expr -> string

val attribute_body : Eprinter.pr_context -> MLast.attribute_body -> string

val pr_attribute : 
  string ->
  Pprintf.pr_context ->
  MLast.attribute_body Ploc.vala ->
  string

val pr_extension : 
  string ->
  Pprintf.pr_context ->
  MLast.attribute_body Ploc.vala ->
  string

val longident_lident : 
  Pprintf.pr_context ->
  (MLast.longid Ploc.vala option * string Ploc.vala) ->
  string

val comm_bef : Prtools.pr_context -> MLast.loc -> string

val only_spaces : string -> bool

val strip_heading_spaces : string -> string

val strip_char : 'a -> string -> string

val comm_expr : 
  (Prtools.pr_context -> MLast.expr -> string) ->
  Prtools.pr_context ->
  MLast.expr ->
  string

val comm_patt_any : 
  (Prtools.pr_context -> (MLast.patt * 'a) -> string) ->
  Prtools.pr_context ->
  (MLast.patt * 'a) ->
  string

val patt_as : Eprinter.pr_context -> MLast.patt -> string

val label_patt : Pprintf.pr_context -> MLast.patt -> string

val binding : 
  (Pprintf.pr_context -> 'a -> string) ->
  (Pprintf.pr_context -> 'b -> string) ->
  Pprintf.pr_context ->
  ('a * 'b * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val record_binding : 
  bool ->
  Pprintf.pr_context ->
  (MLast.patt * MLast.expr) ->
  string

val is_polytype_constraint : MLast.patt -> bool

val expr_semi : Prtools.pr_context -> (MLast.expr * bool) -> string

val expr_with_comm_except_if_sequence : 
  Eprinter.pr_context ->
  MLast.expr ->
  string

val let_binding : 
  Prtools.pr_context ->
  (MLast.patt * MLast.expr * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val letop_binding : 
  Prtools.pr_context ->
  ('a
   * (MLast.patt * MLast.expr * MLast.attribute_body Ploc.vala list Ploc.vala)) ->
  string

val match_assoc : 
  bool ->
  Prtools.pr_context ->
  ((MLast.patt * MLast.expr option Ploc.vala * MLast.expr) * bool) ->
  string

val match_assoc_sh : 
  bool ->
  Prtools.pr_context ->
  ((MLast.patt * MLast.expr option Ploc.vala * MLast.expr) * bool) ->
  string

val match_assoc_list : 
  'a ->
  Pprintf.pr_context ->
  (MLast.patt * MLast.expr option Ploc.vala * MLast.expr) list ->
  string

val raise_match_failure : Eprinter.pr_context -> MLast.loc -> string

val make_expr_list : MLast.expr -> MLast.expr list * MLast.expr option

val make_patt_list : MLast.patt -> MLast.patt list * MLast.patt option

val type_var : Pprintf.pr_context -> string -> string

val tv_or_blank : Pprintf.pr_context -> string option -> string

val type_param : 
  Pprintf.pr_context ->
  ('a * (string option Ploc.vala * (bool option * bool))) ->
  string

val type_constraint : Pprintf.pr_context -> (MLast.ctyp * MLast.ctyp) -> string

val type_params : 
  Pprintf.pr_context ->
  ('a * (string option Ploc.vala * (bool option * bool)) list) ->
  string

val mem_tvar : 'a -> ('a option Ploc.vala * 'b) list -> bool

val type_decl : Prtools.pr_context -> MLast.type_decl -> string

val label_decl : 
  Pprintf.pr_context ->
  ('a
   * string
   * bool
   * MLast.ctyp
   * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val typevars_binder : Pprintf.pr_context -> string list -> string

val cons_decl : 
  Pprintf.pr_context ->
  ('a
   * string Ploc.vala
   * string list Ploc.vala
   * MLast.ctyp list Ploc.vala
   * MLast.ctyp option Ploc.vala
   * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val extension_constructor : 
  Ploc.t ->
  Pprintf.pr_context ->
  MLast.extension_constructor ->
  string

val has_ecs_with_params : MLast.extension_constructor list -> bool

val extension_constructors : 
  Ploc.t ->
  Pprintf.pr_context ->
  MLast.extension_constructor list ->
  string

val type_extension : 
  Ploc.t ->
  Prtools.pr_context ->
  MLast.type_extension ->
  string

val has_cons_with_params : 
  ('a * 'b * 'c * 'd list Ploc.vala * 'e * 'f) list ->
  bool

val alone_in_line : Prtools.pr_context -> bool

val equality_threshold : float

val are_close : ('a -> string) -> 'a -> 'a -> bool

val get_else_if : MLast.expr -> (MLast.expr * MLast.expr) list * MLast.expr

val if_then : 
  bool ->
  (Pprintf.pr_context -> MLast.expr -> string) ->
  Pprintf.pr_context ->
  (MLast.expr * MLast.expr) ->
  string

val else_if_then : 
  bool ->
  (Pprintf.pr_context -> MLast.expr -> string) ->
  Pprintf.pr_context ->
  (MLast.expr * MLast.expr) ->
  string

val loop_else_if_no_else : 
  bool ->
  (Pprintf.pr_context -> MLast.expr -> string) ->
  Pprintf.pr_context ->
  (MLast.expr * MLast.expr) list ->
  string

val loop_else_if_and_else : 
  bool ->
  (Pprintf.pr_context -> MLast.expr -> string) ->
  Pprintf.pr_context ->
  ((MLast.expr * MLast.expr) list * MLast.expr) ->
  string

val if_case_has_vertic : 
  (Prtools.pr_context -> MLast.expr -> string) ->
  Prtools.pr_context ->
  MLast.expr ->
  MLast.expr ->
  (MLast.expr * MLast.expr) list ->
  MLast.expr ->
  bool

val expr_short : Eprinter.pr_context -> MLast.expr -> string

val flatten_sequ : MLast.expr -> MLast.expr list option

val lident : Pprintf.pr_context -> string -> string

val string : Pprintf.pr_context -> string -> string

val external_decl : 
  Pprintf.pr_context ->
  (Ploc.t
   * string
   * string list
   * MLast.ctyp
   * string list
   * MLast.attribute_body Ploc.vala list) ->
  string

val exception_decl : 
  Pprintf.pr_context ->
  (Ploc.t
   * string
   * MLast.ctyp list
   * string list
   * MLast.attribute_body Ploc.vala list
   * MLast.attribute_body Ploc.vala list) ->
  string

val functor_parameter_unvala : 
  ('a Ploc.vala option Ploc.vala * 'b) option ->
  ('a option * 'b) option

val str_module : 
  string ->
  Prtools.pr_context ->
  (string option
   * MLast.module_expr
   * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val sig_module_or_module_type : 
  string ->
  bool ->
  string ->
  Prtools.pr_context ->
  (string option
   * MLast.module_type
   * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val str_or_sig_functor : 
  Pprintf.pr_context ->
  (string option * MLast.module_type) option ->
  (Pprintf.pr_context -> 'a -> string) ->
  'a ->
  string

val con_typ_pat : 
  Pprintf.pr_context ->
  ('a
   * (MLast.longid Ploc.vala option * string Ploc.vala)
   * (string option Ploc.vala * (bool option * bool)) list) ->
  string

val with_constraint : Pprintf.pr_context -> MLast.with_constr -> string

val is_unary : string -> bool

val unary : 
  (string -> bool) ->
  (Pprintf.pr_context -> MLast.expr -> 'a) ->
  Pprintf.pr_context ->
  MLast.expr ->
  'a

val map_option : ('a -> 'b) -> 'a option -> 'b option

val pr_letlike : 
  string ->
  Prtools.pr_context ->
  Ploc.t ->
  bool ->
  (string
   * (MLast.patt * MLast.expr * MLast.attribute_body Ploc.vala list Ploc.vala))
    list ->
  MLast.expr ->
  string

val space_before : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val or_before : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val amp_after : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val option : 
  (Pprintf.pr_context -> 'a -> string) ->
  Pprintf.pr_context ->
  'a option ->
  string

val sep : string option Stdlib.ref

val output_string_eval : Stdlib.out_channel -> string -> unit

val apply_printer : 
  (Prtools.pr_context -> 'a -> string) ->
  (('a * Ploc.t) list * Ploc.t) ->
  unit

val is_uppercase : char -> bool

val set_flags : string -> unit

val default_flag : unit -> string

val class_expr : Eprinter.pr_context -> MLast.class_expr -> string

val class_type : Eprinter.pr_context -> MLast.class_type -> string

val class_str_item : Eprinter.pr_context -> MLast.class_str_item -> string

val class_sig_item : Eprinter.pr_context -> MLast.class_sig_item -> string

val amp_before : 
  (Pprintf.pr_context -> 'a -> 'b) ->
  Pprintf.pr_context ->
  'a ->
  'b

val class_type_params : 
  Pprintf.pr_context ->
  ('a * (string option Ploc.vala * (bool option * bool)) list) ->
  string

val class_def : 
  Pprintf.pr_context ->
  MLast.class_type MLast.class_infos ->
  string

val class_type_decl : 
  Pprintf.pr_context ->
  MLast.class_type MLast.class_infos ->
  string

val class_type_decl_list : 
  Pprintf.pr_context ->
  'a ->
  MLast.class_type MLast.class_infos list ->
  string

val class_type_opt : Pprintf.pr_context -> MLast.class_type option -> string

val class_decl : 
  Pprintf.pr_context ->
  MLast.class_expr MLast.class_infos ->
  string

val variant_decl : Eprinter.pr_context -> MLast.poly_variant -> string

val bquote_ident : Pprintf.pr_context -> string -> string

val variant_decl_list : 
  string ->
  'a ->
  Pprintf.pr_context ->
  MLast.poly_variant list ->
  string list ->
  string

val field : 
  Pprintf.pr_context ->
  (string option * MLast.ctyp * MLast.attribute_body Ploc.vala list Ploc.vala) ->
  string

val field_expr : Pprintf.pr_context -> (string * MLast.expr) -> string

val patt_tcon : Eprinter.pr_context -> MLast.patt -> string

val typevar : Pprintf.pr_context -> string -> string

val class_object : 
  'a ->
  Pprintf.pr_context ->
  (MLast.patt option * MLast.class_str_item list) ->
  string

val simple_expr : Eprinter.pr_context -> MLast.expr -> string

val label_ipatt_eq_patt : 
  (Pprintf.pr_context -> 'a -> string) ->
  Pprintf.pr_context ->
  (MLast.patt * 'a option Ploc.vala) ->
  string

val sig_method_or_method_virtual : 
  Pprintf.pr_context ->
  string ->
  bool ->
  string ->
  MLast.ctyp ->
  MLast.attribute_body Ploc.vala list Ploc.vala ->
  string

val poly_type : Eprinter.pr_context -> MLast.ctyp -> string

val label_ipatt : 
  (Pprintf.pr_context -> 'a -> string) ->
  Pprintf.pr_context ->
  (MLast.patt * 'a option Ploc.vala) ->
  string

val pr_o : MLast.str_item -> string

package p5scm