Module `Ppx_sexp_conv_expander.Attrs`Source

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) Ppxlib.Attribute.t

Source

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

Sourceval drop_default_equal : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

Sourceval drop_default_compare : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

Sourceval drop_default_sexp : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

Source

val drop_default_equal_local : 
  (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

Source

val drop_default_compare_local : 
  (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

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

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

Sourceval or_null : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

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

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

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

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

Sourceval phantom : (Ppxlib.core_type, unit) Ppxlib.Attribute.t

Sourceval phantom_td : (Ppxlib.type_declaration, string list) Ppxlib.Attribute.t

Sourceval list_variant : (Ppxlib.constructor_declaration, unit) Ppxlib.Attribute.t

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

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

Sourceval allow_extra_fields_td : (Ppxlib.type_declaration, unit) Ppxlib.Attribute.t

Source

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

Source

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

Source

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

Source

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

Sourceval grammar_any : (Ppxlib.core_type, string 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) list)
    Ppxlib.Attribute.t

Source

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

Source

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

Source

val tag_poly : 
  (Ppxlib.row_field, (Ppxlib.expression * Ppxlib.expression) 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

Module Ppx_sexp_conv_expander.AttrsSource

Module `Ppx_sexp_conv_expander.Attrs`Source