Sarek_parse_helpers (sarek.Sarek_parse

val loc_of_ppxlib : Ppxlib.Location.t -> Sarek_ast.loc

Convert ppxlib location to Sarek location

exception Parse_error_exn of string * Ppxlib.Location.t

Parse exception

val loc_to_sloc : Ppxlib.Location.t -> Sarek_ast.loc

val parse_type : Ppxlib.core_type -> Sarek_ast.type_expr

Parse a core_type to type_expr

val parse_record_fields : 
  Ppxlib.label_declaration list ->
  (string * bool * Sarek_ast.type_expr) list

val parse_variant_constructors : 
  Ppxlib.constructor_declaration list ->
  (string * Sarek_ast.type_expr option) list

val extract_type_from_pattern : Ppxlib.pattern -> Sarek_ast.type_expr option

Extract type annotation from a Ppxlib pattern if present

val extract_name_from_pattern : Ppxlib.pattern -> string option

Extract variable name from a Ppxlib pattern

val extract_param_from_pattern : Ppxlib.pattern -> Sarek_ast.param

Extract parameter from pparam_desc

val parse_pattern : Ppxlib.pattern -> Sarek_ast.pattern

Parse a Ppxlib pattern to Sarek pattern

val parse_binop : string -> Sarek_ast.binop option

Parse a binary operator

val parse_unop : string -> Sarek_ast.unop option

Parse a unary operator

module Ast_502 = Astlib.Ast_502

module To_502 : sig ... end

module From_502 : sig ... end

val expression_to_502 : 
  Ppxlib_ast__Import.Js.Ast.Parsetree.expression ->
  Ppxlib_ast__Versions.OCaml_502.Ast.Parsetree.expression

val expression_of_502 : 
  Ppxlib_ast__Versions.OCaml_502.Ast.Parsetree.expression ->
  Ppxlib_ast__Import.Js.Ast.Parsetree.expression

val pattern_of_502 : 
  Ppxlib_ast__Versions.OCaml_502.Ast.Parsetree.pattern ->
  Ppxlib_ast__Import.Js.Ast.Parsetree.pattern

val case_of_502 : 
  Ppxlib_ast__Versions.OCaml_502.Ast.Parsetree.case ->
  Ppxlib_ast__Import.Js.Ast.Parsetree.case

type fun_body =

val is_function_expression_502 : 
  Ppxlib_ast__Import.Js.Ast.Parsetree.expression ->
  bool

val same_position : Stdlib.Lexing.position -> Stdlib.Lexing.position -> bool

val same_location : Ppxlib.Location.t -> Ppxlib.Location.t -> bool

val expression_at_loc : 
  Ppxlib.expression ->
  Ppxlib.Location.t ->
  Ppxlib__.Import.Ast.expression option

val pattern_of_param : Ppxlib.pattern -> Ppxlib.pattern

val collect_fun_params : 
  Ppxlib.expression ->
  Ppxlib.pattern list * fun_body option

val is_function_expression : 
  Ppxlib_ast__Import.Js.Ast.Parsetree.expression ->
  bool