pattern 0.3.0 · OCaml Package

val build_pat : Ppxlib.expression -> Ppxlib.expression

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

val build_pat_tuple : Metapp.Exp.t list -> Ppxlib.expression

val sub : int -> string

val quoted : int -> string

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

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

val pat_tuple_or_value : 
  loc:Astlib.Location.t ->
  Astlib.Ast_412.Parsetree.pattern list ->
  Ppxlib.pattern

val exp_tuple_or_value : 
  loc:Astlib.Location.t ->
  Astlib.Ast_412.Parsetree.expression list ->
  Ppxlib.expression

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

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

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

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

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

val multiple_match : 
  loc:Astlib.Location.t ->
  ('a -> string list * Ppxlib.expression) ->
  'b list ->
  ('c -> 'd) ->
  (Astlib.Ast_412.Parsetree.pattern list ->
    (unit -> string list * Ppxlib.expression) ->
    'e) ->
  (Ppxlib.expression ->
    string list ->
    Ppxlib.expression ->
    Ppxlib.expression ->
    Ppxlib.expression) ->
  (Ppxlib.expression list -> Ppxlib.expression) ->
  'f

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

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

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

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

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

val make_pat : 
  loc:Astlib.Location.t ->
  path:'a ->
  Ppxlib.pattern ->
  Ppxlib.expression

val extension : Ppxlib.Extension.t

package pattern