Module `Pattern_ppx`Source

Sourceval build_pat : Ppxlib.expression -> Ppxlib.expression

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

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

Sourceval sub : int -> string

Sourceval quoted : int -> string

Source

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

Source

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

Source

val pat_tuple_or_value : 
  loc:Ppxlib_ast__Ast_helper_lite.loc ->
  Astlib.Ast_500.Parsetree.pattern list ->
  Ppxlib.pattern

Source

val exp_tuple_or_value : 
  loc:Ppxlib_ast__Ast_helper_lite.loc ->
  Astlib.Ast_500.Parsetree.expression list ->
  Ppxlib.expression

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

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

Source

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

Source

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

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

Source

val multiple_match : 
  loc:Astlib.Location.t ->
  ('a -> string list * Ppxlib.expression) ->
  'b list ->
  ('b -> 'a) ->
  (Astlib.Ast_500.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

Source

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

Source

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

Source

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

Source

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

Source

val make_matcher_construct_with_arg : 
  (Ppxlib.pattern -> string list * Ppxlib.expression) ->
  Ppxlib.pattern ->
  (Ppxlib.pattern -> Ppxlib.pattern) ->
  Ppxlib.longident_loc ->
  Metapp.Pat.Construct.Arg.t ->
  string list * Ppxlib.expression

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

Source

val make_pat : 
  loc:Ppxlib_ast__Ast_helper_lite.loc ->
  path:'a ->
  Ppxlib.pattern ->
  Ppxlib.expression

Sourceval extension : Ppxlib.Extension.t

package pattern

Module Pattern_ppxSource

Module `Pattern_ppx`Source