Crate hax_adt_into
source ·Derive Macros
AdtIntoderives a [SInto] instance. This helps at transporting a algebraic data typeAto another ADTBwhenAandBshares a lot of structure.
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.