Module `P5scm.Pr_o`Source

Sourceval flag_add_locations : bool ref

Sourceval flag_comments_in_phrases : bool ref

Sourceval flag_equilibrate_cases : bool ref

Sourceval flag_expand_letop_syntax : bool ref

Sourceval flag_extensions_are_irrefutable : bool ref

Sourceval flag_horiz_let_in : bool ref

Sourceval flag_semi_semi : bool ref

Sourceval pr_attribute_body : MLast.attribute_body Eprinter.t

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

Sourceval is_infix : string -> bool

Sourceval has_special_chars : string -> bool

Sourceval ocaml_char : string -> string

Sourceval is_irrefut_patt : MLast.patt -> bool

Sourceval get_defined_ident : MLast.patt -> string list

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

Source

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval uidopt_to_maybe_blank : string Ploc.vala option -> string

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Source

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

Source

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

Source

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

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

Sourceval only_spaces : string -> bool

Sourceval strip_heading_spaces : string -> string

Sourceval strip_char : 'a -> string -> string

Source

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

Source

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

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

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

Source

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

Source

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

Sourceval is_polytype_constraint : MLast.patt -> bool

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

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

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

Source

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

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

Source

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

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

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

Source

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

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

Source

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

Source

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

Sourceval has_ecs_with_params : MLast.extension_constructor list -> bool

Source

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

Source

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

Source

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

Sourceval alone_in_line : Prtools.pr_context -> bool

Sourceval equality_threshold : float

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

Sourceval string : Pprintf.pr_context -> string -> string

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Sourceval is_unary : string -> bool

Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval sep : string option ref

Sourceval output_string_eval : out_channel -> string -> unit

Source

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

Sourceval is_uppercase : char -> bool

Sourceval set_flags : string -> unit

Sourceval default_flag : unit -> string

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

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

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

Source

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

Source

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

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

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

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

Source

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

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

Source

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

Source

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

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

Source

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

Sourceval pr_o : MLast.str_item -> string

package p5scm

Module P5scm.Pr_oSource

Module `P5scm.Pr_o`Source