Attrs (reference.ppx_sexp_conv.ppx_sexp_conv.expander.Ppx_sexp_conv

Sourcemodule To_lift : sig ... end

default, drop_default, and drop_if attributes are annotated with expressions that should be lifted out of the scope of ppx-generated temporary variables. See the Lifted module.

Source

val default : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t) Ppxlib.Attribute.t

Source

val drop_default : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t Base.option)
    Ppxlib.Attribute.t

Source

val drop_if : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t) Ppxlib.Attribute.t

Source

val drop_default_equal : 
  (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Source

val drop_default_compare : 
  (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Source

val drop_default_sexp : 
  (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval omit_nil : (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval option : (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval list : (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval array : (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval bool : (Ppxlib.label_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval opaque : (Ppxlib.core_type, Base.unit) Ppxlib.Attribute.t

Source

val list_variant : 
  (Ppxlib.constructor_declaration, Base.unit) Ppxlib.Attribute.t

Sourceval list_exception : (Ppxlib.type_exception, Base.unit) Ppxlib.Attribute.t

Sourceval list_poly : (Ppxlib.row_field, Base.unit) Ppxlib.Attribute.t

Source

val allow_extra_fields_td : 
  (Ppxlib.type_declaration, Base.unit) Ppxlib.Attribute.t

Source

val allow_extra_fields_cd : 
  (Ppxlib.constructor_declaration, Base.unit) Ppxlib.Attribute.t

Source

val invalid_attribute : 
  loc:Ppxlib.Location.t ->
  (_, _) Ppxlib.Attribute.t ->
  Base.string ->
  'a

Source

val fail_if_allow_extra_field_cd : 
  loc:Ppxlib.Location.t ->
  Ppxlib.constructor_declaration ->
  Base.unit

Source

val fail_if_allow_extra_field_td : 
  loc:Ppxlib.Location.t ->
  Ppxlib.type_declaration ->
  Base.unit

Source

val grammar_any : 
  (Ppxlib.core_type, Base.string Base.option) Ppxlib.Attribute.t

Sourceval grammar_custom : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

Source

val tag_type : 
  (Ppxlib.core_type, (Ppxlib.expression * Ppxlib.expression) Base.list)
    Ppxlib.Attribute.t

Source

val tag_ld : 
  (Ppxlib.label_declaration, (Ppxlib.expression * Ppxlib.expression) Base.list)
    Ppxlib.Attribute.t

Source

val tag_cd : 
  (Ppxlib.constructor_declaration,
    (Ppxlib.expression * Ppxlib.expression) Base.list)
    Ppxlib.Attribute.t

Source

val tag_poly : 
  (Ppxlib.row_field, (Ppxlib.expression * Ppxlib.expression) Base.list)
    Ppxlib.Attribute.t

Sourceval tags_type : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

Sourceval tags_ld : (Ppxlib.label_declaration, Ppxlib.expression) Ppxlib.Attribute.t

Source

val tags_cd : 
  (Ppxlib.constructor_declaration, Ppxlib.expression) Ppxlib.Attribute.t

Sourceval tags_poly : (Ppxlib.row_field, Ppxlib.expression) Ppxlib.Attribute.t