Ppx_let_expander (reference.ppx_let.ppx_let.expander.Ppx_let

Sourcemodule Extension_kind : sig ... end

Sourcemodule type Ext = sig ... end

val wrap_expansion_identity : 
  loc:Ppxlib.location ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  Ppxlib.value_binding list ->
  Ppxlib.expression ->
  expand:
    (loc:Ppxlib.location ->
      Ppxlib.value_binding list ->
      Ppxlib.expression ->
      Ppxlib.expression) ->
  Ppxlib.expression

Sourcetype t = (module Ext)

Source

val ext_full_name : 
  t ->
  locality:[ `local | `global ] ->
  Extension_kind.t ->
  Ppxlib.label

Sourceval bind : t

Sourceval map : t

Sourceval variables_of : Ppxlib.label Ppxlib.loc list Ppxlib.Ast_traverse.fold

Sourcemodule Map : sig ... end

Source

val eoperator : 
  loc:Ppxlib.location ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  Ppxlib.label ->
  Ppxlib.expression

Source

val expand_match : 
  t ->
  extension_kind:Extension_kind.t ->
  loc:Ppxlib.location ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  locality:[ `local | `global ] ->
  Ppxlib.expression ->
  Ppxlib.case list ->
  Ppxlib.expression

Source

val maybe_destruct : 
  destruct:
    (assume_exhaustive:bool ->
      loc:Ppxlib.location ->
      modul:'a ->
      lhs:Ppxlib.pattern ->
      rhs:Ppxlib.expression ->
      body:Ppxlib.expression ->
      Ppxlib.expression option) ->
  loc:Ppxlib.location ->
  modul:'a ->
  locality:[ `local | `global ] ->
  lhs:Ppxlib.pattern ->
  body:Ppxlib.expression ->
  Ppxlib.expression

Source

val bind_apply : 
  ?fn_label:string ->
  prevent_tail_call:bool ->
  op_name:Ppxlib.label ->
  loc:Ppxlib.location ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  with_location:bool ->
  arg:Ppxlib.expression ->
  fn:Ppxlib.expression ->
  unit ->
  Ppxlib.expression

Source

val qualified_return : 
  loc:Ppxlib.location ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  Ppxlib.expression ->
  Ppxlib.expression

Source

val expand : 
  t ->
  Extension_kind.t ->
  modul:Ppxlib.longident Ppxlib.loc option ->
  locality:[ `local | `global ] ->
  Ppxlib.expression ->
  Ppxlib.expression

Sourceval do_not_enter_value : Ppxlib.value_binding -> Ppxlib.value_binding

Sourceval nontail : loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression