pattern 0.1.1 · OCaml Package

module OCaml_version = Migrate_parsetree.OCaml_408

module From : sig ... end

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:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression

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

val build_pat_tuple : 
  loc:Ppxlib.location ->
  Ppxlib.expression list ->
  Ppxlib.expression

val sub : int -> string

val quoted : int -> string

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

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

val pat_tuple_or_value : 
  loc:Ppxlib.location ->
  Migrate_parsetree.Ast_408.Parsetree.pattern list ->
  Ppxlib.pattern

val exp_tuple_or_value : 
  loc:Ppxlib.location ->
  Migrate_parsetree.Ast_408.Parsetree.expression list ->
  Ppxlib.expression

val mismatch : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.pattern ->
  Ppxlib.expression

val mismatch_here : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.pattern ->
  Ppxlib.expression

val pat_of_binders : loc:Ppxlib.location -> string list -> Ppxlib.pattern

val exp_of_binders : loc:Ppxlib.location -> string list -> Ppxlib.expression

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

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

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

val multiple_match_record : 
  loc:Location.t ->
  ('a -> string list * Ppxlib.expression) ->
  (Ppxlib_ast.Ast.longident Ppxlib_ast.Ast.loc * 'a) list ->
  Migrate_parsetree.Ast_408.Asttypes.closed_flag ->
  (Migrate_parsetree.Ast_408.Parsetree.pattern ->
    (unit -> string list * Ppxlib.expression) ->
    'b) ->
  (Ppxlib.pattern -> Ppxlib.pattern) ->
  (Ppxlib.expression -> Ppxlib.expression) ->
  'b

val single_match : 
  loc:Ppxlib.location ->
  (Ppxlib_ast.Ast.pattern -> string list * Ppxlib.expression) ->
  Ppxlib_ast.Ast.pattern ->
  Ppxlib.pattern ->
  Ppxlib.pattern ->
  Ppxlib.expression ->
  string list * Ppxlib.expression

val make_matcher' : 
  (Ppxlib_ast.Ast.pattern -> string list * Ppxlib.expression) ->
  Ppxlib.pattern ->
  (Ppxlib.pattern -> Ppxlib.pattern) ->
  string list * Ppxlib.expression

val make_matcher : Ppxlib_ast.Ast.pattern -> string list * Ppxlib.expression

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

val ppx_pattern_mapper : Ast_mapper.mapper

package pattern