pacomb 1.1 · OCaml Package

val mkloc : 'a -> Location.t -> 'a Location.loc

val mknoloc : 'a -> 'a Location.loc

val (=) : 'a -> 'a -> bool

val (<>) : 'a -> 'a -> bool

val cache_att : 
  (Astlib.Ast_500.Parsetree.value_binding, unit) Ppxlib.Attribute.t

val merge_att : 
  (Astlib.Ast_500.Parsetree.value_binding, Astlib.Ast_500.Parsetree.expression)
    Ppxlib.Attribute.t

val layout_att : 
  (Astlib.Ast_500.Parsetree.value_binding, Astlib.Ast_500.Parsetree.expression)
    Ppxlib.Attribute.t

val print_param_att : 
  (Astlib.Ast_500.Parsetree.value_binding, Astlib.Ast_500.Parsetree.expression)
    Ppxlib.Attribute.t

val unit_ : Ppxlib_ast.Ast.expression

val merge_loc : Ppxlib.Location.t -> Ppxlib.Location.t -> Ppxlib.Location.t

exception Warn of Ppxlib.Parsetree.attribute

val warn : Ppxlib.Location.t -> string -> 'a

val add_attribute : 
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.attribute ->
  Ppxlib.Parsetree.expression

val has_ident : string -> Ppxlib_ast.Ast.expression -> bool

val exp_to_pattern : 
  bool Stdlib.ref option ->
  Ppxlib.Parsetree.expression ->
  string Location.loc option * bool * Astlib.Ast_500.Parsetree.pattern

val exp_to_term : Ppxlib.Parsetree.expression -> Ppxlib_ast.Ast.expression

val exp_to_rule_item : 
  bool ->
  (Ppxlib_ast.Ast.expression * Ppxlib.Location.t) ->
  (string Location.loc option * bool * Astlib.Ast_500.Parsetree.pattern) option
  * Astlib.Ast_500.Parsetree.pattern option
  * Ppxlib_ast.Ast.expression
  * Ppxlib.Location.t

type cond =

| CondMatch of Ppxlib.Parsetree.expression * Ppxlib.Parsetree.expression
| CondTest of Ppxlib.Parsetree.expression
| CondNone

val exp_to_rule : 
  bool ->
  Ppxlib.Parsetree.expression ->
  ((string Location.loc option * bool * Astlib.Ast_500.Parsetree.pattern)
     option
   * Astlib.Ast_500.Parsetree.pattern option
   * Ppxlib_ast.Ast.expression
   * Astlib.Location.t)
    list
  * cond

val base_rule : 
  bool ->
  (Ppxlib.Parsetree.expression -> Astlib.Ast_500.Parsetree.expression) ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression ->
  Ppxlib_ast.Ast.expression

val exp_to_rules : 
  ?name_param:(Astlib.Longident.t Astlib.Location.loc * string * 'a * 'b) ->
  ?acts_fn:(Ppxlib.Parsetree.expression -> Astlib.Ast_500.Parsetree.expression) ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib.Parsetree.expression list

val exp_to_grammar : 
  ?name_param:(Astlib.Longident.t Astlib.Location.loc * string * 'a * 'b) ->
  Ppxlib.Parsetree.expression ->
  bool * Ppxlib_ast.Ast.expression

val flatten_str : 
  Astlib.Ast_500.Parsetree.structure ->
  Astlib.Ast_500.Parsetree.structure_item

val gen_id : string -> string

val vb_to_parser : 
  Ppxlib.Asttypes.rec_flag ->
  Ppxlib.Parsetree.value_binding list ->
  Astlib.Ast_500.Parsetree.value_binding list list
  * Ppxlib.Parsetree.value_binding list
  * Astlib.Ast_500.Parsetree.value_binding list list

val str_to_parser : 
  Astlib.Ast_500.Parsetree.structure ->
  Astlib.Ast_500.Parsetree.structure_item

val exp_to_parser : 
  Ppxlib.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

module Ast = Ppxlib.Ast_builder.Default

val expand_expression : 
  Ppxlib.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

val map_all : Ppxlib.Ast_traverse.map

val rule_expr : Ppxlib.Context_free.Rule.t

val rule_str_item : Ppxlib.Context_free.Rule.t

package pacomb