pattern 0.1.0 · OCaml Package

module OCaml_version = Migrate_parsetree.OCaml_407

module Ast_helper = OCaml_version.Ast.Ast_helper

module Ast_mapper = OCaml_version.Ast.Ast_mapper

module Parsetree = OCaml_version.Ast.Parsetree

val build_pat : loc:Location.t -> Parsetree.expression -> Parsetree.expression

val build_pat_construct : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.longident Ppxlib_ast.Ast.loc ->
  Parsetree.expression ->
  Parsetree.expression

val sub : int -> string

val quoted : int -> string

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

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

val pat_tuple_or_value : 
  loc:Location.t ->
  Migrate_parsetree.Ast_407.Parsetree.pattern list ->
  Parsetree.pattern

val exp_tuple_or_value : 
  loc:Location.t ->
  Migrate_parsetree.Ast_407.Parsetree.expression list ->
  Parsetree.expression

val mismatch : loc:Location.t -> Ppxlib_ast.Ast.pattern -> Parsetree.expression

val mismatch_here : 
  loc:Location.t ->
  Ppxlib_ast.Ast.pattern ->
  Parsetree.expression

val pat_of_binders : loc:Location.t -> string list -> Parsetree.pattern

val exp_of_binders : loc:Location.t -> string list -> Parsetree.expression

val multiple_match : 
  loc:Location.t ->
  ('a -> string list * Parsetree.expression) ->
  'b list ->
  ('b -> 'a) ->
  (Migrate_parsetree.Ast_407.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 ->
  (Migrate_parsetree.Ast_407.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) ->
  (Ppxlib_ast.Ast.longident Ppxlib_ast.Ast.loc * 'a) list ->
  Migrate_parsetree.Ast_407.Asttypes.closed_flag ->
  (Migrate_parsetree.Ast_407.Parsetree.pattern ->
    (unit -> string list * Parsetree.expression) ->
    'b) ->
  (Parsetree.pattern -> Parsetree.pattern) ->
  (Parsetree.expression -> Parsetree.expression) ->
  'b

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