pattern 0.2.0 · OCaml Package

val build_pat : Parsetree.expression -> Parsetree.expression

val build_pat_construct : 
  Metapp.Longident.t Asttypes.loc ->
  Metaquot.QuoteExp.t ->
  Parsetree.expression

val build_pat_tuple : Metaquot.QuoteExp.t list -> Parsetree.expression

val sub : int -> string

val quoted : int -> string

val pat_var_of_string : loc:Location.t -> string -> Parsetree.pattern

val exp_var_of_string : loc:Location.t -> string -> Parsetree.expression

val pat_tuple_or_value : 
  loc:Ast_helper.loc ->
  Parsetree.pattern list ->
  Parsetree.pattern

val exp_tuple_or_value : 
  loc:Ast_helper.loc ->
  Parsetree.expression list ->
  Parsetree.expression

val mismatch : loc:'a -> Parsetree.pattern -> Parsetree.expression

val mismatch_here : loc:'a -> Parsetree.pattern -> Parsetree.expression

val pat_of_binders : loc:Ast_helper.loc -> string list -> Parsetree.pattern

val exp_of_binders : loc:Ast_helper.loc -> string list -> Parsetree.expression

val extract_pat_list : Parsetree.pattern -> Parsetree.pattern list

val multiple_match : 
  loc:Location.t ->
  ('a -> string list * Parsetree.expression) ->
  'b list ->
  ('b -> 'a) ->
  (Parsetree.pattern list ->
    (unit -> string list * Parsetree.expression) ->
    'c) ->
  (Parsetree.expression ->
    string list ->
    Parsetree.expression ->
    Parsetree.expression ->
    Parsetree.expression) ->
  (Parsetree.expression list -> Parsetree.expression) ->
  'c

val multiple_match_tuple : 
  loc:Location.t ->
  ('a -> string list * Parsetree.expression) ->
  'a list ->
  (Parsetree.pattern -> (unit -> string list * Parsetree.expression) -> 'b) ->
  (Parsetree.pattern -> Parsetree.pattern) ->
  (Parsetree.expression -> Parsetree.expression) ->
  'b

val multiple_match_record : 
  loc:Location.t ->
  ('a -> string list * Parsetree.expression) ->
  (Metapp.Longident.t Asttypes.loc * 'a) list ->
  Asttypes.closed_flag ->
  (Parsetree.pattern -> (unit -> string list * Parsetree.expression) -> 'b) ->
  (Parsetree.pattern -> Parsetree.pattern) ->
  (Parsetree.expression -> Parsetree.expression) ->
  'b

val single_match : 
  loc:'a ->
  (Parsetree.pattern -> string list * Parsetree.expression) ->
  Parsetree.pattern ->
  Parsetree.pattern ->
  Parsetree.pattern ->
  Parsetree.expression ->
  string list * Parsetree.expression

val make_matcher' : 
  (Parsetree.pattern -> string list * Parsetree.expression) ->
  Parsetree.pattern ->
  (Parsetree.pattern -> Parsetree.pattern) ->
  string list * Parsetree.expression

val make_matcher : Parsetree.pattern -> string list * Parsetree.expression

val expr_mapper : 
  Ast_mapper.mapper ->
  Parsetree.expression ->
  Parsetree.expression

val ppx_pattern_mapper : Ast_mapper.mapper

package pattern