Crate hax_adt_into

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.