Crate hax_adt_into

source

Attribute Macros§

  • derive_group
    A proc macro unrelated to adt-into: it is useful in hax and we don’t want a whole crate only for that helper.

Derive Macros§

  • AdtInto
    AdtInto derives a SInto instance. This helps at transporting a algebraic data type A to another ADT B when A and B shares a lot of structure.