Module `Ppx_sexp_conv_expander.Attrs`

module 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_sexp_conv.expander/Ppx_sexp_conv_expander/Attrs/index.html

Module `Ppx_sexp_conv_expander.Attrs`

package ppx_sexp_conv

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_sexp_conv.expander/Ppx_sexp_conv_expander/Attrs/index.html

Module Ppx_sexp_conv_expander.Attrs

Module `Ppx_sexp_conv_expander.Attrs`