ppx_let v0.16.0 · OCaml Package

module Extension_kind : sig ... end

module 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

type t = (module Ext)

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

val bind : t

val map : t

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

module Map : sig ... end

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

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

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

val bind_apply : 
  ?fn_label:string ->
  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

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

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

val do_not_enter_value : Ppxlib.value_binding -> Ppxlib.value_binding

package ppx_let